Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class WEL_THEME_TS_CONSTANTS General cluster: wel description: "Theme states constants for part TOOL_BAR" Ancestors ANY Queries Ts_checked: INTEGER_32 Ts_disabled: INTEGER_32 Ts_hot: INTEGER_32 Ts_hotchecked: INTEGER_32 Ts_normal: INTEGER_32 Ts_pressed: INTEGER_32
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org