INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Ancestor to all Windows controls (button, list box, etc.). ", "WEL: library of reusable components for Eiffel. ", "Based on WEL library for ISE Eiffel, used with permission. "
project: "Windows Eiffel Library"
copyright: "(c) 1986-1997 Interactive Software Engineering Inc. ", "Modifications and extensions: ", "(c) 1997 Object Tools ", "All rights reserved. Duplication and distribution prohibited", "May be used only with Visual Eiffel under terms of user ", "license "
cluster: wel
deferred class WEL_CONTROL
inherit

WEL_WINDOW
redefine
call_default_window_procedure,
set_default_window_procedure
end

WEL_WS_CONSTANTS
export
{NONE}
all
end
feature -- Access

id: INTEGER

font: WEL_FONT
-- Font with which the control is drawing its text.
require
exists: exists
ensure
result_not_void: Result /= void
feature -- Element change

set_font (a_font: WEL_FONT)
-- Set `font' with `a_font'.
require
exists: exists
a_font_not_void: a_font /= void
a_font_exists: a_font.exists
ensure
font_set: font.item = a_font.item
feature -- Status report

has_system_font: BOOLEAN
-- Does the control use the system font?
require
exists: exists
feature -- Basic operations

default_process_notification (notification_code: INTEGER)
-- Process a `notification_code' which has not been
-- processed by `process_notification'.
require
exists: exists
end -- class WEL_CONTROL

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES