/[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 28240 by xavier, Wed Oct 17 22:42:58 2001 UTC revision 28280 by xavier, Fri Oct 19 02:34:01 2001 UTC
# Line 165  feature {NONE} -- Initialization Line 165  feature {NONE} -- Initialization
165    
166                                  -- Finish initializing the main editor formatters                                  -- Finish initializing the main editor formatters
167                          end_build_formatters                          end_build_formatters
168                            
169                            address_manager.disable_formatters
170    
171                          initialized := True                          initialized := True
172                          is_destroying := False                          is_destroying := False
# Line 1214  feature -- Menu Building Line 1216  feature -- Menu Building
1216                                  -- Find next                                  -- Find next
1217                          create cmd.make                          create cmd.make
1218                          cmd.set_menu_name (Interface_names.m_Find_next + "%T" + Editor_preferences.shorcut_name_for_action (6))                          cmd.set_menu_name (Interface_names.m_Find_next + "%T" + Editor_preferences.shorcut_name_for_action (6))
1219                          cmd.add_agent (editor~find_next)                          cmd.add_agent (~find_next)
1220                          command_menu_item := cmd.new_menu_item                          command_menu_item := cmd.new_menu_item
1221                          add_edition_observer (cmd)                          add_edition_observer (cmd)
1222                          editor_commands.extend (cmd)                          editor_commands.extend (cmd)
# Line 1224  feature -- Menu Building Line 1226  feature -- Menu Building
1226                                  -- Find previous                                  -- Find previous
1227                          create cmd.make                          create cmd.make
1228                          cmd.set_menu_name (Interface_names.m_Find_previous + "%T" + Editor_preferences.shorcut_name_for_action (7))                          cmd.set_menu_name (Interface_names.m_Find_previous + "%T" + Editor_preferences.shorcut_name_for_action (7))
1229                          cmd.add_agent (editor~find_previous)                          cmd.add_agent (~find_previous)
1230                          command_menu_item := cmd.new_menu_item                          command_menu_item := cmd.new_menu_item
1231                          add_edition_observer(cmd)                          add_edition_observer(cmd)
1232                          editor_commands.extend (cmd)                          editor_commands.extend (cmd)
# Line 1234  feature -- Menu Building Line 1236  feature -- Menu Building
1236                                  -- Find selection                                  -- Find selection
1237                          create os_cmd.make (Current)                          create os_cmd.make (Current)
1238                          os_cmd.set_menu_name (Interface_names.m_Find_selection + "%T" + Editor_preferences.shorcut_name_for_action (5))                          os_cmd.set_menu_name (Interface_names.m_Find_selection + "%T" + Editor_preferences.shorcut_name_for_action (5))
1239                          os_cmd.add_agent (editor~find_selection)                          os_cmd.add_agent (~find_selection)
1240                          command_menu_item := os_cmd.new_menu_item                          command_menu_item := os_cmd.new_menu_item
1241                          add_selection_observer(os_cmd)                          add_selection_observer(os_cmd)
1242                          selection_commands.extend (os_cmd)                          selection_commands.extend (os_cmd)
# Line 2600  feature {NONE} -- Implementation Line 2602  feature {NONE} -- Implementation
2602          update_formatters is          update_formatters is
2603                          -- Give a correct sensitivity to formatters.                          -- Give a correct sensitivity to formatters.
2604                  local                  local
2605                            cist: CLASSI_STONE
2606                          cst: CLASSC_STONE                          cst: CLASSC_STONE
2607                          file: RAW_FILE                          file: RAW_FILE
2608                  do                  do
# Line 2611  feature {NONE} -- Implementation Line 2614  feature {NONE} -- Implementation
2614                                          address_manager.enable_formatters                                          address_manager.enable_formatters
2615                                          create file.make (cst.e_class.lace_class.file_name)                                          create file.make (cst.e_class.lace_class.file_name)
2616                                          if not file.exists then                                          if not file.exists then
2617                                                    if managed_main_formatters.first.selected then
2618                                                            managed_main_formatters.i_th (2).execute
2619                                                    end
2620                                                  managed_main_formatters.first.disable_sensitive                                                  managed_main_formatters.first.disable_sensitive
2621                                          end                                          end
2622                                  end                                  end
2623                          else                          else
2624                                  address_manager.disable_formatters                                  address_manager.disable_formatters
2625                          end                          end
2626                            cist ?= stone
2627                            if cist /= Void then
2628                                    managed_main_formatters.first.execute
2629                            end
2630                  end                  end
2631    
2632          on_text_reset is          on_text_reset is
# Line 2860  feature {NONE} -- Implementation: Editor Line 2870  feature {NONE} -- Implementation: Editor
2870                          current_editor.select_all                          current_editor.select_all
2871                  end                  end
2872    
2873            find_next is
2874                            -- Find the next occurrence of the search text.
2875                    local
2876                            cv_ced: EB_CLICKABLE_EDITOR
2877                    do
2878                            if search_tool.currently_searched /= Void then
2879                                    cv_ced ?= current_editor
2880                                    if cv_ced /= Void then
2881                                            cv_ced.find_next
2882                                    end
2883                            else
2884                                    search_tool.set_focus
2885                            end
2886                    end
2887    
2888            find_previous is
2889                            -- Find the previous occurrence of the search text.
2890                    local
2891                            cv_ced: EB_CLICKABLE_EDITOR
2892                    do
2893                            if search_tool.currently_searched /= Void then
2894                                    cv_ced ?= current_editor
2895                                    if cv_ced /= Void then
2896                                            cv_ced.find_previous
2897                                    end
2898                            else
2899                                    search_tool.set_focus
2900                            end
2901                    end
2902    
2903            find_selection is
2904                            -- Find the next occurrence of the selection.
2905                    local
2906                            cv_ced: EB_CLICKABLE_EDITOR
2907                    do
2908                            cv_ced ?= current_editor
2909                            if cv_ced /= Void then
2910                                    cv_ced.find_selection
2911                            end
2912                    end
2913    
2914          toggle_formatting_marks is          toggle_formatting_marks is
2915                          -- Show/Hide formatting marks in the editor and update related menu item.                          -- Show/Hide formatting marks in the editor and update related menu item.
2916                  do                  do

Legend:
Removed from v.28240  
changed lines
  Added in v.28280

  ViewVC Help
Powered by ViewVC 1.1.23