/[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 59060 by jasonw, Thu May 18 22:57:37 2006 UTC revision 59163 by tedf, Wed May 24 16:21:42 2006 UTC
# Line 399  feature {NONE} -- Initialization Line 399  feature {NONE} -- Initialization
399                          toggle_feature_assigner_cmd.disable_sensitive                          toggle_feature_assigner_cmd.disable_sensitive
400    
401                          create editors.make (5)                          create editors.make (5)
402                          estudio_debug_cmd.set_main_window (window)                                  --|FIXME: Uncomment following line to activate debug menu.
403                                    --|Search estudio_debug_cmd to reach the other place.
404    --                      estudio_debug_cmd.set_main_window (window)
405                  end                  end
406    
407          set_up_accelerators is          set_up_accelerators is
# Line 1005  feature -- Update Line 1007  feature -- Update
1007                          mb.extend (tools_menu)                          mb.extend (tools_menu)
1008                          mb.extend (window_menu)                          mb.extend (window_menu)
1009                          mb.extend (help_menu)                          mb.extend (help_menu)
1010                          estudio_debug_cmd.build_menu_bar                                  --|FIXME: Uncomment following line to activate debug menu.
1011                                    --|Search estudio_debug_cmd to reach the other place.
1012    --                      estudio_debug_cmd.build_menu_bar
1013                  end                  end
1014    
1015  feature -- Graphical Interface  feature -- Graphical Interface
# Line 2793  feature {EB_WINDOW_MANAGER} -- Window ma Line 2797  feature {EB_WINDOW_MANAGER} -- Window ma
2797                                  development_window_data.save_size (window.width, window.height)                                  development_window_data.save_size (window.width, window.height)
2798                                  development_window_data.save_window_state (window.is_minimized, window.is_maximized)                                  development_window_data.save_window_state (window.is_minimized, window.is_maximized)
2799                                  development_window_data.save_position (window.x_position, window.y_position)                                  development_window_data.save_position (window.x_position, window.y_position)
                                 left_panel.wipe_out  
                                 right_panel.wipe_out  
2800                                  development_window_data.save_show_search_options (search_tool.options_shown)                                  development_window_data.save_show_search_options (search_tool.options_shown)
2801                                  hide                                  hide
2802    
# Line 2806  feature {EB_WINDOW_MANAGER} -- Window ma Line 2808  feature {EB_WINDOW_MANAGER} -- Window ma
2808                                  project_customizable_toolbar.recycle                                  project_customizable_toolbar.recycle
2809                                  refactoring_customizable_toolbar.recycle                                  refactoring_customizable_toolbar.recycle
2810                                  Precursor {EB_TOOL_MANAGER}                                  Precursor {EB_TOOL_MANAGER}
2811                                    left_panel.recycle
2812                                    right_panel.recycle
2813                                  managed_class_formatters.wipe_out                                  managed_class_formatters.wipe_out
2814                                  managed_feature_formatters.wipe_out                                  managed_feature_formatters.wipe_out
2815                                  managed_main_formatters.wipe_out                                  managed_main_formatters.wipe_out
2816                                  toolbarable_commands.wipe_out                                  toolbarable_commands.wipe_out
2817                                  editors.wipe_out                                  editors.wipe_out
2818                                    editors := Void
2819                                  stone := Void                                  stone := Void
2820                          end                          end
2821                  end                  end
# Line 3800  feature {NONE} -- Implementation Line 3804  feature {NONE} -- Implementation
3804    
3805          context_refreshing_timer: EV_TIMEOUT          context_refreshing_timer: EV_TIMEOUT
3806    
3807    feature -- Recycle
3808    
3809          recycle is          recycle is
3810                          -- Call the precursors.                          -- Call the precursors.
3811                  do                  do
3812                            recycle_command
3813                            recycle_formatters
3814                            recycle_menu
3815                          Precursor {EB_TOOL_MANAGER}                          Precursor {EB_TOOL_MANAGER}
3816                            save_as_cmd.recycle
3817                            open_cmd.recycle
3818                            save_cmd.recycle
3819                            save_as_cmd := Void
3820                            open_cmd := Void
3821                            save_cmd := Void
3822                          command_controller.recycle                          command_controller.recycle
3823                          if refactoring_manager /= Void then                          if refactoring_manager /= Void then
3824                                  refactoring_manager.destroy                                  refactoring_manager.destroy
3825                          end                          end
3826                            editor_tool := Void
3827                            favorites_tool := Void
3828                            history_manager := Void
3829                            features_tool := Void
3830                            breakpoints_tool := Void
3831                            favorites_manager := Void
3832                            cluster_manager := Void
3833                            search_tool := Void
3834                            editors.wipe_out
3835                    end
3836    
3837            recycle_command is
3838                            -- Recycle command
3839                    local
3840                            os_cmd: EB_ON_SELECTION_COMMAND
3841                    do
3842                            c_finalized_compilation_cmd.recycle
3843                            c_workbench_compilation_cmd.recycle
3844                            editor_paste_cmd.recycle
3845                            new_class_cmd.recycle
3846                            new_cluster_cmd.recycle
3847                            new_feature_cmd.recycle
3848                            shell_cmd.recycle
3849                            toggle_feature_alias_cmd.recycle
3850                            toggle_feature_assigner_cmd.recycle
3851                            toggle_feature_signature_cmd.recycle
3852                            undo_cmd.recycle
3853                            redo_cmd.recycle
3854                            toggle_stone_cmd.recycle
3855                            delete_class_cluster_cmd.recycle
3856                            print_cmd.recycle
3857                            from
3858                                    show_tool_commands.start
3859                            until
3860                                    show_tool_commands.after
3861                            loop
3862                                    show_tool_commands.item.recycle
3863                                    show_tool_commands.forth
3864                            end
3865                            show_tool_commands.wipe_out
3866                            show_tool_commands := Void
3867    
3868                            from
3869                                    toolbarable_commands.start
3870                            until
3871                                    toolbarable_commands.after
3872                            loop
3873                                    os_cmd ?= toolbarable_commands.item
3874                                    if os_cmd /= Void then
3875                                            os_cmd.recycle
3876                                    end
3877                                    toolbarable_commands.forth
3878                            end
3879    
3880                            c_finalized_compilation_cmd := Void
3881                            c_finalized_compilation_cmd := Void
3882                            new_class_cmd := Void
3883                            new_cluster_cmd := Void
3884                            new_feature_cmd := Void
3885                            shell_cmd := Void
3886                            toggle_feature_alias_cmd := Void
3887                            toggle_feature_assigner_cmd := Void
3888                            toggle_feature_signature_cmd := Void
3889                            undo_cmd := Void
3890                            redo_cmd := Void
3891                            toggle_stone_cmd := Void
3892                            delete_class_cluster_cmd := Void
3893                            print_cmd := Void
3894                    end
3895    
3896            recycle_formatters is
3897                            -- Recycle formatters
3898                    do
3899                            from
3900                                    managed_class_formatters.start
3901                            until
3902                                    managed_class_formatters.after
3903                            loop
3904                                    if managed_class_formatters.item /= Void then
3905                                            managed_class_formatters.item.recycle
3906                                    end
3907                                    managed_class_formatters.forth
3908                            end
3909    
3910                            from
3911                                    managed_feature_formatters.start
3912                            until
3913                                    managed_feature_formatters.after
3914                            loop
3915                                    if managed_feature_formatters.item /= Void then
3916                                            managed_feature_formatters.item.recycle
3917                                    end
3918                                    managed_feature_formatters.forth
3919                            end
3920    
3921                            from
3922                                    managed_main_formatters.start
3923                            until
3924                                    managed_main_formatters.after
3925                            loop
3926                                    if managed_main_formatters.item /= Void then
3927                                            managed_main_formatters.item.recycle
3928                                    end
3929                                    managed_main_formatters.forth
3930                            end
3931                  end                  end
3932    
3933            recycle_menu is
3934                            --
3935                    do
3936                            tools_menu.destroy
3937                            window_menu.destroy
3938                            metric_menu.destroy
3939    --                      compile_menu.destroy
3940                            debug_menu.destroy
3941                            debugging_tools_menu.destroy
3942                            favorites_menu.destroy
3943                            view_menu.destroy
3944    
3945                            tools_menu := Void
3946                            window_menu := Void
3947                            metric_menu := Void
3948                            format_menu := Void
3949                            compile_menu := Void
3950                            debug_menu := Void
3951                            debugging_tools_menu := Void
3952                            favorites_menu := Void
3953                            view_menu := Void
3954                    end
3955    
3956    
3957  feature {NONE} -- Implementation: Editor commands  feature {NONE} -- Implementation: Editor commands
3958    
3959          refresh_cursor_position is          refresh_cursor_position is
# Line 4012  feature {EB_TOOL} -- Implementation / Co Line 4156  feature {EB_TOOL} -- Implementation / Co
4156          redo_cmd: EB_REDO_COMMAND          redo_cmd: EB_REDO_COMMAND
4157                          -- Command to redo in the editor.                          -- Command to redo in the editor.
4158    
         editor_cut_cmd: EB_ON_SELECTION_COMMAND  
                         -- Command to cut text in the editor.  
   
         editor_copy_cmd: EB_ON_SELECTION_COMMAND  
                         -- Command to copy text in the editor.  
   
4159          editor_paste_cmd: EB_EDITOR_PASTE_COMMAND          editor_paste_cmd: EB_EDITOR_PASTE_COMMAND
4160                          -- Command to paste text in the editor.                          -- Command to paste text in the editor.
4161    

Legend:
Removed from v.59060  
changed lines
  Added in v.59163

  ViewVC Help
Powered by ViewVC 1.1.23