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