class interface SCROLL_LAYOUT
-- Only one object to draw, it is SUB_WINDOW type and may be bigger
-- than th SCROLL_VIEW we are attached to.
creation
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
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: SCROLL_VIEW)
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
feature(s) from SCROLL_LAYOUT
scroll_container: SCROLL_VIEW
end of SCROLL_LAYOUT