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 /include | |
parent | 30e500450d3eaac56d683a0020f099b0822408eb (diff) |
Add an option to change the matching negation character.
Fixes: #877
Diffstat (limited to 'include')
-rw-r--r-- | include/settings.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/include/settings.h b/include/settings.h index 74580611..db7f4f7d 100644 --- a/include/settings.h +++ b/include/settings.h @@ -177,6 +177,8 @@ typedef struct /** Maximum history length per mode. */ unsigned int max_history_size; gboolean combi_hide_mode_prefix; + + char matching_negate_char; } Settings; /** Global Settings structure. */ extern Settings config; |