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.
Right-click on omarchy.active-window closes the focused window with no warning
Reported by dpan · filed Aug 16, 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
System details
Omarchy 4.0.0.r1761.g7be59e1-1 (channel: edge). Widget: stock omarchy.active-window on the left of the bar.
What's wrong?
Right-clicking the active-window title in the bar closes that window. There is no context menu, no confirmation, and no tooltip that this will happen. For a single-window app it looks like the process was killed.
Middle-click does the same close. Left-click activates the window.
Why this is unexpected
ActiveWindow.qml wires both buttons to Toplevel.close():
if (mouse.button === Qt.MiddleButton) {
root.toplevel.close()
} else if (mouse.button === Qt.RightButton) {
root.toplevel.close()
}That is a Wayland close request, not kill. The widget's manifest only describes it as "Title of the focused window." The cursor is a pointing hand.
Everywhere else on the bar, right-click is a non-destructive secondary action (clock cycles format, media/audio toggle, tray opens a menu, menu widget opens a terminal). Closing the focused window on right-click is the odd one out, and it is easy to hit while aiming at nearby left-side widgets.
Middle-click-to-close is a known taskbar convention. Right-click-to-close is not.
Expected
- Right-click should not close the window. Either do nothing, or open a small menu (Close / Focus) so the action is visible.
- If close stays on a click, it should be middle-click only, and the tooltip should say so.
Steps to reproduce
- Add
omarchy.active-windowto the bar (omarchy bar/shell.json). - Focus any window so its title appears on the left.
- Right-click the title in the bar.
- The focused window closes.
View raw text
### System details
Omarchy `4.0.0.r1761.g7be59e1-1` (channel: edge). Widget: stock `omarchy.active-window` on the left of the bar.
### What's wrong?
Right-clicking the active-window title in the bar closes that window. There is no context menu, no confirmation, and no tooltip that this will happen. For a single-window app it looks like the process was killed.
Middle-click does the same close. Left-click activates the window.
### Why this is unexpected
`ActiveWindow.qml` wires both buttons to `Toplevel.close()`:
```qml
if (mouse.button === Qt.MiddleButton) {
root.toplevel.close()
} else if (mouse.button === Qt.RightButton) {
root.toplevel.close()
}
```
That is a Wayland close request, not `kill`. The widget's manifest only describes it as "Title of the focused window." The cursor is a pointing hand.
Everywhere else on the bar, right-click is a non-destructive secondary action (clock cycles format, media/audio toggle, tray opens a menu, menu widget opens a terminal). Closing the focused window on right-click is the odd one out, and it is easy to hit while aiming at nearby left-side widgets.
Middle-click-to-close is a known taskbar convention. Right-click-to-close is not.
### Expected
- Right-click should not close the window. Either do nothing, or open a small menu (Close / Focus) so the action is visible.
- If close stays on a click, it should be middle-click only, and the tooltip should say so.
### Steps to reproduce
1. Add `omarchy.active-window` to the bar (`omarchy bar` / `shell.json`).
2. Focus any window so its title appears on the left.
3. Right-click the title in the bar.
4. The focused window closes.
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 04:20 UTC