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

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

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

revision 62170 by manus, Sun Jul 30 06:06:43 2006 UTC revision 62171 by larryl, Tue Aug 1 01:27:17 2006 UTC
# Line 75  feature -- Status report Line 75  feature -- Status report
75                          Result := Void                          Result := Void
76                  end                  end
77    
78            pixel_buffer: EV_PIXEL_BUFFER is
79                            -- Pixel buffer representing the command.
80                    do
81                            -- Currently there is no pixel buffer for this command.
82                    end
83                    
84          menu_name: STRING is          menu_name: STRING is
85                          -- Text used for menu items for `Current'.                          -- Text used for menu items for `Current'.
86                  do                  do

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

  ViewVC Help
Powered by ViewVC 1.1.23