deferred class interface LAYOUT
-- A LAYOUT is an algorithm that organise WIDGETs in a CONTAINER.
feature(s) from LAYOUT
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 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 deferred LAYOUT