deferred class interface DIALOG feature(s) from DIALOG -- Default dialog font used by all controls set_font (ft: FONT) -- Set default font. require valid: ft /= Void ensure keep_reference: font = ft feature(s) from DIALOG -- Action(s) apply -- Apply the dialog box settings. finish -- End processing. feature(s) from DIALOG -- Buttons & keyboard interface set_ok_push_button (pushb: PUSH_BUTTON) -- Set the button which is a default push button at -- initialisation or when no other button is active. --will execute that button, which has to do -- the actual action, such as calling 'apply' & -- finish itself, like, for instance, OK_BUTTON. require ok: pushb /= Void ensure keep_reference: ok_push_button = pushb set_cancel_push_button (pushb: PUSH_BUTTON) -- Set the button which will be executed whenis -- pressed. The button is responsible for closing the -- dialog, without applying the settings. CANCEL_BUTTON -- provides an implementation of such a button. require ok: pushb /= Void ensure keep_reference: cancel_push_button = pushb end of deferred DIALOG