eiffelstudio-public - Revision 107750: /branches/Eiffel_55/Src/bench/Eiffel/interface/new_graphical/preference_tool/parameters

• ..
• eb_constants.e
• eb_context_tool_data.e
• eb_debug_tool_data.e
• eb_debugger_data.e
• eb_development_window_data.e
• eb_dialogs_data.e
• eb_editor_data.e
• eb_feature_tool_data.e
• eb_flat_short_data.e
• eb_formatter_data.e
• eb_general_data.e
• eb_project_tool_data.e
• eb_shared_editor_data.e
• es_toolbar_preference.e