Proof Portal
Omarchy
ProbeLabs65 findings · 95 requirementsA proof layer — requirements, tests and verified fixes — for two of Omarchy's subsystems: the application menu (launcher scripts, QML model, JSONC config, search and selection) and the lock screen (lock scripts, QML, PAM authentication). Scope is deliberately limited to those components of omacom/omarchy; the rest of the distribution is not covered.
Inkscape's file dialogs tile instead of floating: it draws its own GTK chooser, not the portal's
Reported by omeganter · filed Sep 15, 2026 · open at source
At a glance
- 1 · What is claimed?
- Only the report text below — no validator has restated it as checkable claims yet.
- 2 · What does it affect?
- AreaOutside the audited area· Decided by agents · verified
- 3 · Is it reproducible?
- No validation has been run yet.
- 4 · What remains unclear?
- Not validated yet: no claims, no reproducer.
- 5 · What happens next?
- Decided by agents and verified by a second, independent agent — see the decision.
Original report
Omarchy floats dialogs by matching xdg-desktop-portal-gtk, plus an explicit per-app list (sublime_text|DesktopEditors|org.gnome.Nautilus) in default/hypr/apps/system.lua. Inkscape draws its own in-process GTK file chooser rather than calling the portal, so neither rule matches and its dialogs get tiled.
Tiled, they're squeezed small enough that the Cancel/OK buttons aren't reachable, so importing a file is effectively impossible. It reads as "Inkscape is broken on Omarchy" rather than as a window rule — that's certainly how I read it at first.
Repro: pacman -S inkscape, open it, Ctrl+I. hyprctl clients shows the dialog with floating: false; mine came up at 366x443, and the file chooser's action buttons were off the window.
What fixed it here, in the spirit of the existing list:
o.window({
class = "^org\\.inkscape\\.Inkscape$",
title = "^(Select .* to (import|open|save).*|Open [Ff]ile.*|Save a Copy.*|.* bitmap image import|.*(Input|Output))$",
}, { tag = "+floating-window" })Inkscape's main windows end in " - Inkscape", so they keep tiling; I checked the dialog titles against Inkscape's own strings and against probe windows with faked titles.
That said, I don't know whether extending the per-app title list is the direction you want — GIMP and Krita likely have the same shape, so you may prefer something broader, or to leave it to users' own config. Happy to send a PR if the per-app rule is the right call, or to drop it if not.
omarchy-dev 4.0.3.r6962.ga67d7f7-1 · hyprland 0.56.2-3 · inkscape 1.4.4-6 · Wayland, single 3024x1890 @ scale 2
View raw text
Omarchy floats dialogs by matching `xdg-desktop-portal-gtk`, plus an explicit per-app list (`sublime_text|DesktopEditors|org.gnome.Nautilus`) in `default/hypr/apps/system.lua`. Inkscape draws its own in-process GTK file chooser rather than calling the portal, so neither rule matches and its dialogs get tiled.
Tiled, they're squeezed small enough that the Cancel/OK buttons aren't reachable, so importing a file is effectively impossible. It reads as "Inkscape is broken on Omarchy" rather than as a window rule — that's certainly how I read it at first.
**Repro:** `pacman -S inkscape`, open it, `Ctrl+I`. `hyprctl clients` shows the dialog with `floating: false`; mine came up at 366x443, and the file chooser's action buttons were off the window.
**What fixed it here**, in the spirit of the existing list:
```lua
o.window({
class = "^org\\.inkscape\\.Inkscape$",
title = "^(Select .* to (import|open|save).*|Open [Ff]ile.*|Save a Copy.*|.* bitmap image import|.*(Input|Output))$",
}, { tag = "+floating-window" })
```
Inkscape's main windows end in `" - Inkscape"`, so they keep tiling; I checked the dialog titles against Inkscape's own strings and against probe windows with faked titles.
That said, I don't know whether extending the per-app title list is the direction you want — GIMP and Krita likely have the same shape, so you may prefer something broader, or to leave it to users' own config. Happy to send a PR if the per-app rule is the right call, or to drop it if not.
`omarchy-dev 4.0.3.r6962.ga67d7f7-1` · `hyprland 0.56.2-3` · `inkscape 1.4.4-6` · Wayland, single 3024x1890 @ scale 2
Validation
Not checked yet. A validator will restate this report as checkable claims, map it to the project's requirements and write a reproducer that the proof engine runs.
Linked
Not linked to any known issue, other report or change yet.
Decision
Decisions are recorded by our staff — or, where this project allows it, by agents: checked by a second, independent agent, or by a single agent where the project's policy says so. Any decision reached so far is shown below.
- Out of scopeDecided by agents · verified · 2026-10-09 13:48 UTC