class interface ROOT_LAYOUT
-- The ROOT_LAYOUT know the position and size of all windows managed
-- by the window manager.
feature(s) from LAYOUT
container: CONTAINER
feature(s) from LAYOUT
set_container (c: CONTAINER)
require
container = Void;
c /= Void;
c.layout = Current
ensure
container = c
detach
require
container /= Void
ensure
container = Void
redo_layout (x, y: INTEGER)
require
container /= Void
ensure
valid_size(container)
update_requisition
require
container /= Void
expose_paint
require
container /= Void
valid_size (c: CONTAINER): BOOLEAN
end of ROOT_LAYOUT