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