class interface COLUMN_LAYOUT
-- Puts all the WIDGETs in a column.
creation
default_create
-- Default creation method. It is used when no creation
-- method is specified if allowed. Note it may be renamed.
ensure
container = Void
feature(s) from LAYOUT
container: CONTAINER
feature(s) from COLUMN_LAYOUT
border: INTEGER
spacing: INTEGER
shrink_allowed_min_height: INTEGER
expand_allowed_std_height: INTEGER
shrink_allowed_first: WIDGET
expand_allowed_first: WIDGET
set_border (size: INTEGER)
-- space between the border and objects inside
require
size >= 0
ensure
border = size
set_spacing (size: INTEGER)
-- space between objects in the container
require
size >= 0
ensure
spacing = size
insert_button_space
-- Allow to group buttons before this space and after this space.
-- Used before the first button or after the last: the button
-- will not be attached to the border.
-- NOTE: use only NOT expand_allowed objects.
end of COLUMN_LAYOUT