diff options
| author | bptato <nincsnevem662@gmail.com> | 2023-12-09 20:45:59 +0100 |
|---|---|---|
| committer | bptato <nincsnevem662@gmail.com> | 2023-12-09 20:46:52 +0100 |
| commit | 4ee1a937fad792654277a1eedd35bd0c4f8389c6 (patch) | |
| tree | 902128394320b4c666d5bac73df64aa89092f5d6 /src/config | |
| parent | 4aa3e24199f0aac97d5541adcbf1ae137f7b64f0 (diff) | |
| download | chawan-4ee1a937fad792654277a1eedd35bd0c4f8389c6.tar.gz | |
pager: add marks
Default is vi-style, but w3m-style marks work as well; see bonus/w3m.toml.
Diffstat (limited to 'src/config')
| -rw-r--r-- | src/config/config.nim | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/config/config.nim b/src/config/config.nim index 3cb1d10e..82b532c4 100644 --- a/src/config/config.nim +++ b/src/config/config.nim @@ -110,6 +110,7 @@ type emulate_overline* {.jsgetset.}: bool alt_screen* {.jsgetset.}: Opt[bool] highlight_color* {.jsgetset.}: RGBAColor + highlight_marks* {.jsgetset.}: bool double_width_ambiguous* {.jsgetset.}: bool minimum_contrast* {.jsgetset.}: int32 force_clear* {.jsgetset.}: bool |