Proof Portal

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-2532GitHub issuePublicReceived

Fcitx5 not working well in Obsidian

Reported by ashutoshbw · filed Aug 15, 2025Closed upstream on 2025-09-16 by dhh. GitHub close reason: completed. No closing PR or commit is recorded — "completed" alone is not evidence of a fix.

Open at source

Received and recorded verbatim. Nothing has been checked yet.

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

Fcitx5 not working well in Obsidianrevision 1 · captured 2026-10-04 11:27 UTC via poll

I ran into a hotkey conflict problem when I was trying to set Ctrl+Alt+H and Ctrl+Alt+L to move between windows left and right in tmux. But when I pressed Ctrl+Alt+H, a small popup appeared in the top-right corner of the screen saying "Completion enabled".

I discovered it was from something called Fcitx5, which controls input methods. When I right-clicked the input method icon in the Waybar and clicked Configure (I think), it showed me this:

Then I installed fcitx5-configtool. Its GUI made it easy to turn off those hotkeys. Why this tool isn’t included with Omarchy by default? it’s a real lifesaver.

But then I noticed the main problem. I added an input method for Bangla (my first language) and tried to type in Bangla in Obsidian, but it didn’t work. I also noticed that the Caps Lock Omarchy emoji, name and email hotkeys aren’t working in Obsidian either, although they work fine in other apps I tried.

On my old laptop, I once set up Arch with IBus, and it worked well in Obsidian and other apps. Maybe switching to IBus will solve the problem in Omarchy too. But I’m not sure, because on my old laptop I was using i3wm instead of Hyprland. Expect this problem I like fctix5 features more than ibus(especially Quick Phrase). It would be really nice if this issue is fixed with fcitx5.

Thanks for making Omarchy. I'm really enjoying the experience overall!

View raw text

I discovered it was from something called Fcitx5, which controls input methods. When I right-clicked the input method icon in the Waybar and clicked Configure (I think), it showed me this:

Then I installed `fcitx5-configtool`. Its GUI made it easy to turn off those hotkeys. Why this tool isn’t included with Omarchy by default? it’s a real lifesaver.

Thanks for making Omarchy. I'm really enjoying the experience overall!

54ebf6d3-fd1f-451f-b23f-8ba8d9191d90

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.

No decision has been recorded yet.

Proof

History & reports

Reference