diff options
author | Dave Davenport <qball@gmpclient.org> | 2016-12-11 18:06:35 +0100 |
---|---|---|
committer | Dave Davenport <qball@gmpclient.org> | 2016-12-11 18:06:35 +0100 |
commit | 95667e60d9024fcaa122ed6096d53f701df11165 (patch) | |
tree | 8135038273706fd7726a60a1adaaf9b610f36170 /source/xrmoptions.c | |
parent | 3b850f447296319243aca51cfb28bdb526e968ae (diff) |
Add theme option to config system.
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 85a80436..98152b59 100644 --- a/source/xrmoptions.c +++ b/source/xrmoptions.c @@ -194,6 +194,8 @@ static XrmOption xrmOptions[] = { "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 }, + { xrm_String, "theme", { .str = &config.theme }, NULL, + "New style theme file" }, }; /** Dynamic array of extra options */ |