7.3
Embedded GUI: Widgets Within Editors
(require embedded-gui) | package: gui-lib |
The embedded-gui library provides a class hierarchy for creating graphical boxes within editor<%> objects with geometry management that mirrors that of vertical-panel% and horizontal-panel%.