ANY NONE
deferred class interface STATE
   -- This class describe the state of widgets.

feature(s) from STATE_CONSTANTS
   state_normal: INTEGER

   state_active: INTEGER

   state_prelight: INTEGER

   state_selected: INTEGER

   state_insensitive: INTEGER

feature(s) from STATE
   state: INTEGER
      -- use values from STATE_CONSTANTS

   is_state_normal: BOOLEAN

   is_state_active: BOOLEAN

   is_state_prelight: BOOLEAN

   is_state_selected: BOOLEAN

   is_state_insensitive: BOOLEAN

feature(s) from STATE
   set_state_normal

   set_state_active

   set_state_prelight

   set_state_selected

   set_state_insensitive

   set_state (n: INTEGER)

   renderer: RENDERER



end of deferred STATE