eiffelstudio-public - Revision 107781: /branches/Eiffel_14.05/Src/Eiffel/interface/new_graphical/preference_tool/parameters

• ..
• dbg_preferences.e
• eb_class_browser_data.e
• eb_constants.e
• eb_context_tool_data.e
• eb_debug_tool_data.e
• eb_debugger_data.e
• eb_development_window_data.e
• eb_development_window_preferences.e
• eb_development_window_session_data.e
• eb_dialogs_data.e
• eb_editor_data.e
• eb_external_command_shortcut_data.e
• eb_gui_preferences.e
• eb_metric_tool_data.e
• eb_misc_shortcut_data.e
• eb_property_data.e
• eb_search_tool_data.e
• eb_shortcuts_data.e
• es_error_list_data.e
• es_toolbar_preference.e