INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "MDI client window to insert into a MDI frame window. ", "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_MDI_CLIENT_WINDOW
inherit

WEL_COMPOSITE_WINDOW
redefine
move,
move_and_resize
end

WEL_MDI_TILE_CONSTANTS
export
{NONE}
all
end
creation

make
feature {NONE}-- Initialization

make (a_parent: WEL_COMPOSITE_WINDOW; a_menu: WEL_MENU; first_child: INTEGER)
-- Make a MDI client window named `a_name' using
-- `a_menu' as the application's Window menu.
-- `first_child' specifies the child window identifier
-- of the first MDI child window created. Windows
-- increments the identifier for each additionnal
-- MDI child window the application creates. These
-- identifiers are used in `on_command_control_id' when
-- a child window is chosen from the Window menu; they
-- should not conflict with any other command
-- identifiers.
require
a_parent_not_void: a_parent /= void
a_parent_exists: a_parent.exists
a_menu_not_void: a_menu /= void
a_menu_exists: a_menu.exists
ensure
parent_set: parent = a_parent
exists: exists
name_set: text.is_equal ()
feature -- Status report

has_active_window: BOOLEAN
-- Is a window currently active?
require
exists: exists

active_window: WEL_MDI_CHILD_WINDOW
-- Currently active window.
require
exists: exists
has_active_window: has_active_window
ensure
result_not_void: Result /= void
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'.

arrange_icons
-- Arrange iconized child windows.
require
exists: exists

cascade_children
-- Cascade the child windows.
require
exists: exists

tile_children_horizontal
-- Horizontally tile the child windows.
require
exists: exists

tile_children_vertical
-- Vertically tile the child windows.
require
exists: exists

destroy_window (child: WEL_MDI_CHILD_WINDOW)
-- Destroy the child window `child'.
require
exists: exists
child_not_void: child /= void
child_exists: child.exists
end -- class WEL_MDI_CLIENT_WINDOW

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES