Proof Portal

Sign in
Project overview

Omarchy

ProbeLabs65 findings · 95 requirements

A 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.

Inbox
ReportR-2075GitHub issuePublicDecided· Out of scope

(Qt) apps blurry after re-opening laptop lid

Reported by michaelshmitty · filed Sep 21, 2025 · open at source

Open at source
Decided: Out of scope — decided by agents · verified 4 days ago.

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

(Qt) apps blurry after re-opening laptop lidrevision 1 · captured 2026-09-28 21:29 UTC via poll

System details

Framework 13 laptop AMD Ryzen 7040Series

What's wrong?

The window contents of some applications is blurry when laptop screen is re-opened. It may be limited to applications using the Qt gui toolkit, e.g. Sublime Text.

How to reproduce

  1. Install Sublime Text: Omarchy menu -> Install -> Editor -> Sublime Text
  2. Open a text document in Sublime Text. Keep Sublime Text the only window in the workspace, it makes it easier to see the problem clearly.
  3. Notice the sharpness of the text, window contents. Increase font size in the editor if necessary.
  4. Close the laptop lid, causing Omarchy to lock / suspend the computer.
  5. Re-open the lid and unlock the computer.
  6. Notice how the application window contents looks blurry, including the menu and other widgets.

Screenshots

Sharp

<img width="2832" height="1820" alt="Image" src="https://github.com/user-attachments/assets/da79dd5e-0517-4451-88e4-b80c808b08b2" />

Not sharp

<img width="2832" height="1820" alt="Image" src="https://github.com/user-attachments/assets/a9fdd363-b04d-42f6-9c4d-f3983564f0df" />

Remarks

  • Seems to be limited to Qt based applications, other applications like terminals and whatnot seem unaffected.
  • Seems to be triggered by physically closing the lid and re-opening, as in "physically disconnecting the monitor and reconnecting it". Does not happen when doing a "Lock" or "Suspend" from the menu without closing the lid.
  • Given the triggering event seemingly be "remove monitor" then "add monitor" may be Wayland or Hyprland related.
View raw text
### System details

Framework 13 laptop AMD Ryzen 7040Series

### What's wrong?

The window contents of some applications is blurry when laptop screen is re-opened. It may be limited to applications using the Qt gui toolkit, e.g. Sublime Text.

### How to reproduce
1. Install Sublime Text: Omarchy menu -> Install -> Editor -> Sublime Text
2. Open a text document in Sublime Text. Keep Sublime Text the only window in the workspace, it makes it easier to see the problem clearly.
3. Notice the sharpness of the text, window contents. Increase font size in the editor if necessary.
4. Close the laptop lid, causing Omarchy to lock / suspend the computer.
5. Re-open the lid and unlock the computer.
6. Notice how the application window contents looks blurry, including the menu and other widgets.

### Screenshots

#### Sharp

<img width="2832" height="1820" alt="Image" src="https://github.com/user-attachments/assets/da79dd5e-0517-4451-88e4-b80c808b08b2" />

#### Not sharp

<img width="2832" height="1820" alt="Image" src="https://github.com/user-attachments/assets/a9fdd363-b04d-42f6-9c4d-f3983564f0df" />

### Remarks
* Seems to be limited to Qt based applications, other applications like terminals and whatnot seem unaffected.
* Seems to be triggered by physically closing the lid and re-opening, as in "physically disconnecting the monitor and reconnecting it". Does not happen when doing a "Lock" or "Suspend" from the menu without closing the lid.
* Given the triggering event seemingly be "remove monitor" then "add monitor" may be Wayland or Hyprland related.
  • da79dd5e-0517-4451-88e4-b80c808b08b2
  • a9fdd363-b04d-42f6-9c4d-f3983564f0df

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-08 23:51 UTC