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

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

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

revision 62170 by manus, Sun Jul 30 06:05:34 2006 UTC revision 62171 by larryl, Tue Aug 1 01:27:17 2006 UTC
# Line 12  inherit Line 12  inherit
12          EB_UNDO_REDO_COMMAND          EB_UNDO_REDO_COMMAND
13                  redefine                  redefine
14                          executable,                          executable,
15                          tooltext                          tooltext,
16                            pixel_buffer
17                  end                  end
18    
19  create  create
# Line 23  feature -- Status report Line 24  feature -- Status report
24          executable: BOOLEAN is          executable: BOOLEAN is
25                          -- Is the operation possible?                          -- Is the operation possible?
26                  do                  do
27                          Result := editor.redo_is_possible                          if editor /= Void then
28                                    Result := editor.redo_is_possible
29                            end
30                  end                  end
31    
32  feature -- Execution  feature -- Execution
# Line 31  feature -- Execution Line 34  feature -- Execution
34          execute is          execute is
35                          -- Execute the undo/redo operation                          -- Execute the undo/redo operation
36                  do                  do
37                          editor.redo                          if editor /= Void then
38                                    editor.redo
39                            end
40                  end                  end
41    
42  feature {NONE} -- Implementation  feature {NONE} -- Implementation
# Line 48  feature {NONE} -- Implementation Line 53  feature {NONE} -- Implementation
53                          Result := pixmaps.icon_pixmaps.general_redo_icon                          Result := pixmaps.icon_pixmaps.general_redo_icon
54                  end                  end
55    
56            pixel_buffer: EV_PIXEL_BUFFER is
57                            -- Pixel buffer representing the command.
58                    do
59                            Result := pixmaps.icon_pixmaps.general_redo_icon_buffer
60                    end
61    
62          tooltip: STRING is          tooltip: STRING is
63                          -- Tooltip for the toolbar button.                          -- Tooltip for the toolbar button.
64                  do                  do

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

  ViewVC Help
Powered by ViewVC 1.1.23