INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "An overlapped window with a frame. ", "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-2001 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_FRAME_WINDOW
inherit

WEL_COMPOSITE_WINDOW
end

WEL_CS_CONSTANTS
export
{NONE}
all
end

WEL_IDI_CONSTANTS
export
{NONE}
all
end

WEL_IDC_CONSTANTS
export
{NONE}
all
end

WEL_COLOR_CONSTANTS
export
{NONE}
all
end
creation

make_child,
make_top
feature {NONE}-- Initialization

make_child (a_parent: WEL_COMPOSITE_WINDOW; a_name: STRING)
-- Make the window as a child of `a_parent' and
-- `a_name' as a title.
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
exists: exists
name_set: text.is_equal (a_name)

make_top (a_name: STRING)
-- Make a top window (without parent) with `a_name'
-- as a title.
require
a_name_not_void: a_name /= void
ensure
parent_set: parent = void
exists: exists
name_set: text.is_equal (a_name)
feature -- Standard window class values

class_icon: WEL_ICON
-- Standard application icon used to create the
-- window class.
-- Can be redefined to return a user-defined icon.
ensure
result_not_void: Result /= void
result_exists: Result.exists

class_cursor: WEL_CURSOR
-- Standard arrow cursor used to create the window
-- class.
-- Can be redefined to return a user-defined cursor.
ensure
result_not_void: Result /= void
result_exists: Result.exists

class_background: WEL_BRUSH
-- Standard window background color used to create the
-- window class.
-- Can be redefined to return a user-defined brush.
ensure
result_not_void: Result /= void
result_exists: Result.exists

class_style: INTEGER
-- Standard style used to create the window class.
-- Can be redefined to return a user-defined style.

class_menu_name: STRING
-- Window's menu used to create the window class.
-- Can be redefined to return a user-defined menu.
-- (None by default).
ensure
result_not_void: Result /= void

class_name: STRING
-- Window class name used to create the window class.
-- Can be redefined to return a user-defined class name.

class_window_procedure: POINTER
-- Standard window procedure
ensure
result_not_null: Result /= default_pointer
feature -- Default creation values

default_style: INTEGER
-- Overlapped window style.
-- By default, a frame window is not visible
-- at the creation time. `show' needs to be called.
-- This solution avoids a bad visual effect when
-- the children are created one by one inside
-- the window.

default_x, default_y, default_width, default_height: INTEGER
-- Default position and dimension when the window is
-- created.

default_id: INTEGER
-- Default window id.
-- (Zero by default).
end -- class WEL_FRAME_WINDOW

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES