ANY NONE
deferred class interface STATE_CONSTANTS
   -- Constants state values.

feature(s) from STATE_CONSTANTS
   state_normal: INTEGER

   state_active: INTEGER

   state_prelight: INTEGER

   state_selected: INTEGER

   state_insensitive: INTEGER



end of deferred STATE_CONSTANTS