indexing description: "Resource category for the feature tool."; date: "$Date$"; revision: "$Revision$" class ROUTINE_PREF_CAT inherit EB_CONSTANTS rename Feature_resources as associated_category export {NONE} all end; PREFERENCE_CATEGORY redefine init_colors end create make feature {NONE} -- Initialization update_resources is -- Update `resources'. do create tool_width.make (associated_category.tool_width); create tool_height.make (associated_category.tool_height); create keep_toolbar.make (associated_category.keep_toolbar) create double_line_toolbar.make (associated_category.double_line_toolbar) create private_show_all_callers.make (associated_category.show_all_callers); create do_flat_in_breakpoints.make (associated_category.do_flat_in_breakpoints); resources.extend (tool_width); resources.extend (tool_height); resources.extend (keep_toolbar); resources.extend (double_line_toolbar); resources.extend (private_show_all_callers); resources.extend (do_flat_in_breakpoints) end; init_colors is -- Initialize the colors of the page. local att: WINDOW_ATTRIBUTES do create att; att.set_composite_attributes (Current) end feature {PREFERENCE_TOOL} -- Initialization init_visual_aspects (a_menu: MENU_PULL; a_button_parent, a_parent: COMPOSITE) is -- Initialize Currrent's visual aspects. local button: EB_PREFERENCE_BUTTON; menu_entry: PREFERENCE_TICKABLE_MENU_ENTRY do create button.make (Current, a_button_parent); create menu_entry.make (Current, a_menu); create holder.make (button, menu_entry); make_row_column (name, a_parent) end feature -- Properties name: STRING is "Feature tool preferences" -- Current's name symbol: PIXMAP is once Result := Pixmaps.bm_Routine end; feature {NONE} -- Resources tool_width, tool_height: INTEGER_PREF_RES; double_line_toolbar, keep_toolbar: BOOLEAN_PREF_RES; private_show_all_callers: BOOLEAN_PREF_RES; do_flat_in_breakpoints: BOOLEAN_PREF_RES; end -- class ROUTINE_PREF_CAT