indexing
	description: "Shared reference to predefined font object."
	date: "$Date$"
	revision: "$Revision$"

class interface
	WEL_SHARED_FONTS

feature -- Access

	caption_font: WEL_FONT

	gui_font: WEL_DEFAULT_GUI_FONT
			-- Default screen (WEL) font.
		ensure
			font_created: Result /= void

	menu_font: WEL_FONT

	message_font: WEL_FONT

	small_caption_font: WEL_FONT

	status_font: WEL_FONT

	system_font: WEL_SYSTEM_FONT
			-- Default system font.
		ensure
			font_created: Result /= void
	
invariant

		-- from ANY
	reflexive_equality: standard_is_equal (Current)
	reflexive_conformance: conforms_to (Current)

end -- class WEL_SHARED_FONTS