1
0
Fork 0
mirror of https://github.com/davatorium/rofi.git synced 2024-11-18 13:54:36 -05:00

Separator style

This commit is contained in:
Dave Davenport 2015-12-10 22:00:41 +01:00
parent 390cd49cf4
commit 86f63af7a8

View file

@ -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] );
}
}
}