diff options
author | Dave Davenport <qball@gmpclient.org> | 2018-12-14 16:58:26 +0100 |
---|---|---|
committer | Dave Davenport <qball@gmpclient.org> | 2018-12-14 16:58:26 +0100 |
commit | 6b96ae123bd9bd0a1d13f3deebb560b45eeef80d (patch) | |
tree | d1b7a9343f488ea4f6a2767abdcc50ab612144bb /config | |
parent | 30e500450d3eaac56d683a0020f099b0822408eb (diff) |
Add an option to change the matching negation character.
Fixes: #877
Diffstat (limited to 'config')
-rw-r--r-- | config/config.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/config/config.c b/config/config.c index d10876c0..8e2bc62a 100644 --- a/config/config.c +++ b/config/config.c @@ -152,4 +152,6 @@ Settings config = { .plugin_path = PLUGIN_PATH, .max_history_size = 25, .combi_hide_mode_prefix = FALSE, + + .matching_negate_char = '-', }; |