eiffelstudio-public - Revision 107684: /trunk/Src/Eiffel/interface/new_graphical/shared/preferences_widget
..
eb_preference_manager.e
eb_preferences_grid_control.e
eb_preferences_window.e
identified_font_preference.e
identified_font_preference_widget.e