/[eiffelstudio]/branches/Eiffel_57_docking/Src/Eiffel/interface/new_graphical/windows/eb_development_window.e
ViewVC logotype

Diff of /branches/Eiffel_57_docking/Src/Eiffel/interface/new_graphical/windows/eb_development_window.e

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

revision 44790 by manus, Tue Aug 17 04:12:45 2004 UTC revision 45157 by manus, Thu Aug 26 01:32:15 2004 UTC
# Line 2309  feature {EB_WINDOW_MANAGER} -- Window ma Line 2309  feature {EB_WINDOW_MANAGER} -- Window ma
2309                                  -- To avoid reentrance                                  -- To avoid reentrance
2310                          if not is_destroying then                          if not is_destroying then
2311                                  is_destroying := True                                  is_destroying := True
2312                                  if Application.is_running and then debugger_manager.debugging_window = Current                                          -- If a launched application is still running, kill it.
2313                                  then                                  if Application.is_running and then debugger_manager.debugging_window = Current then
2314                                          set_array_resource ("left_debug_layout_new", left_panel.save_to_resource)                                          Application.kill
                                         set_array_resource ("right_debug_layout_new", right_panel.save_to_resource)  
                                         debugger_manager.save_original_layout  
2315                                  else                                  else
2316                                          save_left_panel_layout (left_panel.save_to_resource)                                          save_left_panel_layout (left_panel.save_to_resource)
2317                                          save_right_panel_layout (right_panel.save_to_resource)                                          save_right_panel_layout (right_panel.save_to_resource)
# Line 2329  feature {EB_WINDOW_MANAGER} -- Window ma Line 2327  feature {EB_WINDOW_MANAGER} -- Window ma
2327                                          -- Commit saves                                          -- Commit saves
2328                                  save_resources                                  save_resources
2329    
                                         -- If a launched application is still running, kill it.  
                                 if  
                                         Application.is_running and then  
                                         debugger_manager.debugging_window = Current  
                                 then  
                                         Application.kill  
                                 end  
2330                                  toolbars_area.wipe_out                                  toolbars_area.wipe_out
2331                                  address_manager.recycle                                  address_manager.recycle
2332                                  project_customizable_toolbar.recycle                                  project_customizable_toolbar.recycle

Legend:
Removed from v.44790  
changed lines
  Added in v.45157

  ViewVC Help
Powered by ViewVC 1.1.23