Improve mentions and the default Design workspace, clarify scene lighting controls, and polish editor workflows for 0.12.5-dev.
UI
UI provides the immediate-mode interface toolkit used by Aego's editor. It includes input handling, drawing, layout, widgets, docking, theming, and text editing so editor interfaces share common building blocks.