Grok "[no]brushspacing" commandline/config option

For forthcoming feature
2022-01-19 00:29:05 -08:00 · 2022-01-19 00:29:05 -08:00 · 176749ba9c
commit 176749ba9c
parent e217094f78
3 changed files with 9 additions and 1 deletions
--- a/src/parse.gperf
+++ b/src/parse.gperf
@ -120,6 +120,7 @@ help,                IMM(help)
 hidecursor,          POSBOOL(hide_cursor)
 keyboard,            POSBOOL(keymouse)
 label,               NEGBOOL(disable_label)
+brushspacing,        NEGBOOL(disable_brushspacing)
 lang,                MULTI(parsertmp_lang)
 locale,              MULTI(parsertmp_locale)
 lockfile,            POSBOOL(ok_to_use_lockfile)