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

[Config] Small fix config dump fix.

This commit is contained in:
Dave Davenport 2021-07-10 00:28:21 +02:00
parent 9f71c4f78d
commit b7dfb423a1

View file

@ -325,7 +325,7 @@ t_configuration_list:
%empty {
if ( rofi_configuration == NULL ) {
rofi_configuration = g_slice_new0 ( ThemeWidget );
rofi_configuration->name = g_strdup ( "Configuration" );
rofi_configuration->name = g_strdup ( "Root" );
}
}
| t_configuration_list T_CONFIGURATION T_BOPEN t_config_property_list_optional T_BCLOSE {};