fixed random color change

This commit is contained in:
Artem Anufrij 2017-08-15 22:03:10 +02:00
parent 7d9ae2c629
commit 0067bb9f8d

View file

@ -199,16 +199,17 @@ namespace Webpin {
var color = "#%02x%02x%02x".printf (r, g, b); var color = "#%02x%02x%02x".printf (r, g, b);
if (color != ui_color && color != "#ffffff") { if (color != ui_color && color != "#fefefe") {
ui_color = color; ui_color = color;
Gdk.RGBA background = {}; Gdk.RGBA background = {};
background.parse (ui_color); background.parse (ui_color);
container.override_background_color (Gtk.StateFlags.NORMAL, background); container.override_background_color (Gtk.StateFlags.NORMAL, background);
theme_color_changed(ui_color); theme_color_changed (ui_color);
if (file != null) if (file != null) {
file.edit_propertie ("WebpinThemeColor", ui_color); file.edit_propertie ("WebpinThemeColor", ui_color);
} }
} }
}
visible_child_name = "app"; visible_child_name = "app";
if (app_notification.reveal_child) { if (app_notification.reveal_child) {
app_notification.reveal_child = false; app_notification.reveal_child = false;