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

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

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

revision 62170 by manus, Sun Jul 30 06:17:40 2006 UTC revision 62171 by larryl, Tue Aug 1 01:27:17 2006 UTC
# Line 64  feature -- Properties Line 64  feature -- Properties
64                          Result := Interface_names.m_Preferences                          Result := Interface_names.m_Preferences
65                  end                  end
66    
67            pixmap: EV_PIXMAP
68                            -- Pixmap
69    
70  feature {NONE} -- Implementation  feature {NONE} -- Implementation
71    
72          preference_window: EB_PREFERENCES_WINDOW;          preference_window: EB_PREFERENCES_WINDOW;

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

  ViewVC Help
Powered by ViewVC 1.1.23