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

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

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

revision 62170 by manus, Sun Jul 30 06:13:36 2006 UTC revision 62171 by larryl, Tue Aug 1 01:27:17 2006 UTC
# Line 63  feature -- Access Line 63  feature -- Access
63                  do                  do
64    
65                  end                  end
66                    
67            pixel_buffer: EV_PIXEL_BUFFER is
68                            -- Pixel buffer representing the command.
69                    do
70                            -- Currently there is no pixel buffer for this command.
71                    end
72    
73          menu_name: STRING is          menu_name: STRING is
74                          -- Menu name for `Current'.                          -- Menu name for `Current'.

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

  ViewVC Help
Powered by ViewVC 1.1.23