diff options
author | Dave Davenport <qball@gmpclient.org> | 2015-12-10 22:00:41 +0100 |
---|---|---|
committer | Dave Davenport <qball@gmpclient.org> | 2015-12-10 22:00:41 +0100 |
commit | 86f63af7a8df5468ef2b93011d0e578bd29cf943 (patch) | |
tree | 9301e3d4ed9e30b2cd85a24012536fe20fa1f620 | |
parent | 390cd49cf4a690cecd3b866d0083a79ed2983475 (diff) |
Separator style
-rw-r--r-- | source/xrmoptions.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/source/xrmoptions.c b/source/xrmoptions.c index 5cb3f588..ab7159cf 100644 --- a/source/xrmoptions.c +++ b/source/xrmoptions.c @@ -526,5 +526,8 @@ void print_xresources_theme ( void ) if ( strncmp ( xrmOptions[i].name, "color-", 6 ) == 0 ) { xresource_dump_entry ( namePrefix, &xrmOptions[i] ); } + else if ( strcmp ( xrmOptions[i].name, "separator-style" ) == 0 ) { + xresource_dump_entry ( namePrefix, &xrmOptions[i] ); + } } } |