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-10GitHub issuePublicDecided· Out of scope

Network panel stat rows overlap when [font] body-small is raised

Reported by UnderStackDev · filed Sep 28, 2026 · open at source

Open at source
Decided: Out of scope — decided by agents · verified 3 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

Network panel stat rows overlap when [font] body-small is raisedrevision 1 · captured 2026-09-28 21:23 UTC via poll

Summary

The network bar plugin's detail panel (Ping/Packet Loss/Receiving/Sending/Downloaded/Uploaded/IP Address/Gateway) renders its label and value text overlapping instead of side-by-side when [font] body-small in shell.toml is raised above the design default.

Steps to reproduce

  1. Set a noticeably larger body-small in ~/.config/omarchy/shell.toml, e.g.:
   [font]
   body-small = 16

(default is derived from base-size, ~11px)
2. omarchy-restart-shell
3. Open the network bar widget's popup panel.

Observed

The stat grid rows (Receiving/Sending, Downloaded/Uploaded, IP Address/Gateway, etc.) show the value text painted on top of the label text instead of properly spaced side-by-side columns.

Root cause

plugins/panels/network/Panel.qml lays the stat rows out in a 4-column GridLayout (InfoLabel, DetailValue, InfoLabel, DetailValue). DetailValue/InfoValue is Layout.fillWidth: true with no Layout.minimumWidth, so when the row's natural width (two label+value pairs at Style.font.bodySmall) exceeds the panel's fixed contentWidth (Style.space(380)), GridLayout shrinks the fill-width value column down toward 0. Text in Qt Quick doesn't clip overflowing content by default, and InfoValue sets neither clip nor elide, so the value paints outside its (now too-narrow) column bounds and visually overlaps the neighboring label.

This is reachable any time the rendered row width exceeds contentWidth — a larger body-small, a longer IP/SSID value, or a narrower panel width would all trigger it the same way.

Suggested fix

Add clip: true and elide: Text.ElideRight to the InfoValue component (Panel.qml, ~line 1964) so a squeezed value truncates cleanly instead of overlapping the label. I've verified this locally and it resolves the overlap.

Environment

  • omarchy 4.0.4-1
View raw text
## Summary

The network bar plugin's detail panel (Ping/Packet Loss/Receiving/Sending/Downloaded/Uploaded/IP Address/Gateway) renders its label and value text overlapping instead of side-by-side when `[font] body-small` in `shell.toml` is raised above the design default.

## Steps to reproduce

1. Set a noticeably larger `body-small` in `~/.config/omarchy/shell.toml`, e.g.:
   ```
   [font]
   body-small = 16
   ```
   (default is derived from `base-size`, ~11px)
2. `omarchy-restart-shell`
3. Open the network bar widget's popup panel.

## Observed

The stat grid rows (`Receiving`/`Sending`, `Downloaded`/`Uploaded`, `IP Address`/`Gateway`, etc.) show the value text painted on top of the label text instead of properly spaced side-by-side columns.

## Root cause

`plugins/panels/network/Panel.qml` lays the stat rows out in a 4-column `GridLayout` (`InfoLabel`, `DetailValue`, `InfoLabel`, `DetailValue`). `DetailValue`/`InfoValue` is `Layout.fillWidth: true` with no `Layout.minimumWidth`, so when the row's natural width (two label+value pairs at `Style.font.bodySmall`) exceeds the panel's fixed `contentWidth` (`Style.space(380)`), `GridLayout` shrinks the fill-width value column down toward 0. `Text` in Qt Quick doesn't clip overflowing content by default, and `InfoValue` sets neither `clip` nor `elide`, so the value paints outside its (now too-narrow) column bounds and visually overlaps the neighboring label.

This is reachable any time the rendered row width exceeds `contentWidth` — a larger `body-small`, a longer IP/SSID value, or a narrower panel width would all trigger it the same way.

## Suggested fix

Add `clip: true` and `elide: Text.ElideRight` to the `InfoValue` component (`Panel.qml`, ~line 1964) so a squeezed value truncates cleanly instead of overlapping the label. I've verified this locally and it resolves the overlap.

## Environment

- omarchy 4.0.4-1

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 20:02 UTC