Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class WEL_THEME_PBS_CONSTANTS General cluster: wel description: "Windows XP theme constants for part BP_PUSH_BUTTON." Ancestors ANY Queries Pbs_defaulted: INTEGER_32 Pbs_disabled: INTEGER_32 Pbs_hot: INTEGER_32 Pbs_normal: INTEGER_32 Pbs_pressed: INTEGER_32
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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