From b7e2bee65c308bfbbf229f141caceb82d339ba43 Mon Sep 17 00:00:00 2001
From: Jens Lody <jens@jenslody.de>
Date: Tue, 1 Sep 2015 23:32:48 +0200
Subject: [PATCH] Fix crash in ubuntu with gnome-shell 3.12, should fix #66 .

---
 src/prefs.js | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/prefs.js b/src/prefs.js
index 3192df0..d563492 100644
--- a/src/prefs.js
+++ b/src/prefs.js
@@ -110,8 +110,7 @@ const WeatherPrefsWidget = new GObject.Class({
                 return;
             inRealize = true;
 
-            this.MainWidget.get_toplevel().set_default_size(defaultSize[0], defaultSize[1]);
-            this.MainWidget.get_toplevel().reshow_with_initial_size();
+            this.MainWidget.get_toplevel().resize(defaultSize[0], defaultSize[1]);
             inRealize = false;
         }));
     },