/[eiffelstudio]/branches/Eiffel_57_docking/Src/Eiffel/interface/new_graphical/commands/eb_exit_application_command.e
ViewVC logotype

Diff of /branches/Eiffel_57_docking/Src/Eiffel/interface/new_graphical/commands/eb_exit_application_command.e

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 62170 by manus, Sun Jul 30 06:12:04 2006 UTC revision 62171 by larryl, Tue Aug 1 01:27:17 2006 UTC
# Line 100  feature {NONE} -- Callbacks Line 100  feature {NONE} -- Callbacks
100                          if Workbench.Eiffel_project.initialized then                          if Workbench.Eiffel_project.initialized then
101                                  Workbench.Eiffel_project.manager.on_project_close;                                  Workbench.Eiffel_project.manager.on_project_close;
102                          end                          end
   
103                                  -- We will save all the preferences for next time we are opened                                  -- We will save all the preferences for next time we are opened
104                          preferences.preferences.save_preferences                          preferences.preferences.save_preferences
105    
106                            window_manager.a_development_window.save_tools_docking_layout
107    
108                                  -- Destroy all development windows.                                  -- Destroy all development windows.
109                          window_manager.close_all                          window_manager.close_all
110    
# Line 175  feature {NONE} -- Attributes Line 176  feature {NONE} -- Attributes
176                          Result := Interface_names.m_Exit_project                          Result := Interface_names.m_Exit_project
177                  end                  end
178    
179            pixmap: EV_PIXMAP
180                            -- Pixmap
181    
182          already_confirmed: BOOLEAN;          already_confirmed: BOOLEAN;
183                          -- Has the user already said he DID want to exit?                          -- Has the user already said he DID want to exit?
184                          --| We shouldn't ask again then.                          --| We shouldn't ask again then.

Legend:
Removed from v.62170  
changed lines
  Added in v.62171

  ViewVC Help
Powered by ViewVC 1.1.23