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.
Omawrite Save File dialog exceeds 2x logical display bounds
Reported by yuzuwoeser · filed Aug 30, 2026Closed upstream on 2026-09-01 by its own reporter yuzuwoeser. GitHub close reason: completed. Closed by its own reporter — not by itself evidence of a fix.
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?
- Not yet mapped to any requirement or component.
- 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?
- Our staff decide whether the report is valid. Where this project allows it, agents decide whether it duplicates another report or a known issue. No decision has been recorded yet.
Original report
## System details
Apple MacBook Air (Mac14,2 / M2), Asahi aarch64, Omarchy 4.0.1-2, Hyprland 0.56.1, Omawrite 0.5.0-1,
Qt 6.11.2, GTK 3.24.52, xdg-desktop-portal-gtk 1.15.3-1. Built-in eDP-1 display at 2560x1664 with
scale 2 (1280x832 logical pixels).
## What's wrong?
Omawrite's Save File dialog opens larger than the logical display and is partly off-screen at 2x
scaling. The title/upper content and lower action area are clipped, making the dialog difficult to
use.
### Steps to reproduce
- Use the built-in 2560x1664 display with Hyprland scale 2.
- Open Omawrite and type into a new document.
- Press
Ctrl+Sto open Save File. - Observe that the dialog extends beyond the top, right, and bottom of the display.
### Measured result
- Logical display: 1280x832, with 28 pixels reserved at the top.
- Save File window: 1231x950 at
(342, -45). - Right edge: 1573, or 293 logical pixels beyond the display.
- Bottom edge: 905, while the display ends at 832.
- Window class/title:
omawrite/Save File. - The dialog PID is the Omawrite PID, rather than
xdg-desktop-portal-gtk.
GTK stored org.gtk.Settings.FileChooser window-size as (1231, 903). Resetting it to the schema
default (-1, -1) and restarting the portal services did not help; the same size was recreated
immediately. Testing GDK_SCALE=1 first on the GTK portal and then on a separate Omawrite process
also reproduced the same 1231x950 dialog.
### Expected result
The Save File dialog should fit within the current monitor's logical work area, with the filename,
Cancel, Save, and file-type controls visible.
### Verified local workaround
On this display, the following Hyprland 0.56 Lua rule constrains only Omawrite's Save File window:
o.window(
{ class = "^omawrite$", title = "^Save File$" },
{ float = true, center = true, size = { 875, 600 } }
) With the rule, the dialog consistently opens at 875x600 at (203, 130) and all controls are
visible.
This rule is only a local workaround for the reported display configuration. The underlying cause
has not yet been established, and a fixed compositor-level size may not be appropriate across
different monitors and scale factors.
An earlier revision of this report included a Main.qml:327 QML binding-loop warning. That warning
originates from Omawrite's keyboard-shortcuts dialog and is unrelated to the Save File sizing
problem.
Possibly related, but distinct: #7021 (GDK_SCALE overflow) and #7944 (GTK file-chooser portal
selection).
<img width="2560" height="1664" alt="Image" src="https://github.com/user-attachments/assets/678e709d-591e-41b6-bcea-6bddbf31e83b" />
<img width="2560" height="1664" alt="Image" src="https://github.com/user-attachments/assets/d8a5d9d3-cf0c-4b45-be35-959d5e88d2cc" />
View raw text
## System details
Apple MacBook Air (Mac14,2 / M2), Asahi aarch64, Omarchy 4.0.1-2, Hyprland 0.56.1, Omawrite 0.5.0-1,
Qt 6.11.2, GTK 3.24.52, xdg-desktop-portal-gtk 1.15.3-1. Built-in eDP-1 display at 2560x1664 with
scale 2 (1280x832 logical pixels).
## What's wrong?
Omawrite's **Save File** dialog opens larger than the logical display and is partly off-screen at 2x
scaling. The title/upper content and lower action area are clipped, making the dialog difficult to
use.
### Steps to reproduce
1. Use the built-in 2560x1664 display with Hyprland scale 2.
2. Open Omawrite and type into a new document.
3. Press `Ctrl+S` to open **Save File**.
4. Observe that the dialog extends beyond the top, right, and bottom of the display.
### Measured result
- Logical display: 1280x832, with 28 pixels reserved at the top.
- Save File window: 1231x950 at `(342, -45)`.
- Right edge: 1573, or 293 logical pixels beyond the display.
- Bottom edge: 905, while the display ends at 832.
- Window class/title: `omawrite` / `Save File`.
- The dialog PID is the Omawrite PID, rather than `xdg-desktop-portal-gtk`.
GTK stored `org.gtk.Settings.FileChooser window-size` as `(1231, 903)`. Resetting it to the schema
default `(-1, -1)` and restarting the portal services did not help; the same size was recreated
immediately. Testing `GDK_SCALE=1` first on the GTK portal and then on a separate Omawrite process
also reproduced the same 1231x950 dialog.
### Expected result
The Save File dialog should fit within the current monitor's logical work area, with the filename,
Cancel, Save, and file-type controls visible.
### Verified local workaround
On this display, the following Hyprland 0.56 Lua rule constrains only Omawrite's Save File window:
```lua
o.window(
{ class = "^omawrite$", title = "^Save File$" },
{ float = true, center = true, size = { 875, 600 } }
)
```
With the rule, the dialog consistently opens at 875x600 at `(203, 130)` and all controls are
visible.
This rule is only a local workaround for the reported display configuration. The underlying cause
has not yet been established, and a fixed compositor-level size may not be appropriate across
different monitors and scale factors.
An earlier revision of this report included a `Main.qml:327` QML binding-loop warning. That warning
originates from Omawrite's keyboard-shortcuts dialog and is unrelated to the Save File sizing
problem.
Possibly related, but distinct: #7021 (`GDK_SCALE` overflow) and #7944 (GTK file-chooser portal
selection).
<img width="2560" height="1664" alt="Image" src="https://github.com/user-attachments/assets/678e709d-591e-41b6-bcea-6bddbf31e83b" />
<img width="2560" height="1664" alt="Image" src="https://github.com/user-attachments/assets/d8a5d9d3-cf0c-4b45-be35-959d5e88d2cc" />- 678e709d-591e-41b6-bcea-6bddbf31e83b
- d8a5d9d3-cf0c-4b45-be35-959d5e88d2cc
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.
No decision has been recorded yet.