deferred class LAYOUT

Features exported to CONTAINER

A LAYOUT is an algorithm that organise WIDGETs in a CONTAINER.

Direct parents

non-conformant parents

ANY

Known children

conformant children

COLUMN_LAYOUT, ROOT_LAYOUT, ROW_LAYOUT, SCROLL_LAYOUT

Summary

exported features

Details

container: CONTAINER
set_container (c: CONTAINER)

require

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

ensure

  • container = c

detach

require

  • container /= Void

ensure

  • container = Void

deferred redo_layout (x: INTEGER, y: INTEGER)

require

  • container /= Void

ensure

  • valid_size(container)

deferred update_requisition

require

  • container /= Void

deferred expose_paint

require

  • container /= Void

valid_size (c: CONTAINER): BOOLEAN