diff options
| author | Florian Klink <flokli@flokli.de> | 2024-10-04T11·44+0300 |
|---|---|---|
| committer | flokli <flokli@flokli.de> | 2024-10-04T15·55+0000 |
| commit | 0ef1b9bc6a9ad8659e30d2142675eb0824e3c3fe (patch) | |
| tree | 4f3b7546a9b0d6ad194da1bec21b83a0cbc70df3 /tvix/eval/src/compiler/optimiser.rs | |
| parent | 0366ba39a23e02ff0389afe3be6a822358e6f316 (diff) | |
feat(users/flokli/kb/dilemma): put LALT on right side too r/8755
It prevent some shortcuts from being used the "natural way", like only being able to type Ctrl-Alt-T with the left hand. Luckily, RALT isn't needed that frequently, so we can expose it right next to GACS (on the G and M keys). Change-Id: Iccba3b1f6a5e2b01195f87471fd9972967b4e175 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12572 Reviewed-by: flokli <flokli@flokli.de> Tested-by: BuildkiteCI
Diffstat (limited to 'tvix/eval/src/compiler/optimiser.rs')
0 files changed, 0 insertions, 0 deletions