/[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 45589 by manus, Mon Sep 13 23:45:12 2004 UTC revision 46348 by king, Fri Nov 5 18:37:26 2004 UTC
# Line 305  feature {NONE} -- Initialization Line 305  feature {NONE} -- Initialization
305                          send_stone_to_context_cmd.set_tooltip (Interface_names.e_Send_stone_to_context)                          send_stone_to_context_cmd.set_tooltip (Interface_names.e_Send_stone_to_context)
306                          send_stone_to_context_cmd.set_menu_name (Interface_names.m_Send_stone_to_context)                          send_stone_to_context_cmd.set_menu_name (Interface_names.m_Send_stone_to_context)
307                          send_stone_to_context_cmd.set_name ("Send_to_context")                          send_stone_to_context_cmd.set_name ("Send_to_context")
308                            send_stone_to_context_cmd.set_tooltext (Interface_names.b_Send_stone_to_context)
309                          send_stone_to_context_cmd.add_agent (agent send_stone_to_context)                          send_stone_to_context_cmd.add_agent (agent send_stone_to_context)
310                          create accel.make_with_key_combination (                          create accel.make_with_key_combination (
311                                  create {EV_KEY}.make_with_code (Kcst.Key_down), False, True, False                                  create {EV_KEY}.make_with_code (Kcst.Key_down), False, True, False
# Line 890  feature -- Graphical Interface Line 891  feature -- Graphical Interface
891                          create general_toolbar                          create general_toolbar
892                          general_customizable_toolbar := retrieve_general_toolbar (toolbarable_commands)                          general_customizable_toolbar := retrieve_general_toolbar (toolbarable_commands)
893                          if show_text_in_general_toolbar then                          if show_text_in_general_toolbar then
894                                    general_customizable_toolbar.enable_important_text
895                            elseif show_all_text_in_general_toolbar then
896                                  general_customizable_toolbar.enable_text_displayed                                  general_customizable_toolbar.enable_text_displayed
897                          end                          end
898                                    
899                          create hbox                          create hbox
900                          hbox.extend (general_customizable_toolbar.widget)                          hbox.extend (general_customizable_toolbar.widget)
901                          hbox.disable_item_expand (general_customizable_toolbar.widget)                          hbox.disable_item_expand (general_customizable_toolbar.widget)
# Line 1203  feature {NONE} -- Menu Building Line 1207  feature {NONE} -- Menu Building
1207                          os_cmd.set_name ("Editor_cut")                          os_cmd.set_name ("Editor_cut")
1208                          os_cmd.set_tooltip (interface_names.f_cut)                          os_cmd.set_tooltip (interface_names.f_cut)
1209                          os_cmd.add_agent (agent cut_selection)                          os_cmd.add_agent (agent cut_selection)
1210                            os_cmd.set_tooltext (Interface_names.b_Cut)
1211                          toolbarable_commands.extend (os_cmd)                          toolbarable_commands.extend (os_cmd)
1212                          os_cmd.set_needs_editable (True)                          os_cmd.set_needs_editable (True)
1213                          command_controller.add_selection_command (os_cmd)                          command_controller.add_selection_command (os_cmd)
# Line 1216  feature {NONE} -- Menu Building Line 1221  feature {NONE} -- Menu Building
1221                          os_cmd.set_pixmaps (pixmaps.icon_copy)                          os_cmd.set_pixmaps (pixmaps.icon_copy)
1222                          os_cmd.set_name ("Editor_copy")                          os_cmd.set_name ("Editor_copy")
1223                          os_cmd.set_tooltip (interface_names.f_copy)                          os_cmd.set_tooltip (interface_names.f_copy)
1224                            os_cmd.set_tooltext (Interface_names.b_Copy)
1225                          os_cmd.add_agent (agent copy_selection)                          os_cmd.add_agent (agent copy_selection)
1226                          toolbarable_commands.extend (os_cmd)                          toolbarable_commands.extend (os_cmd)
1227                          os_cmd.set_needs_editable (False)                          os_cmd.set_needs_editable (False)

Legend:
Removed from v.45589  
changed lines
  Added in v.46348

  ViewVC Help
Powered by ViewVC 1.1.23