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

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

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

revision 62170 by manus, Sun Jul 30 06:07:17 2006 UTC revision 62171 by larryl, Tue Aug 1 01:27:17 2006 UTC
# Line 45  feature -- Execution Line 45  feature -- Execution
45    
46  feature {NONE} -- Implementation  feature {NONE} -- Implementation
47    
48            pixmap: EV_PIXMAP
49                            -- Pixmap              
50    
51          menu_name: STRING is          menu_name: STRING is
52                          -- Name as it appears in the menu (with & symbol).                          -- Name as it appears in the menu (with & symbol).
53                  do                  do

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

  ViewVC Help
Powered by ViewVC 1.1.23