ANY | NONE |
deferred class interface STATE -- This class describe the state of widgets. 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 end of deferred STATE