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.
Feature idea: Window Restore — save and restore closed windows via keybindings
Reported by TimHerb2005 · filed Apr 24, 2026Closed upstream on 2026-07-18. GitHub close reason: completed. No closing PR or commit is recorded — "completed" alone is not 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
The Problem
On Omarchy, pressing SUPER+W closes a window permanently. If you accidentally close a browser window, a Terminal, or a PWA — it's gone. You have to reopen the app, navigate back to where you were, and potentially log in again.
The Idea
Replace SUPER+W with a smarter close that saves the window to a history stack. A second keybinding restores the last closed window.
This is particularly useful for:
- Browser windows accidentally closed
- PWAs (Teams, ChatGPT, etc.) where state matters
- Any app where re-navigating is annoying
Implementation
I built this as an AUR package and have been running it on Omarchy for a while:
- GitHub: https://github.com/TimHerb2005/omarchy-window-restore
- AUR: https://aur.archlinux.org/packages/omarchy-window-restore-git
- Demo: https://github.com/TimHerb2005/omarchy-window-restore/releases/download/v1.4.0/demo.gif
- Wiki / Full docs: https://github.com/TimHerb2005/omarchy-window-restore/wiki
Keybindings
| Shortcut | Action |
|---|---|
SUPER+W | Close window (saved to history) |
SUPER+R | Restore last closed window |
SUPER+SHIFT+R | Restore all closed windows |
SUPER+ALT+R | Pick window from a menu |
SUPER+CTRL+R | Settings |
SUPER+ALT+W | Close permanently (original killactive behavior) |
Two modes
Relaunch (default): kills the process, relaunches on restore — low memory, works for all apps.
Hide: moves the window to an invisible workspace — full state preserved, YouTube keeps playing, instant restore.
Everything is opt-in and reversible
The feature is packaged separately (omarchy-window-restore-git on AUR) so it doesn't affect anyone who doesn't install it. An uninstall command removes all scripts, keybindings and cache files completely.
PR
I've also opened a PR (#5425) that adds omarchy-install-window-restore to Omarchy's installer scripts, following the same pattern as omarchy-install-tailscale, omarchy-install-vscode, etc. This would make it installable from the Omarchy menu.
Happy to discuss the approach or adjust anything to fit Omarchy's conventions better.
View raw text
## The Problem On Omarchy, pressing `SUPER+W` closes a window permanently. If you accidentally close a browser window, a Terminal, or a PWA — it's gone. You have to reopen the app, navigate back to where you were, and potentially log in again. ## The Idea Replace `SUPER+W` with a smarter close that saves the window to a history stack. A second keybinding restores the last closed window. This is particularly useful for: - Browser windows accidentally closed - PWAs (Teams, ChatGPT, etc.) where state matters - Any app where re-navigating is annoying ## Implementation I built this as an AUR package and have been running it on Omarchy for a while: - **GitHub:** https://github.com/TimHerb2005/omarchy-window-restore - **AUR:** https://aur.archlinux.org/packages/omarchy-window-restore-git - **Demo:** https://github.com/TimHerb2005/omarchy-window-restore/releases/download/v1.4.0/demo.gif - **Wiki / Full docs:** https://github.com/TimHerb2005/omarchy-window-restore/wiki ### Keybindings | Shortcut | Action | |---|---| | `SUPER+W` | Close window *(saved to history)* | | `SUPER+R` | Restore last closed window | | `SUPER+SHIFT+R` | Restore all closed windows | | `SUPER+ALT+R` | Pick window from a menu | | `SUPER+CTRL+R` | Settings | | `SUPER+ALT+W` | Close permanently *(original killactive behavior)* | ### Two modes **Relaunch** (default): kills the process, relaunches on restore — low memory, works for all apps. **Hide**: moves the window to an invisible workspace — full state preserved, YouTube keeps playing, instant restore. ### Everything is opt-in and reversible The feature is packaged separately (`omarchy-window-restore-git` on AUR) so it doesn't affect anyone who doesn't install it. An uninstall command removes all scripts, keybindings and cache files completely. ## PR I've also opened a PR (#5425) that adds `omarchy-install-window-restore` to Omarchy's installer scripts, following the same pattern as `omarchy-install-tailscale`, `omarchy-install-vscode`, etc. This would make it installable from the Omarchy menu. Happy to discuss the approach or adjust anything to fit Omarchy's conventions better.
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.