/[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 56410 by tedf, Wed Dec 28 21:34:54 2005 UTC revision 56447 by jfiat, Thu Jan 5 12:39:02 2006 UTC
# Line 67  inherit Line 67  inherit
67    
68    
69                  -- Shared tools & contexts                  -- Shared tools & contexts
         SHARED_APPLICATION_EXECUTION  
70    
71          SHARED_EIFFEL_PROJECT          SHARED_EIFFEL_PROJECT
72    
# Line 402  feature {NONE} -- Initialization Line 401  feature {NONE} -- Initialization
401    
402          set_up_accelerators is          set_up_accelerators is
403                          -- Fill the accelerator of `window' with the accelerators of the `toolbarable_commands'.                          -- Fill the accelerator of `window' with the accelerators of the `toolbarable_commands'.
404                    local
405                            cmds: ARRAYED_LIST [EB_TOOLBARABLE_COMMAND]
406                  do                  do
407                                  --| Accelerators related to toolbarable_commands                                  --| Accelerators related to toolbarable_commands
408                          from                          from
409                                  toolbarable_commands.start                                  cmds := toolbarable_commands
410                                    cmds.start
411                          until                          until
412                                  toolbarable_commands.after                                  cmds.after
413                          loop                          loop
414                                  if toolbarable_commands.item.accelerator /= Void then                                  if cmds.item.accelerator /= Void then
415                                          window.accelerators.extend (toolbarable_commands.item.accelerator)                                          window.accelerators.extend (cmds.item.accelerator)
416                                  end                                  end
417                                  toolbarable_commands.forth                                  cmds.forth
418                          end                          end
419    
420                                  --| Accelerators related to debugging toolbarable_commands                                  --| Accelerators related to debugging toolbarable_commands
421                          from                          from
422                                  debugger_manager.toolbarable_commands.start                                  cmds := Eb_debugger_manager.toolbarable_commands
423                                    cmds.start
424                          until                          until
425                                  debugger_manager.toolbarable_commands.after                                  cmds.after
426                          loop                          loop
427                                  if                                  if
428                                          debugger_manager.toolbarable_commands.item.accelerator /= Void                                          cmds.item.accelerator /= Void
429                                  then                                  then
430                                          window.accelerators.extend (debugger_manager.toolbarable_commands.item.accelerator)                                          window.accelerators.extend (cmds.item.accelerator)
431                                  end                                  end
432                                  debugger_manager.toolbarable_commands.forth                                  cmds.forth
433                          end                          end
434                  end                  end
435    
# Line 835  feature -- Pulldown Menus Line 838  feature -- Pulldown Menus
838          update_debug_menu is          update_debug_menu is
839                          -- Update debug menu                          -- Update debug menu
840                  do                  do
841                          debugger_manager.update_debugging_tools_menu_from (Current)                          Eb_debugger_manager.update_debugging_tools_menu_from (Current)
842                  end                  end
843    
844  feature -- Modifiable menus  feature -- Modifiable menus
# Line 912  feature -- Update Line 915  feature -- Update
915                  local                  local
916                          conv_mit: EB_COMMAND_MENU_ITEM                          conv_mit: EB_COMMAND_MENU_ITEM
917                  do                  do
918                          debug_menu := debugger_manager.new_debug_menu                          debug_menu := Eb_debugger_manager.new_debug_menu
919                          from                          from
920                                  debug_menu.start                                  debug_menu.start
921                          until                          until
# Line 925  feature -- Update Line 928  feature -- Update
928                                  debug_menu.forth                                  debug_menu.forth
929                          end                          end
930                                  --| Debugging tools menu                                  --| Debugging tools menu
931                          debugging_tools_menu := debugger_manager.new_debugging_tools_menu                          debugging_tools_menu := Eb_debugger_manager.new_debugging_tools_menu
932                          debug_menu.extend (create {EV_MENU_SEPARATOR})                          debug_menu.extend (create {EV_MENU_SEPARATOR})
933                          debug_menu.extend (debugging_tools_menu)                          debug_menu.extend (debugging_tools_menu)
934                          update_debug_menu                          update_debug_menu
# Line 1100  feature -- Graphical Interface Line 1103  feature -- Graphical Interface
1103    
1104                                  -- Generate the toolbar.                                  -- Generate the toolbar.
1105                          create hbox                          create hbox
1106                          project_customizable_toolbar := debugger_manager.new_toolbar                          project_customizable_toolbar := Eb_debugger_manager.new_toolbar
1107                          hbox.extend (project_customizable_toolbar.widget)                          hbox.extend (project_customizable_toolbar.widget)
1108                          hbox.disable_item_expand (project_customizable_toolbar.widget)                          hbox.disable_item_expand (project_customizable_toolbar.widget)
1109    
# Line 2508  feature -- Window management Line 2511  feature -- Window management
2511                                  -- we ensure that future windows may use exactly the same layout.                                  -- we ensure that future windows may use exactly the same layout.
2512                                  -- If the debugger is displayed, the previous layout is already saved,                                  -- If the debugger is displayed, the previous layout is already saved,
2513                                  -- and this is the one that must be used, as only one debugger is ever displayed.                                  -- and this is the one that must be used, as only one debugger is ever displayed.
2514                          if (Application.is_running and debugger_manager.debugging_window /= Current) or not application.is_running then                          if
2515                                    (Eb_debugger_manager.application_is_executing and Eb_debugger_manager.debugging_window /= Current)
2516                                    or not Eb_debugger_manager.application_is_executing
2517                            then
2518                                  a_window_data.save_left_panel_layout (left_panel.save_to_resource)                                  a_window_data.save_left_panel_layout (left_panel.save_to_resource)
2519                                  a_window_data.save_right_panel_layout (right_panel.save_to_resource)                                  a_window_data.save_right_panel_layout (right_panel.save_to_resource)
2520                                  a_window_data.save_left_panel_width (panel.split_position)                                  a_window_data.save_left_panel_width (panel.split_position)
# Line 2682  feature {EB_WINDOW_MANAGER} -- Window ma Line 2688  feature {EB_WINDOW_MANAGER} -- Window ma
2688                          if not is_destroying then                          if not is_destroying then
2689                                  is_destroying := True                                  is_destroying := True
2690                                          -- If a launched application is still running, kill it.                                          -- If a launched application is still running, kill it.
2691                                  if Application.is_running and then debugger_manager.debugging_window = Current then                                  if
2692                                          Application.kill                                          Eb_debugger_manager.application_is_executing
2693                                            and then Eb_debugger_manager.debugging_window = Current
2694                                    then
2695                                            Eb_debugger_manager.Application.kill
2696                                  else                                  else
2697                                          development_window_data.save_left_panel_layout (left_panel.save_to_resource)                                          development_window_data.save_left_panel_layout (left_panel.save_to_resource)
2698                                          development_window_data.save_right_panel_layout (right_panel.save_to_resource)                                          development_window_data.save_right_panel_layout (right_panel.save_to_resource)
# Line 2748  feature {NONE} -- Implementation Line 2757  feature {NONE} -- Implementation
2757                          l_short_formatter: EB_SHORT_FORMATTER                          l_short_formatter: EB_SHORT_FORMATTER
2758                          l_flat_formatter: EB_FLAT_SHORT_FORMATTER                          l_flat_formatter: EB_FLAT_SHORT_FORMATTER
2759                          l_main_formatter: EB_CLASS_TEXT_FORMATTER                          l_main_formatter: EB_CLASS_TEXT_FORMATTER
2760                            app_exec: APPLICATION_EXECUTION
2761                  do                  do
2762                                  -- the text does not change if the text was saved with syntax errors                                  -- the text does not change if the text was saved with syntax errors
2763                          cur_wid := window                          cur_wid := window
# Line 2766  feature {NONE} -- Implementation Line 2776  feature {NONE} -- Implementation
2776                          conv_ace ?= a_stone                          conv_ace ?= a_stone
2777                          ef_stone ?= a_stone                          ef_stone ?= a_stone
2778                          if conv_brkstone /= Void then                          if conv_brkstone /= Void then
2779                                  if Application.is_breakpoint_enabled (conv_brkstone.routine, conv_brkstone.index) then                                  app_exec := Debugger_manager.application
2780                                          Application.remove_breakpoint (conv_brkstone.routine, conv_brkstone.index)                                  if app_exec.is_breakpoint_enabled (conv_brkstone.routine, conv_brkstone.index) then
2781                                            app_exec.remove_breakpoint (conv_brkstone.routine, conv_brkstone.index)
2782                                  else                                  else
2783                                          Application.set_breakpoint (conv_brkstone.routine, conv_brkstone.index)                                          app_exec.set_breakpoint (conv_brkstone.routine, conv_brkstone.index)
2784                                  end                                  end
2785                                  Debugger_manager.notify_breakpoints_changes                                  Debugger_manager.notify_breakpoints_changes
2786                          elseif conv_errst /= Void then                          elseif conv_errst /= Void then
# Line 3937  feature{EB_TOOL} Line 3948  feature{EB_TOOL}
3948          system_info_cmd: EB_STANDARD_CMD is          system_info_cmd: EB_STANDARD_CMD is
3949                          -- Command to display information about the system (root class,...)                          -- Command to display information about the system (root class,...)
3950                  do                  do
3951                          Result := debugger_manager.system_info_cmd                          Result := Eb_debugger_manager.system_info_cmd
3952                  end                  end
3953    
3954          display_error_help_cmd: EB_ERROR_INFORMATION_CMD is          display_error_help_cmd: EB_ERROR_INFORMATION_CMD is
3955                          -- Command to pop up a dialog giving help on compilation errors.                          -- Command to pop up a dialog giving help on compilation errors.
3956                  do                  do
3957                          Result := debugger_manager.display_error_help_cmd                          Result := Eb_debugger_manager.display_error_help_cmd
3958                  end                  end
3959    
3960          send_stone_to_context_cmd: EB_STANDARD_CMD          send_stone_to_context_cmd: EB_STANDARD_CMD
# Line 3955  feature{EB_TOOL} Line 3966  feature{EB_TOOL}
3966          eac_browser_cmd: EB_OPEN_EAC_BROWSER_CMD is          eac_browser_cmd: EB_OPEN_EAC_BROWSER_CMD is
3967                          -- Command to display the eac browser                          -- Command to display the eac browser
3968                  do                  do
3969                          Result := Debugger_manager.eac_browser_cmd                          Result := Eb_debugger_manager.eac_browser_cmd
3970                  end                  end
3971    
3972          show_favorites_menu_item: EV_MENU_ITEM          show_favorites_menu_item: EV_MENU_ITEM

Legend:
Removed from v.56410  
changed lines
  Added in v.56447

  ViewVC Help
Powered by ViewVC 1.1.23