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

• ..
• eb_constants.e
• eb_context_tool_data.e
• eb_debugger_data.e
• eb_development_window_data.e
• eb_development_window_preferences.e
• eb_development_window_session_data.e
• eb_editor_data.e
• es_toolbar_preference.e