Automatic generation produced by ISE Eiffel
class EDITOR_PREFERENCE_MANAGER General cluster: text_window description: "Objects that ..." create: make Ancestors GRAPHICAL_PREFERENCE_FACTORY PREFERENCE_MANAGER Queries known_preference (a_name: STRING_8): BOOLEAN namespace: STRING_8 new_array_32_preference_value (a_manager: PREFERENCE_MANAGER; a_name: STRING_8; a_fallback_value: ARRAY [STRING_32]): ARRAY_32_PREFERENCE new_array_preference_value (a_manager: PREFERENCE_MANAGER; a_name: STRING_8; a_fallback_value: ARRAY [STRING_8]): ARRAY_PREFERENCE new_boolean_preference_value (a_manager: PREFERENCE_MANAGER; a_name: STRING_8; a_fallback_value: BOOLEAN): BOOLEAN_PREFERENCE new_color_preference_value (a_manager: PREFERENCE_MANAGER; a_name: STRING_8; a_fallback_value: EV_COLOR): COLOR_PREFERENCE new_font_preference_value (a_manager: PREFERENCE_MANAGER; a_name: STRING_8; a_fallback_value: EV_FONT): FONT_PREFERENCE new_integer_preference_value (a_manager: PREFERENCE_MANAGER; a_name: STRING_8; a_fallback_value: INTEGER_32): INTEGER_PREFERENCE new_path_choice_preference_value (a_manager: PREFERENCE_MANAGER; a_name: STRING_8; a_fallback_value: ITERABLE [PATH]): PATH_CHOICE_PREFERENCE new_path_list_preference_value (a_manager: PREFERENCE_MANAGER; a_name: STRING_8; a_fallback_value: ITERABLE [PATH]): PATH_LIST_PREFERENCE new_path_preference_value (a_manager: PREFERENCE_MANAGER; a_name: STRING_8; a_fallback_value: PATH): PATH_PREFERENCE new_shortcut_preference_value (a_manager: PREFERENCE_MANAGER; a_name: STRING_8; a_fallback_value: TUPLE [BOOLEAN, BOOLEAN, BOOLEAN, READABLE_STRING_GENERAL]): SHORTCUT_PREFERENCE new_string_32_preference_value (a_manager: PREFERENCE_MANAGER; a_name: STRING_8; a_fallback_value: READABLE_STRING_32): STRING_32_PREFERENCE new_string_choice_preference_value (a_manager: PREFERENCE_MANAGER; a_name: STRING_8; a_fallback_value: ITERABLE [READABLE_STRING_GENERAL]): STRING_CHOICE_PREFERENCE new_string_list_preference_value (a_manager: PREFERENCE_MANAGER; a_name: STRING_8; a_fallback_value: ITERABLE [READABLE_STRING_GENERAL]): STRING_LIST_PREFERENCE new_string_preference_value (a_manager: PREFERENCE_MANAGER; a_name, a_fallback_value: STRING_8): STRING_PREFERENCE -- Generated by Eiffel Studio --
For more details: eiffel.org