eiffelstudio-public - Revision 107684: /trunk/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_grid_preferences.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
eb_source_control_tool_data.e
es_error_list_data.e
es_toolbar_preference.e