/[eiffelstudio]/branches/Eiffel_57_docking/Src/Eiffel/interface/new_graphical/commands/eb_external_commands_editor.e
ViewVC logotype

Diff of /branches/Eiffel_57_docking/Src/Eiffel/interface/new_graphical/commands/eb_external_commands_editor.e

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 62170 by manus, Sun Jul 30 06:06:20 2006 UTC revision 62171 by larryl, Tue Aug 1 01:27:17 2006 UTC
# Line 14  inherit Line 14  inherit
14                  redefine                  redefine
15                          name,                          name,
16                          executable,                          executable,
17                          new_toolbar_item                          new_toolbar_item,
18                            pixel_buffer
19                  end                  end
20    
21          EB_CONSTANTS          EB_CONSTANTS
# Line 116  feature -- Status report Line 117  feature -- Status report
117                          Result := pixmaps.icon_pixmaps.tool_external_commands_icon                          Result := pixmaps.icon_pixmaps.tool_external_commands_icon
118                  end                  end
119    
120            pixel_buffer: EV_PIXEL_BUFFER is
121                            -- Pixel buffer representing the command.
122                    do
123                            Result := pixmaps.icon_pixmaps.tool_external_commands_icon_buffer
124                    end
125    
126          tooltip: STRING is          tooltip: STRING is
127                          -- Tooltip for the toolbar button.                          -- Tooltip for the toolbar button.
128                  do                  do
# Line 433  feature {NONE} -- Implementation Line 440  feature {NONE} -- Implementation
440          update_menus is          update_menus is
441                          -- Refresh the 'tools' menus of all development windows.                          -- Refresh the 'tools' menus of all development windows.
442                  do                  do
443                          Window_manager.for_all_development_windows (agent {EB_DEVELOPMENT_WINDOW}.rebuild_tools_menu)  -- Fixme: Haven't been implemented.
444    --                      Window_manager.for_all_development_windows (agent {EB_DEVELOPMENT_WINDOW}.rebuild_tools_menu)
445                  end                  end
446    
447  feature {NONE} -- Properties  feature {NONE} -- Properties

Legend:
Removed from v.62170  
changed lines
  Added in v.62171

  ViewVC Help
Powered by ViewVC 1.1.23