Proof Portal

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

Default SUPER+RIGHT mouse resize binding unusable on touchpads (two-finger tap can't be held)

Reported by crazymonkyyy · filed Aug 16, 2026 · 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

Default SUPER+RIGHT mouse resize binding unusable on touchpads (two-finger tap can't be held)revision 1 · captured 2026-09-28 21:29 UTC via poll

Summary

The default binding SUPER + RIGHT MOUSE BUTTON → Resize window cannot be used on a laptop touchpad because Omarchy's default touchpad config makes right-click a two-finger tap, which is momentary and cannot be held for the drag that the resize binding requires.

Steps to reproduce

  1. Fresh Omarchy install (all default configs, no mouse).
  2. On the laptop touchpad, press and hold SUPER and attempt to resize a window using the touchpad right-click:
  • Two-finger tap + drag → nothing happens; the window never enters resize mode.
  • Two-finger physical click + drag → also fails to resize reliably.
  1. The same binding works with a physical mouse (hold right button and drag).

Expected

The default resize binding should be usable on a touchpad, or the default touchpad configuration should provide a holdable right-click.

Root cause

  • Default binding: SUPER + mouse:273 → hl.dsp.window.resize() with { mouse = true } in default/hypr/bindings/tiling.lua. This requires a sustained right-button press while dragging.
  • Default touchpad config in default/hypr/input.lua sets clickfinger_behavior = true, so a right-click is a two-finger tap/physical click — a press-and-release that cannot be held. Laptops with tap-only touchpads therefore have no way to produce a held right-button event.

Suggested fix

Flip the default to clickfinger_behavior = false. The touchpad's lower-right corner press then produces a right-button event that can be held and dragged (SUPER + corner press + drag resizes correctly), while two-finger tap still right-clicks for menus/context menus.

Workaround (verified)

Add to ~/.config/hypr/input.lua:

hl.config({
  input = {
    touchpad = {
      clickfinger_behavior = false,
    },
  },
})

Keyboard resize hotkeys (SUPER + MINUS/EQUAL and SHIFT/ALT/CTRL variants) work regardless of touchpad settings.

System

  • Omarchy 4.0.0-1
  • Kernel: 7.1.8-arch1-3
  • Hardware: Acer Aspire E5-531 (chassis: laptop)
View raw text
## Summary

The default binding `SUPER + RIGHT MOUSE BUTTON` → **Resize window** cannot be used on a laptop touchpad because Omarchy's default touchpad config makes right-click a two-finger *tap*, which is momentary and cannot be held for the drag that the resize binding requires.

## Steps to reproduce

1. Fresh Omarchy install (all default configs, no mouse).
2. On the laptop touchpad, press and hold `SUPER` and attempt to resize a window using the touchpad right-click:
   - Two-finger tap + drag → nothing happens; the window never enters resize mode.
   - Two-finger physical click + drag → also fails to resize reliably.
3. The same binding works with a physical mouse (hold right button and drag).

## Expected

The default resize binding should be usable on a touchpad, or the default touchpad configuration should provide a *holdable* right-click.

## Root cause

- Default binding: `SUPER + mouse:273` → `hl.dsp.window.resize()` with `{ mouse = true }` in `default/hypr/bindings/tiling.lua`. This requires a **sustained** right-button press while dragging.
- Default touchpad config in `default/hypr/input.lua` sets `clickfinger_behavior = true`, so a right-click is a two-finger tap/physical click — a press-and-release that cannot be held. Laptops with tap-only touchpads therefore have no way to produce a held right-button event.

## Suggested fix

Flip the default to `clickfinger_behavior = false`. The touchpad's lower-right corner press then produces a right-button event that can be held and dragged (SUPER + corner press + drag resizes correctly), while two-finger tap still right-clicks for menus/context menus.

## Workaround (verified)

Add to `~/.config/hypr/input.lua`:

```lua
hl.config({
  input = {
    touchpad = {
      clickfinger_behavior = false,
    },
  },
})
```

Keyboard resize hotkeys (`SUPER + MINUS/EQUAL` and `SHIFT`/`ALT`/`CTRL` variants) work regardless of touchpad settings.

## System

- Omarchy 4.0.0-1
- Kernel: 7.1.8-arch1-3
- Hardware: Acer Aspire E5-531 (chassis: laptop)

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 04:17 UTC