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

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

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

revision 27345 by etienne, Tue Sep 4 00:36:03 2001 UTC revision 37681 by julieng, Wed Jun 11 23:23:59 2003 UTC
# Line 71  feature -- Basic operations Line 71  feature -- Basic operations
71                                  tt.append (Closing_parenthesis)                                  tt.append (Closing_parenthesis)
72                          end                          end
73                          Result.set_tooltip (tt)                          Result.set_tooltip (tt)
74                          Result.select_actions.extend (~execute)                          Result.select_actions.extend (agent execute)
75                  end                  end
76    
77  feature {NONE} -- Implementation  feature {NONE} -- Implementation

Legend:
Removed from v.27345  
changed lines
  Added in v.37681

  ViewVC Help
Powered by ViewVC 1.1.23