Fix crash in ubuntu with gnome-shell 3.12, should fix #66 .

merge-requests/218/head
Jens Lody 9 years ago
parent 26a6dbef5b
commit b7e2bee65c
  1. 3
      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;
}));
},

Loading…
Cancel
Save