class COLUMN_LAYOUT

Features exported to CONTAINER

Puts all the WIDGETs in a column.

Direct parents

conformant parents

GRAPHIC, LAYOUT

Summary

creation features

exported features

Details

default_create

Default creation method. It is used when no creation method is specified if allowed. Note it may be renamed.

ensure

  • container = Void

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.

redo_layout (x: INTEGER, y: INTEGER)

require

  • container /= Void

ensure

  • valid_size(container)

update_requisition

require

  • container /= Void

expose_paint

require

  • container /= Void

container: CONTAINER
set_container (c: CONTAINER)

require

  • container = Void
  • c /= Void
  • c.layout = Current

ensure

  • container = c

detach

require

  • container /= Void

ensure

  • container = Void

valid_size (c: CONTAINER): BOOLEAN