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.
Repurpose SUPER + W for tab/view close now that SUPER + Q also closes windows
Reported by mrosati84 · filed Sep 6, 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
Repurpose SUPER + W for tab/view close now that SUPER + Q also closes windows
Summary
On quattro, default/hypr/bindings/tiling.lua binds both SUPER + W andSUPER + Q to "Close window" (hl.dsp.window.close()):
o.bind("SUPER + W", "Close window", hl.dsp.window.close())
o.bind("SUPER + Q", "Close window", hl.dsp.window.close())Since SUPER + Q now covers the "quit / kill window" role (matching macOS ⌘Q
and i3/sway's SUPER + SHIFT + Q muscle memory), SUPER + W is redundant. It
could instead take the role its macOS counterpart ⌘W has: **close the current
tab / view inside the focused app**.
Motivation
Omarchy has adopted the macOS mental model where SUPER is the app-level modifier
— SUPER + C / V / X are mapped to universal copy/paste/cut inbindings/clipboard.lua by forwarding the CTRL equivalent to the focused
surface. SUPER + W mapping to killactive is the odd one out: on macOS ⌘W
closes a tab/document, not the app.
This is most obvious in the browser, where closing a tab is Ctrl + W — so the
key muscle memory says "close this tab" instead kills the whole window.
Proposal
Bind SUPER + W to forward CTRL + W to the focused surface, mirroring theSUPER + C / V / X pattern already in bindings/clipboard.lua
(send_shortcut_once, and the per-app branching inuniversal_clipboard_shortcut). Ctrl + W is already "close tab / close view"
in browsers, editors, file managers, tmux, etc. SUPER + Q stays as the
window/app kill.
Trade-offs / open questions
- Breaking change.
SUPER + W= kill window is deeply ingrained; this needs
a migration note and possibly a deprecation period.
- `Ctrl + W` is not universally "close". In many GTK text entries and
readline/emacs-style contexts it means "delete previous word". A blanket
forward would delete a word instead of closing a tab in those apps, so this
inherits the same per-app special-casing burden clipboard.lua already
carries (e.g. its terminal Ctrl+Insert / Shift+Insert branch). A
conservative alternative: only forward for a known set of tags (browser,
editor, terminal), and leave SUPER + W unbound elsewhere.
- Single-view GUI apps have no "close current view" concept, so SUPER + W
would do nothing there — users fall back to SUPER + Q. Arguably expected.
- Last tab in a browser: Ctrl + W on the final tab closes the window, so
behaviour stays sensible at the boundary.
Fallback ask
If forwarding is deemed too fragile, simply unbind `SUPER + W` (keepSUPER + Q as the sole "Close window") so the key is free for users to remap
and no longer shadows an app's own Ctrl + W expectations.
Environment
- Branch:
quattro default/hypr/bindings/tiling.lualines 1–2- Forwarding precedent:
default/hypr/bindings/clipboard.lua
View raw text
## Repurpose `SUPER + W` for tab/view close now that `SUPER + Q` also closes windows
### Summary
On `quattro`, `default/hypr/bindings/tiling.lua` binds **both** `SUPER + W` and
`SUPER + Q` to "Close window" (`hl.dsp.window.close()`):
```lua
o.bind("SUPER + W", "Close window", hl.dsp.window.close())
o.bind("SUPER + Q", "Close window", hl.dsp.window.close())
```
Since `SUPER + Q` now covers the "quit / kill window" role (matching macOS `⌘Q`
and i3/sway's `SUPER + SHIFT + Q` muscle memory), `SUPER + W` is redundant. It
could instead take the role its macOS counterpart `⌘W` has: **close the current
tab / view inside the focused app**.
### Motivation
Omarchy has adopted the macOS mental model where SUPER is the app-level modifier
— `SUPER + C / V / X` are mapped to universal copy/paste/cut in
`bindings/clipboard.lua` by forwarding the `CTRL` equivalent to the focused
surface. `SUPER + W` mapping to `killactive` is the odd one out: on macOS `⌘W`
closes a *tab/document*, not the app.
This is most obvious in the browser, where closing a tab is `Ctrl + W` — so the
key muscle memory says "close this tab" instead kills the whole window.
### Proposal
Bind `SUPER + W` to forward `CTRL + W` to the focused surface, mirroring the
`SUPER + C / V / X` pattern already in `bindings/clipboard.lua`
(`send_shortcut_once`, and the per-app branching in
`universal_clipboard_shortcut`). `Ctrl + W` is already "close tab / close view"
in browsers, editors, file managers, tmux, etc. `SUPER + Q` stays as the
window/app kill.
### Trade-offs / open questions
- **Breaking change.** `SUPER + W` = kill window is deeply ingrained; this needs
a migration note and possibly a deprecation period.
- **`Ctrl + W` is not universally "close".** In many GTK text entries and
readline/emacs-style contexts it means "delete previous word". A blanket
forward would delete a word instead of closing a tab in those apps, so this
inherits the same per-app special-casing burden `clipboard.lua` already
carries (e.g. its terminal `Ctrl+Insert` / `Shift+Insert` branch). A
conservative alternative: only forward for a known set of tags (browser,
editor, terminal), and leave `SUPER + W` unbound elsewhere.
- **Single-view GUI apps** have no "close current view" concept, so `SUPER + W`
would do nothing there — users fall back to `SUPER + Q`. Arguably expected.
- **Last tab in a browser:** `Ctrl + W` on the final tab closes the window, so
behaviour stays sensible at the boundary.
### Fallback ask
If forwarding is deemed too fragile, simply **unbind `SUPER + W`** (keep
`SUPER + Q` as the sole "Close window") so the key is free for users to remap
and no longer shadows an app's own `Ctrl + W` expectations.
### Environment
- Branch: `quattro`
- `default/hypr/bindings/tiling.lua` lines 1–2
- Forwarding precedent: `default/hypr/bindings/clipboard.lua`
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 10:59 UTC