guikit

An app-independent, immediate-mode GUI toolkit for Ada 2022, backed by Vulkan + GLFW (df_vulkan, openglada_glfw) with text rasterization via textrender. Extracted from the files desktop file manager so it can be reused by other applications; the launcher app is its second consumer.

What's inside

• Guikit.Draw — the renderer-agnostic draw-command model (rectangles, triangles, text, icons, borders, carets), colors/palette, Layout_Metrics, text-render result types, and the accessibility-node model.
• Guikit.Vulkan — the GLFW + Vulkan rendering backend (4×/8× MSAA submission, present) that consumes the draw commands, plus the windowing glue: Vulkan window hints (Configure_Window_Hints), the event pump (Poll_Events / Wait_For_Events), and a resize-aware renderer lifecycle — Ensure_Ready (idempotent init → surface → swapchain, reconfigured when the window resizes) and Present_Frame (present, recreating + re-presenting on an out-of-date swapchain).
• Guikit.Text — text rendering: load a monospace primary font plus a fallback chain into a shared glyph atlas (Renderer, Initialize), then rasterize a frame's text commands into positioned glyph quads (Build_Glyphs) with per-glyph fallback, monospace cell advance, box-fit scaling and pixel snapping. Backed by textrender.
• Guikit.Palette — generic fuzzy search + ranking for a command-palette or searchable list: build a vector of Items (an opaque id plus searchable identifier/label/description/shortcut strings), call Search, and get them scored and ordered best-first (exact over prefix over substring, stronger field over weaker, stable tiebreaker); an empty query keeps input order.
• Guikit.Widgets — emit-to-vectors draw widgets:
  • chrome — close button, menu panel, menu row, scrollbar, tooltip, caret, marquee, focus ring, drop shadow, input field;
  • controls — labelled button, toggle switch, number stepper, segmented selector;
  • composites — palette result row (background + selection accent + label, shortcut and description).
• Guikit.Layout — pure geometry helpers: caret advance, scrollbar, toolbar, bottom-bar, filter, settings and palette layouts + result-row/hit-testing, label measuring, and overflow-safe arithmetic.
• Guikit.Input — input primitives (Key_Code, Modifier_Set, Navigation_Direction).
• Guikit.Utf8 — UTF-8 helpers: display-width measurement, whitespace token splitting (ASCII/C1/Unicode separators), codepoint decode (Decode_Next_Codepoint) and encode (Encode, the inverse), and zero-width-mark classification.
• Guikit.Frame_Analysis — structural framebuffer analysis for headless GPU test gates.

The packages carry no dependency on any host application: Guikit.* builds standalone (alr build → libGuikit.a). It depends only on the rendering crates (df_vulkan, openglada_glfw, textrender), never on a consumer. The host owns all policy — it supplies the domain data, computes geometry, resolves state colours, localizes and fits label text, and registers its own hit regions and accessibility nodes; the widgets only emit rectangles and text into the command vectors it passes in (in out). That boundary keeps the toolkit reusable and lets the host layer it however it likes (e.g. overlay vs. base layer).

Build

This repository must be built and validated with Alire GNAT 15. The root, tests, and tools crates pin gnat_native = "=15.2.1". Confirm with:

alr exec -- gnatls --version

Do not run plain system gnat*, gnatmake, gnatls, gnatprove, or gprbuild in this workspace. Use alr exec -- ... for compiler and builder commands so PATH cannot select a different GNAT installation.

alr build          # compile the library (style is enforced at compile time)
alr test           # run the AUnit suite in tests/
alr exec -- gprbuild -P tools/guikit_check_all.gpr
tools/bin/check_all

Requires a sibling checkout of ../textrender (pinned in alire.toml); the Vulkan/GLFW crates resolve from the Alire index.

License

MIT OR Apache-2.0 WITH LLVM-exception.