indexing
	description: "Preferences for graphical components of the Eiffel Compiler.  Facade."
	date: "$Date$"
	revision: "$Revision$"

class
	EB_GUI_PREFERENCES

create
	make
	
feature {NONE} -- Initialization

	make (a_preferences: PREFERENCES) is
			-- Create
		do			
		end		
	
end -- class EB_GUI_PREFERENCES