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.
Qt 6.12 update prevents theme changes: Property 'loadColors' of object QQuickColor is not a function
Reported by itsvrushabh · filed Oct 8, 2026Closed upstream on 2026-10-08 by the bot omarchybot; the closing comment says it was fixed by PR #14553. GitHub close reason: completed.
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
System details
dev (902fd8ae)
What's wrong?
### Summary
Following the upgrade to Qt 6.12.0 (qt6-declarative 6.12.0-1), theme changes fail to apply colors to the shell and bar.
### Steps to Reproduce
1. Upgrade to Qt 6.12.0 (omarchy update).
2. Run omarchy theme set "Tokyo Night" (or use the theme switcher).
### Expected Behavior
Theme transitions cleanly and the shell, bar, and menus apply the new theme palette.
### Actual Behavior
The theme change stalls during intro finalization. The system journal reports:
WARN qml: ipc shell finishThemeIntro failed: TypeError: Property 'loadColors' of object QQuickColor(...) is not a function
The shell never applies the palette because Color resolves to Qt's new QQuickColor singleton instead of `qs.Commons.
Color`.
### System Info
- OS: Arch Linux / CachyOS (Omarchy dev 902fd8ae)
- Hyprland: 0.56.2-4
- Quickshell: 0.3.1-1 (built against Qt 6.11.2)
- Qt: qt6-declarative 6.12.0-1, qt6-base 6.12.0-2
- Related: #14469, PR #14511
To create this ticket directly with your authenticated gh CLI:
gh issue create --repo omacom/omacom/omarchy \
--title "Qt 6.12 update prevents theme changes: Property 'loadColors' of object QQuickColor is not a function" \
--body "..."
──────
### How to Fix / Work Around Right Now
The previous working Qt 6.11.2 packages are still in your local pacman cache (/var/cache/pacman/pkg/). You can restore theme
switching immediately:
# 1. Downgrade Qt6 packages to 6.11.2 from cache
sudo pacman -U /var/cache/pacman/pkg/qt6--6.11.2-.pkg.tar.zst
# 2. Add IgnorePkg to /etc/pacman.conf to hold Qt6 until PR #14511 and Quickshell update
# (In /etc/pacman.conf, add under [options]: IgnoreGroup = qt6)
# 3. Restart the shell
omarchy restart shell
View raw text
### System details
dev (902fd8ae)
### What's wrong?
### Summary
Following the upgrade to Qt 6.12.0 (`qt6-declarative 6.12.0-1`), theme changes fail to apply colors to the shell and bar.
### Steps to Reproduce
1. Upgrade to Qt 6.12.0 (`omarchy update`).
2. Run `omarchy theme set "Tokyo Night"` (or use the theme switcher).
### Expected Behavior
Theme transitions cleanly and the shell, bar, and menus apply the new theme palette.
### Actual Behavior
The theme change stalls during intro finalization. The system journal reports:
WARN qml: ipc shell finishThemeIntro failed: TypeError: Property 'loadColors' of object QQuickColor(...) is not a function
The shell never applies the palette because `Color` resolves to Qt's new `QQuickColor` singleton instead of `qs.Commons.
Color`.
### System Info
- OS: Arch Linux / CachyOS (Omarchy dev 902fd8ae)
- Hyprland: 0.56.2-4
- Quickshell: 0.3.1-1 (built against Qt 6.11.2)
- Qt: `qt6-declarative 6.12.0-1`, `qt6-base 6.12.0-2`
- Related: #14469, PR #14511
To create this ticket directly with your authenticated gh CLI:
gh issue create --repo omacom/omacom/omarchy \
--title "Qt 6.12 update prevents theme changes: Property 'loadColors' of object QQuickColor is not a function" \
--body "..."
──────
### How to Fix / Work Around Right Now
The previous working Qt 6.11.2 packages are still in your local pacman cache (/var/cache/pacman/pkg/). You can restore theme
switching immediately:
# 1. Downgrade Qt6 packages to 6.11.2 from cache
sudo pacman -U /var/cache/pacman/pkg/qt6-*-6.11.2-*.pkg.tar.zst
# 2. Add IgnorePkg to /etc/pacman.conf to hold Qt6 until PR #14511 and Quickshell update
# (In /etc/pacman.conf, add under [options]: IgnoreGroup = qt6)
# 3. Restart the shell
omarchy restart shellValidation
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.