diff options
author | Quentin Glidic <sardemff7+git@sardemff7.net> | 2017-03-28 22:56:33 +0200 |
---|---|---|
committer | Quentin Glidic <sardemff7+git@sardemff7.net> | 2017-03-28 22:56:33 +0200 |
commit | b25439c63390850c5a756dafe00015f46a05cbe2 (patch) | |
tree | d52825d89e3c94e447bffe8e18f576119cadc22d /source/theme.c | |
parent | c5b49407036986e526c594792e1b64809cd0ce29 (diff) | |
parent | e45f0194d116a69abe77d74116eb5f1cf50e76ed (diff) |
Merge branch 'master' into wip/wayland
Diffstat (limited to 'source/theme.c')
-rw-r--r-- | source/theme.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/source/theme.c b/source/theme.c index aa66218e..c04ff1aa 100644 --- a/source/theme.c +++ b/source/theme.c @@ -769,7 +769,7 @@ void rofi_theme_convert_old_theme ( void ) ThemeWidget *walternate = rofi_theme_find_or_create_name ( widget, "alternate" ); rofi_theme_convert_create_property_ht ( widget ); - Property *p= rofi_theme_property_create ( P_INTEGER ); + Property *p = rofi_theme_property_create ( P_INTEGER ); p->name = g_strdup ( "border" ); p->value.i = 0; g_hash_table_replace ( widget->properties, p->name, p ); |