note status: "See notice at end of class."; date: "$Date$"; revision: "$Revision$" class TERMINAL_IMP inherit BULLETIN_IMP redefine class_name, resize_for_shell end feature {TERMINAL} -- Initialisation build -- Build the terminal do end feature -- Access label_font: FONT -- Font name for labels button_font: FONT -- Font name for buttons text_font: FONT -- Font name for texts feature -- Report is_font_defined (a_font: FONT): BOOLEAN -- Is `font_name' defined for current message? require font_not_void: a_font /= Void do end set_label_font (a_font: FONT) -- Set font of every labels require font_not_void: a_font /= Void do label_font := a_font end set_button_font (a_font: FONT) -- Set font of every buttons require font_not_void: a_font /= Void do button_font := a_font end set_text_font (a_font: FONT) -- Set font of every texts require font_not_void: a_font /= Void do text_font := a_font end class_name: STRING_32 -- Class name once Result := "EvisionTerminal" end resize_for_shell -- Resize current widget if the parent is a shell. local tw: TOP_IMP do tw ?= parent if tw /= Void and then tw.exists and then not fixed_size_flag then set_x_y (0, 0) set_size (tw.client_width, tw.client_height) end end note copyright: "Copyright (c) 1984-2006, Eiffel Software and others" license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)" source: "[ Eiffel Software 356 Storke Road, Goleta, CA 93117 USA Telephone 805-685-1006, Fax 805-685-6869 Website http://www.eiffel.com Customer support http://support.eiffel.com ]" end -- TERMINAL_IMP