diff options
| author | Dave Davenport <qball@gmpclient.org> | 2016-10-24 21:46:39 +0200 |
|---|---|---|
| committer | Dave Davenport <qball@gmpclient.org> | 2016-10-24 21:47:36 +0200 |
| commit | 440756af947322d956d10311956f38dfd721c047 (patch) | |
| tree | f9f1b1864d7a9b766498526c9b5b71707ce1da76 /source/xrmoptions.c | |
| parent | b19ab62e1796a0570e6943e04aed904970f9e6e8 (diff) | |
Option to disable/enable the highlighting of match.
Diffstat (limited to 'source/xrmoptions.c')
| -rw-r--r-- | source/xrmoptions.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/source/xrmoptions.c b/source/xrmoptions.c index 6d69e1d9..c176d6df 100644 --- a/source/xrmoptions.c +++ b/source/xrmoptions.c @@ -194,6 +194,8 @@ static XrmOption xrmOptions[] = { "Window Format. w (desktop name), t (title), n (name), r (role), c (class)", CONFIG_DEFAULT }, { xrm_Boolean, "click-to-exit", { .snum = &config.click_to_exit }, NULL, "Click outside the window to exit", CONFIG_DEFAULT }, + { xrm_Boolean, "show-match", { .snum = &config.show_match }, NULL, + "Indicate how it match by underlining it.", CONFIG_DEFAULT }, }; /** Dynamic array of extra options */ |