Fix some more undefined property warnings

https://bugzilla.gnome.org/show_bug.cgi?id=787907
This commit is contained in:
Florian Müllner 2017-09-17 10:37:17 +02:00
parent 90c55e1977
commit ecddf1fffd
3 changed files with 3 additions and 0 deletions

View File

@ -94,6 +94,7 @@ var _Draggable = new Lang.Class({
this.disconnectAll(); this.disconnectAll();
})); }));
this._onEventId = null; this._onEventId = null;
this._touchSequence = null;
this._restoreOnSuccess = params.restoreOnSuccess; this._restoreOnSuccess = params.restoreOnSuccess;
this._dragActorMaxSize = params.dragActorMaxSize; this._dragActorMaxSize = params.dragActorMaxSize;

View File

@ -1090,6 +1090,7 @@ var Workspace = new Lang.Class({
// do some simple aspect ratio like math to fit the layout calculated // do some simple aspect ratio like math to fit the layout calculated
// for the full geometry into this area. // for the full geometry into this area.
this._actualGeometry = null; this._actualGeometry = null;
this._actualGeometryLater = 0;
this._currentLayout = null; this._currentLayout = null;

View File

@ -31,6 +31,7 @@ var WorkspaceSwitcherPopup = new Lang.Class({
this._itemSpacing = 0; this._itemSpacing = 0;
this._childHeight = 0; this._childHeight = 0;
this._childWidth = 0; this._childWidth = 0;
this._timeoutId = 0;
this._list.connect('style-changed', Lang.bind(this, function() { this._list.connect('style-changed', Lang.bind(this, function() {
this._itemSpacing = this._list.get_theme_node().get_length('spacing'); this._itemSpacing = this._list.get_theme_node().get_length('spacing');
})); }));