INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "MDI frame window containing a MDI client 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_FRAME_WINDOW
inherit

WEL_FRAME_WINDOW
rename
make_top as frame_make_top
redefine
call_default_window_procedure,
class_background,
class_name
end
creation

make_top
feature {NONE}-- Initialization

make_top (a_name: STRING; a_menu: WEL_MENU; first_child: INTEGER)
-- Make a MDI frame 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 additional
-- 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_name_not_void: a_name /= void
a_menu_not_void: a_menu /= void
a_menu_exists: a_menu.exists
ensure
parent_set: parent = void
exists: exists
name_set: text.is_equal (a_name)
client_window_not_void: client_window /= void
client_window_exists: client_window.exists
feature -- Access

client_window: WEL_MDI_CLIENT_WINDOW
feature -- Status report

has_active_window: BOOLEAN
-- Is a window currently active?
require
exists: exists
client_window_not_void: client_window /= void
client_window_exists: client_window.exists

active_window: WEL_MDI_CHILD_WINDOW
-- Window currently active
require
exists: exists
client_window_not_void: client_window /= void
client_window_exists: client_window.exists
has_active_window: has_active_window
feature -- Basic operations

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

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

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

cascade_children
-- Cascade the child windows.
require
exists: exists
end -- class WEL_MDI_FRAME_WINDOW

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES