From 54d6dd4cd27c97c3560c3ff2eb66fcfbbe5a51c0 Mon Sep 17 00:00:00 2001
From: osch <oliver at luced de>
Date: Fri, 12 Apr 2019 23:48:52 +0200
Subject: reload icons if icon size preference changed

---
 src/ui/ui.c | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

(limited to 'src/ui')

diff --git a/src/ui/ui.c b/src/ui/ui.c
index 7b5bcdfc..f44b68cf 100644
--- a/src/ui/ui.c
+++ b/src/ui/ui.c
@@ -586,13 +586,16 @@ GdkPixbuf*
 meta_ui_get_default_window_icon (MetaUI *ui)
 {
   static GdkPixbuf *default_icon = NULL;
-  int scale;
+  static int icon_size = 0;
+  int current_icon_size = meta_prefs_get_icon_size();
 
-  if (default_icon == NULL)
+  int scale;
+  if (default_icon == NULL || current_icon_size != icon_size)
     {
       scale = gtk_widget_get_scale_factor (GTK_WIDGET (ui->frames));
-      default_icon = load_default_window_icon (meta_prefs_get_icon_size(), scale);
+      default_icon = load_default_window_icon (current_icon_size, scale);
       g_assert (default_icon);
+      icon_size = current_icon_size;
     }
 
   g_object_ref (G_OBJECT (default_icon));
-- 
cgit v1.2.1