Automatic generation produced by ISE Eiffel
class EDITOR_TOKEN_IDS General cluster: text_window description: "Objects contains ids for editor. i.e. color ids and font ids." Ancestors ANY Queries Comments_background_color_id: INTEGER_32 Comments_text_color_id: INTEGER_32 Cursor_line_highlight_color_id: INTEGER_32 Editor_font_id: INTEGER_32 Focus_out_selection_background_color_id: INTEGER_32 Highlight_background_color_id: INTEGER_32 Highlight_text_color_id: INTEGER_32 Keyword_background_color_id: INTEGER_32 Keyword_font_id: INTEGER_32 Keyword_text_color_id: INTEGER_32 Line_number_text_color_id: INTEGER_32 Link_background_color_id: INTEGER_32 Link_color_id: INTEGER_32 Margin_background_color_id: INTEGER_32 Margin_separator_color_id: INTEGER_32 max_color_id: INTEGER_32 max_font_id: INTEGER_32 Mouse_over_link_background_color_id: INTEGER_32 Mouse_over_link_color_id: INTEGER_32 Normal_background_color_id: INTEGER_32 Normal_text_color_id: INTEGER_32 Number_background_color_id: INTEGER_32 Number_text_color_id: INTEGER_32 Operator_background_color_id: INTEGER_32 Operator_text_color_id: INTEGER_32 Quoted_feature_background_color_id: INTEGER_32 Quoted_feature_text_color_id: INTEGER_32 Selection_background_color_id: INTEGER_32 Selection_text_color_id: INTEGER_32 Spaces_background_color_id: INTEGER_32 Spaces_text_color_id: INTEGER_32 String_background_color_id: INTEGER_32 String_text_color_id: INTEGER_32 Constraints invariant clause -- Generated by Eiffel Studio --
For more details: eiffel.org