diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/config | 5 | ||||
| -rw-r--r-- | doc/tofi.5.md | 8 | ||||
| -rw-r--r-- | doc/tofi.5.scd | 7 |
3 files changed, 20 insertions, 0 deletions
@@ -255,6 +255,11 @@ # from running simultaneously. multi-instance = false + # Assume input is plain ASCII, and disable some Unicode handling + # functions. This is faster, but means e.g. a search for "e" will not + # match "é". + ascii-input = false + # ### Inclusion # diff --git a/doc/tofi.5.md b/doc/tofi.5.md index e8f3c49..622858f 100644 --- a/doc/tofi.5.md +++ b/doc/tofi.5.md @@ -137,6 +137,14 @@ options. > > Default: false +**ascii-input**=*true\|false* + +> Assume input is plain ASCII, and disable some Unicode handling +> functions. This is faster, but means e.g. a search for "e" will not +> match "é". +> +> Default: false + # STYLE OPTIONS **font**=*font* diff --git a/doc/tofi.5.scd b/doc/tofi.5.scd index 72be59e..4dde4d6 100644 --- a/doc/tofi.5.scd +++ b/doc/tofi.5.scd @@ -118,6 +118,13 @@ options. Default: false +*ascii-input*=_true|false_ + Assume input is plain ASCII, and disable some Unicode handling + functions. This is faster, but means e.g. a search for "e" will not + match "é". + + Default: false + # STYLE OPTIONS *font*=_font_ |