INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Window which can be used to design custom control. ", "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
class WEL_CONTROL_WINDOW
inherit

WEL_FRAME_WINDOW
rename
make_child as make
redefine
class_background,
class_name,
default_style,
maximal_height,
maximal_width,
minimal_height,
minimal_width,
move,
move_and_resize
end

PLATFORM
end
creation

make,
make_with_coordinates
feature {NONE}-- Intialization

make_with_coordinates (a_parent: WEL_WINDOW; a_name: STRING; a_x, a_y, a_width, a_height: INTEGER)
-- Make a control using `a_parent' as parent and
-- `a_name' as name. `a_x', `a_y', `a_width', and
-- `a_height' are used to place and size the control
-- at the creation.
require
a_parent_not_void: a_parent /= void
a_parent_exists: a_parent.exists
a_name_not_void: a_name /= void
ensure
parent_set: parent = a_parent
feature -- Status report

minimal_width: INTEGER
-- Minimal width allowed for the window

minimal_height: INTEGER
-- Minimal height allowed for the window

maximal_width: INTEGER
-- Maximal width allowed for the window

maximal_height: INTEGER
-- Maximal height allowed for the window
feature -- Basic operations

move_and_resize (a_x, a_y, a_width, a_height: INTEGER; repaint: BOOLEAN)
-- Move the window to `a_x', `a_y' position and
-- resize it with `a_width', `a_height'.

move (a_x, a_y: INTEGER)
-- Move the window to `a_x', `a_y' position.
end -- class WEL_CONTROL_WINDOW

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES