diff options
author | Phil Jones <philj56@gmail.com> | 2023-07-16 15:18:46 +0100 |
---|---|---|
committer | Phil Jones <philj56@gmail.com> | 2023-07-16 15:18:46 +0100 |
commit | 47a7f68cd03948035617b83b31349330ae8e55dc (patch) | |
tree | 2eac35d6fbce7d19782389f92180def6a80cb062 /doc | |
parent | 0f1b2a8cf196f4661fbf7bdd54f818fbba8cf8c9 (diff) |
Add --physical-keybindings option.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/config | 4 | ||||
-rw-r--r-- | doc/tofi.5.md | 7 | ||||
-rw-r--r-- | doc/tofi.5.scd | 6 |
3 files changed, 17 insertions, 0 deletions
@@ -277,6 +277,10 @@ # This option only has an effect when hide-input is set to true. hidden-character = "*" + # If true, use physical keys for shortcuts, regardless of the current + # keyboard layout. If false, use the current layout's keys. + physical-keybindings = true + # Instead of printing the selected entry, print the 1-based index of # the selection. This option has no effect in run or drun mode. If # require-match is set to false, non-matching input will still result diff --git a/doc/tofi.5.md b/doc/tofi.5.md index 3656143..5065752 100644 --- a/doc/tofi.5.md +++ b/doc/tofi.5.md @@ -117,6 +117,13 @@ options. > > Default: \* +**physical-keybindings**=*true\|false* + +> If true, use physical keys for shortcuts, regardless of the current +> keyboard layout. If false, use the current layout's keys. +> +> Default: true + **print-index**=*true\|false* > Instead of printing the selected entry, print the 1-based index of the diff --git a/doc/tofi.5.scd b/doc/tofi.5.scd index de564c5..59f5779 100644 --- a/doc/tofi.5.scd +++ b/doc/tofi.5.scd @@ -109,6 +109,12 @@ options. Default: \* +*physical-keybindings*=_true|false_ + If true, use physical keys for shortcuts, regardless of the current + keyboard layout. If false, use the current layout's keys. + + Default: true + *print-index*=_true|false_ Instead of printing the selected entry, print the 1-based index of the selection. This option has no effect in run or drun mode. If |