diff options
Diffstat (limited to 'source/xrmoptions.c')
| -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] ); + } } } |