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 when  is 
      --  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