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.
SUPER (SHIFT) + equal keyboard shortcuts don't resize windows (Belgian keyboard)
Reported by sedubois · filed Jan 9, 2026 · open at source
This defect is tracked under R-1248. This report describes the same defect, so it is folded under it in the inbox.
Earliest report of this defect: R-2029 (filed Jan 9, 2026).
Decided by agents · verified· Oct 8, 2026
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?
- 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
System details
AMD Ryzen 7 8745H, AMD Radeon 780M, Omarchy 3.3.3
What's wrong?
The super-K help menu for keyboard shortcuts shows:
- SUPER SHIFT + equal : Expand window down
- SUPER + equal : Shrink window left
But these do not work on my system using a Belgian keyboard (*).
The "SUPER SHIFT + minus" and "SUPER + minus" shortcuts do work (*), so I can shrink windows up and expand windows right, but then have no way revert those changes and need to close the windows or resize them using the mouse (super right-click and drag the edge).
(*)
- The = key is just left of the right shift key. It provides the + key when using the SHIFT modifier.
- The - key is just left of the backspace key. It provides the _ key when using the SHIFT modifier.
View raw text
### System details AMD Ryzen 7 8745H, AMD Radeon 780M, Omarchy 3.3.3 ### What's wrong? The super-K help menu for keyboard shortcuts shows: - SUPER SHIFT + equal : Expand window down - SUPER + equal : Shrink window left But these do not work on my system using a Belgian keyboard (*). The "SUPER SHIFT + minus" and "SUPER + minus" shortcuts do work (*), so I can shrink windows up and expand windows right, but then have no way revert those changes and need to close the windows or resize them using the mouse (super right-click and drag the edge). (*) - The `=` key is just left of the right shift key. It provides the `+` key when using the SHIFT modifier. - The `-` key is just left of the backspace key. It provides the `_` key when using the SHIFT modifier.
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
- Related PRpr/5881· confirmed
- Duplicate ofR-1248omarchy-menu-keybindings: code: binds always displayed with US symbol names (xkbcli compile-keymap ignores the active layout)· decided by agents · verified
- Fixed bypr/14423· confirmed
- Fixed bypr/10468· confirmed
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.