eiffelstudio-public - Revision 107750: /branches/Eiffel_54/Src/bench/Eiffel/interface/new_graphical/preference_tool

• ..
• eb_apply_preference_command.e
• eb_class_entry_panel.e
• eb_color_button.e
• eb_ok_preference_command.e
• eb_resource_user.e
• eb_validate_preference_command.e
• parameters/