deferred class interface STANDARD_DIALOG

feature(s) from STANDARD_DIALOG
   --  Execution

   has_selection: BOOLEAN
      --  Has the dialog been executed?


   execute
      --  Display the standard dialog and process input from the user.
      --  (This procedure returns when the user is finished).

      require
         repaint_parent:  --  not parent.device.is_ready
      ensure
         done:  --  has_selection set


end of deferred STANDARD_DIALOG