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

omarchy display text size scales the Ghostty font two times

Reported by mtxmiller · filed Oct 4, 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

omarchy display text size scales the Ghostty font two timesrevision 1 · captured 2026-10-04 09:18 UTC via poll

System details

AMD Ryzen 7 PRO 5850U, AMD Radeon Vega (Cezanne), Omarchy 4.0.4-1, Ghostty 1.3.1

What's wrong?

Problem

omarchy display text size makes the Ghostty font too large.
At a text size of 16, the Ghostty text is approximately 1.33 times larger than the Foot text.

Cause

The command changes two settings:

  1. It sets the GTK text-scaling-factor (16 px gives 1.3636).
  2. It writes a larger point size to each terminal configuration (16 px gives 12 pt).

Foot, Alacritty and Kitty do not use the GTK factor.
Thus, step 2 is necessary for these terminals.

Ghostty uses GTK.
Ghostty applies the GTK factor to its font-size value.
The Ghostty documentation for font-size shows this.
Thus, Ghostty gets the two scale operations: 9 pt to 12 pt, and then 12 pt × 1.3636.

Measurement

I used the XTWINOPS query CSI 16 t to get the cell size in pixels.
The monitor scale is 1.
The font is JetBrainsMono Nerd Font.

GTK factorFoot 12 ptGhostty 12 ptGhostty 9 pt
1.022 × 1021 × 10—
1.363622 × 1029 × 1321 × 10

When the factor is 1.0, the two terminals have the same cell size.
When the factor is 1.3636, the Foot cell size does not change.
The Ghostty cell size increases by the factor.
Ghostty at 9 pt has the same cell size as Foot at 12 pt.

Procedure to show the problem

  1. Install Foot and Ghostty.
  2. Run omarchy display text size 16.
  3. Open a Foot window and a Ghostty window.
  4. Compare the text size in the two windows.

Result: The Ghostty text is larger than the Foot text.
Expected result: The text in the two windows is the same size.

Possible correction

In bin/omarchy-display-text-size, set_terminal_size writes the scaled point size to Ghostty (line 154).
Do not write the scaled size to Ghostty.
Keep the Ghostty font-size at the default value (9).
The GTK factor then gives the correct size.

Note: term_current_pt reads the Ghostty value first (line 182).
After the correction, this function shows 9 for all text sizes.
Thus, this function must also get a change.

View raw text
### System details

AMD Ryzen 7 PRO 5850U, AMD Radeon Vega (Cezanne), Omarchy 4.0.4-1, Ghostty 1.3.1

### What's wrong?

## Problem

`omarchy display text size` makes the Ghostty font too large.
At a text size of 16, the Ghostty text is approximately 1.33 times larger than the Foot text.

## Cause

The command changes two settings:

1. It sets the GTK `text-scaling-factor` (16 px gives 1.3636).
2. It writes a larger point size to each terminal configuration (16 px gives 12 pt).

Foot, Alacritty and Kitty do not use the GTK factor.
Thus, step 2 is necessary for these terminals.

Ghostty uses GTK.
Ghostty applies the GTK factor to its `font-size` value.
The Ghostty documentation for `font-size` shows this.
Thus, Ghostty gets the two scale operations: 9 pt to 12 pt, and then 12 pt × 1.3636.

## Measurement

I used the XTWINOPS query `CSI 16 t` to get the cell size in pixels.
The monitor scale is 1.
The font is JetBrainsMono Nerd Font.

| GTK factor | Foot 12 pt | Ghostty 12 pt | Ghostty 9 pt |
|---|---|---|---|
| 1.0 | 22 × 10 | 21 × 10 | — |
| 1.3636 | 22 × 10 | 29 × 13 | 21 × 10 |

When the factor is 1.0, the two terminals have the same cell size.
When the factor is 1.3636, the Foot cell size does not change.
The Ghostty cell size increases by the factor.
Ghostty at 9 pt has the same cell size as Foot at 12 pt.

## Procedure to show the problem

1. Install Foot and Ghostty.
2. Run `omarchy display text size 16`.
3. Open a Foot window and a Ghostty window.
4. Compare the text size in the two windows.

Result: The Ghostty text is larger than the Foot text.
Expected result: The text in the two windows is the same size.

## Possible correction

In `bin/omarchy-display-text-size`, `set_terminal_size` writes the scaled point size to Ghostty (line 154).
Do not write the scaled size to Ghostty.
Keep the Ghostty `font-size` at the default value (9).
The GTK factor then gives the correct size.

Note: `term_current_pt` reads the Ghostty value first (line 182).
After the correction, this function shows 9 for all text sizes.
Thus, this function must also get a change.

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 21:14 UTC