class ROOT_LAYOUT

Features exported to CONTAINER

The ROOT_LAYOUT know the position and size of all windows managed by the window manager.

Direct parents

conformant parents

LAYOUT

Summary

creation features

exported features

Details

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