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.
Terminal Opens in Fullscreen When Opened While Another Window is in Fullscreen
Reported by eds-4d5 · filed Aug 28, 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 version: 4.0.1-1
- Hyprland version: 0.56.2
- GPU: Intel UHD Graphics (Alder Lake-UP3 GT1)
- Terminal: foot
Description
When a window is in fullscreen mode (e.g., watching a video in mpv, browser, etc.) and the user opens the terminal (foot), the terminal also opens in fullscreen mode. This behavior is unexpected - the terminal should open in normal windowed mode regardless of the fullscreen state of other windows.
Steps to Reproduce
- Open any application (e.g., mpv, browser)
- Enable fullscreen mode (e.g., press
Fin mpv, or browser fullscreen) - While in fullscreen, open the terminal (e.g.,
Super + Return) - The terminal opens in fullscreen mode instead of normal windowed mode
Expected Behavior
The terminal should always open in normal windowed mode, regardless of the fullscreen state of other windows. Fullscreen state should not be inherited by newly opened windows.
Actual Behavior
The fullscreen state appears to be inherited by newly opened windows when they are launched while another window is in fullscreen.
Workaround
Press Super + F to toggle fullscreen off after opening the terminal.
View raw text
### System Details - **Omarchy version:** 4.0.1-1 - **Hyprland version:** 0.56.2 - **GPU:** Intel UHD Graphics (Alder Lake-UP3 GT1) - **Terminal:** foot ### Description When a window is in fullscreen mode (e.g., watching a video in mpv, browser, etc.) and the user opens the terminal (foot), the terminal also opens in fullscreen mode. This behavior is unexpected - the terminal should open in normal windowed mode regardless of the fullscreen state of other windows. ### Steps to Reproduce 1. Open any application (e.g., mpv, browser) 2. Enable fullscreen mode (e.g., press `F` in mpv, or browser fullscreen) 3. While in fullscreen, open the terminal (e.g., `Super + Return`) 4. The terminal opens in fullscreen mode instead of normal windowed mode ### Expected Behavior The terminal should always open in normal windowed mode, regardless of the fullscreen state of other windows. Fullscreen state should not be inherited by newly opened windows. ### Actual Behavior The fullscreen state appears to be inherited by newly opened windows when they are launched while another window is in fullscreen. ### Workaround Press `Super + F` to toggle fullscreen off after opening the terminal.
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 09:45 UTC