/[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 53708 by manus, Fri Jul 22 18:48:20 2005 UTC revision 53728 by neilc, Fri Jul 22 23:01:46 2005 UTC
# Line 1173  feature {NONE} -- Menu Building Line 1173  feature {NONE} -- Menu Building
1173                          cmd: EB_EDITOR_COMMAND                          cmd: EB_EDITOR_COMMAND
1174                          os_cmd: EB_ON_SELECTION_COMMAND                          os_cmd: EB_ON_SELECTION_COMMAND
1175                          editor: EB_SMART_EDITOR                          editor: EB_SMART_EDITOR
1176                            ln_cmd: EB_TOGGLE_LINE_NUMBERS_COMMAND
1177                  do                  do
1178                          editor := editor_tool.text_area                          editor := editor_tool.text_area
1179                          create command_controller.make                          create command_controller.make
# Line 1243  feature {NONE} -- Menu Building Line 1244  feature {NONE} -- Menu Building
1244                          edit_menu.extend (create {EV_MENU_SEPARATOR})                          edit_menu.extend (create {EV_MENU_SEPARATOR})
1245    
1246                                  -- Line numbers                                  -- Line numbers
1247                          create cmd.make                          create ln_cmd.make
1248                          cmd.set_menu_name (Interface_names.m_line_numbers)                          command_menu_item := ln_cmd.new_menu_item
                         cmd.add_agent (agent toggle_line_number_display)  
                         cmd.set_needs_editable (True)  
                         command_menu_item := cmd.new_menu_item  
                         command_controller.add_edition_command (cmd)  
1249                          add_recyclable (command_menu_item)                          add_recyclable (command_menu_item)
1250                          edit_menu.extend (command_menu_item)                          edit_menu.extend (command_menu_item)
1251                            window.accelerators.extend (ln_cmd.accelerator)
1252                            
1253    
1254                                  -- Separator --------------------------------------                                  -- Separator --------------------------------------
1255                          edit_menu.extend (create {EV_MENU_SEPARATOR})                          edit_menu.extend (create {EV_MENU_SEPARATOR})

Legend:
Removed from v.53708  
changed lines
  Added in v.53728

  ViewVC Help
Powered by ViewVC 1.1.23