/[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 61580 by tedf, Mon Jul 24 17:02:32 2006 UTC revision 61590 by tedf, Mon Jul 24 22:01:40 2006 UTC
# Line 730  feature {NONE} -- Initialization Line 730  feature {NONE} -- Initialization
730                          editor_tool.text_area.add_edition_observer(search_tool)                          editor_tool.text_area.add_edition_observer(search_tool)
731                          editor_tool.text_area.add_cursor_observer (Current)                          editor_tool.text_area.add_cursor_observer (Current)
732                          create show_cmd.make(Current, editor_tool.explorer_bar_item)                          create show_cmd.make(Current, editor_tool.explorer_bar_item)
                         create l_accel.make_with_key_combination (create {EV_KEY}.make_with_code ({EV_KEY_CONSTANTS}.key_escape), False, False, False)  
                         l_accel.actions.extend (agent show_cmd.execute)  
                         show_cmd.set_accelerator (l_accel)  
733                          show_tool_commands.extend (show_cmd)                          show_tool_commands.extend (show_cmd)
734                          toolbarable_commands.extend (show_cmd)                          toolbarable_commands.extend (show_cmd)
735    
# Line 1537  feature {NONE} -- Menu Building Line 1534  feature {NONE} -- Menu Building
1534    
1535                                  -- Find next                                  -- Find next
1536                          create cmd.make                          create cmd.make
1537                          cmd.set_menu_name (Interface_names.m_find_next + "%T" + preferences.editor_data.shortcuts.item ("search_last").display_string)                          cmd.set_menu_name (Interface_names.m_find_next + "%T" + preferences.editor_data.shortcuts.item ("search_forward").display_string)
1538                          cmd.add_agent (agent find_next)                          cmd.add_agent (agent find_next)
1539                          command_menu_item := cmd.new_menu_item                          command_menu_item := cmd.new_menu_item
1540                          command_controller.add_edition_command (cmd)                          command_controller.add_edition_command (cmd)
# Line 1553  feature {NONE} -- Menu Building Line 1550  feature {NONE} -- Menu Building
1550                          add_recyclable (command_menu_item)                          add_recyclable (command_menu_item)
1551                          sub_menu.extend (command_menu_item)                          sub_menu.extend (command_menu_item)
1552    
1553                                  -- Find selection                                  -- Find selection forward
1554                          create os_cmd.make (Current)                          create os_cmd.make (Current)
1555                          os_cmd.set_menu_name (Interface_names.m_find_selection + "%T" + preferences.editor_data.shortcuts.item ("search_selection").display_string)                          os_cmd.set_menu_name (Interface_names.m_find_next_selection + "%T" + preferences.editor_data.shortcuts.item ("search_selection_forward").display_string)
1556                          os_cmd.add_agent (agent find_selection)                          os_cmd.add_agent (agent find_next_selection)
1557                            command_menu_item := os_cmd.new_menu_item
1558                            command_controller.add_selection_command (os_cmd)
1559                            add_recyclable (command_menu_item)
1560                            sub_menu.extend (command_menu_item)
1561    
1562                                    -- Find selection backward
1563                            create os_cmd.make (Current)
1564                            os_cmd.set_menu_name (Interface_names.m_find_previous_selection + "%T" + preferences.editor_data.shortcuts.item ("search_selection_backward").display_string)
1565                            os_cmd.add_agent (agent find_next_selection)
1566                          command_menu_item := os_cmd.new_menu_item                          command_menu_item := os_cmd.new_menu_item
1567                          command_controller.add_selection_command (os_cmd)                          command_controller.add_selection_command (os_cmd)
1568                          add_recyclable (command_menu_item)                          add_recyclable (command_menu_item)
# Line 4303  feature {NONE} -- Implementation: Editor Line 4309  feature {NONE} -- Implementation: Editor
4309                          end                          end
4310                  end                  end
4311    
4312          find_selection is          find_next_selection is
4313                            -- Find the next occurrence of the selection.
4314                    local
4315                            cv_ced: EB_CLICKABLE_EDITOR
4316                    do
4317                            cv_ced ?= current_editor
4318                            if cv_ced /= Void then
4319                                    cv_ced.find_next_selection
4320                            end
4321                    end
4322    
4323            find_previous_selection is
4324                          -- Find the next occurrence of the selection.                          -- Find the next occurrence of the selection.
4325                  local                  local
4326                          cv_ced: EB_CLICKABLE_EDITOR                          cv_ced: EB_CLICKABLE_EDITOR
4327                  do                  do
4328                          cv_ced ?= current_editor                          cv_ced ?= current_editor
4329                          if cv_ced /= Void then                          if cv_ced /= Void then
4330                                  cv_ced.find_selection                                  cv_ced.find_previous_selection
4331                          end                          end
4332                  end                  end
4333    

Legend:
Removed from v.61580  
changed lines
  Added in v.61590

  ViewVC Help
Powered by ViewVC 1.1.23