m GUI modal dialog class. It is made modal by running it in its own nested event loop (by simply calling Dialog.run()).