Remove function shorthand for older gnome-shell versions

panel.js

@@ -772,7 +772,7 @@ var dtpPanelWrapper = new Lang.Class({
 var dtpSecondaryPanel = new Lang.Class({
     Name: 'DashToPanel.SecondaryPanel',
 
-    _init : function(settings, monitor) {
+    _init: function(settings, monitor) {
         this._dtpSettings = settings;
    	
         this.actor = new Shell.GenericContainer({ name: 'panel', reactive: true });

proximity.js

@@ -103,7 +103,7 @@ var ProximityManager = new Lang.Class({
         }
     },
 
-    update() {
+    update: function() {
         this._queueUpdate(true);
     },
 
@@ -173,10 +173,11 @@ var ProximityManager = new Lang.Class({
     },
 
     _disconnectFocusedWindow: function() {
-        if (this._focusedWindowInfo) {
+        if (this._focusedWindowInfo && this._focusedWindowInfo.window) {
             this._focusedWindowInfo.window.disconnect(this._focusedWindowInfo.id);
-            this._focusedWindowInfo = null;
         }
+
+        this._focusedWindowInfo = null;
     },
 
     _getHandledWindows: function() {