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.
Opening application launcher Walker is slow and prevents immediate typing
Reported by dradrien · filed Sep 4, 2025Closed upstream on 2025-09-04 by its own reporter dradrien. 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
Omarchy's Walker is significantly slower to open than a custom hyprland configuration with Rofi as an app launcher.
The user experience is degraded significantly, beyond just the lack of snappiness, in that it is not possible to start searching for a menu entry before the launcher has appeared on screen. Concrete example:
- Press SUPER + Space to open Walker
- Immediately start typing "calculator" to search for Calculator app
- Notice that Walker only registered "culator" in the best case, but if you type fast only "ulator", and filters accordingly
In other words, the latency is such that 3 or more letters can easily be typed before Walker starts registering inputs. That is not the experience one can expect with a fast launcher on hyprland. On a fresh install with a custom configuration of Hyprland and Rofi as a launcher, Rofi feels significantly snappier / low-latency (although I have not formally measured), but more importantly, it captures every single key stroke:
- Press SUPER + Space to open Rofi
- Immediately start typing "calculator" as fast as you want
- Full "calculator" is captured and properly filtered
This allows a highly efficient and satisfying workflow -- which anyone should demand on hyprland! -- where you can launch apps ultra fast without having to think of the (lack of) performance of the launcher. Practically, launching calculator for me would normally be:
- Press SUPER + Space
- Without waiting immediately type "calc"
- Without waiting immediately press Enter
And see the calculator app open without truly having looked at the launcher.
That latency with Walker is suspicious -- I have a hard time understanding why it'd be so slow for such a minimal app, but I have not investigated the code/architecture.
View raw text
Omarchy's Walker is significantly slower to open than a custom hyprland configuration with Rofi as an app launcher. The user experience is degraded significantly, beyond just the lack of snappiness, in that it is not possible to start searching for a menu entry before the launcher has appeared on screen. Concrete example: - Press SUPER + Space to open Walker - Immediately start typing "calculator" to search for Calculator app - Notice that Walker only registered "culator" in the best case, but if you type fast only "ulator", and filters accordingly In other words, the latency is such that 3 or more letters can easily be typed before Walker starts registering inputs. That is not the experience one can expect with a fast launcher on hyprland. On a fresh install with a custom configuration of Hyprland and Rofi as a launcher, Rofi feels significantly snappier / low-latency (although I have not formally measured), but more importantly, it captures every single key stroke: - Press SUPER + Space to open Rofi - Immediately start typing "calculator" as fast as you want - Full "calculator" is captured and properly filtered This allows a highly efficient and satisfying workflow -- which anyone should demand on hyprland! -- where you can launch apps ultra fast without having to think of the (lack of) performance of the launcher. Practically, launching calculator for me would normally be: - Press SUPER + Space - Without waiting immediately type "calc" - Without waiting immediately press Enter And see the calculator app open without truly having looked at the launcher. That latency with Walker is suspicious -- I have a hard time understanding why it'd be so slow for such a minimal app, but I have not investigated the code/architecture.
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.