Abstract interface between a graphical and its layout_manager.
A layout_interface holds the per-element geometry hints
(row/column position, span, stretch/shrink, alignment, …) that a
layout_manager needs to place the element. Graphicals inside a managed
device acquire a layout_interface on demand; users normally interact
with a concrete subclass (for example a tab_cell) rather
than constructing a layout_interface directly.
- See also
- - class layout_manager
- class graphical
- class device
- layout_interface <-
layout_manager: layout_manager*
- The manager responsible for placing layout_interface
<-image,
or @nil if the
interface is not currently attached.
- layout_interface <-
image: graphical
- The graphical whose layout this interface controls.
- layout_interface ->initialise: graphical
- Bind this abstract interface to the given graphical.
- layout_interface ->unlink:
- Detach the interface from layout_interface
<-image, e.g.
when the graphical is destroyed.
- layout_interface <-convert: graphical -> layout_interface
- Type-check helper: yield the layout_interface associated with a
graphical, creating one on the fly when needed.
