workspace: Switch back to using the :has-pointer property

In case where a method- and property name overlap, using the method
is less unambiguous than I thought - mozjs52-based gjs will only see
the method, while mozjs38-based gjs will only see the property. We
are in luck though, and the real property name contains dashes that
allow us to refer to the property in a way that works for all gjs
versions.

https://bugzilla.gnome.org/show_bug.cgi?id=785090
This commit is contained in:
Florian Müllner 2017-07-22 11:47:20 +02:00
parent 825f1cc072
commit 734511a9ae

View File

@ -500,7 +500,7 @@ var WindowOverlay = new Lang.Class({
this._hidden = false; this._hidden = false;
this.title.show(); this.title.show();
if (this._windowClone.actor.has_pointer()) if (this._windowClone.actor['has-pointer'])
this._animateVisible(); this._animateVisible();
}, },
@ -699,8 +699,8 @@ var WindowOverlay = new Lang.Class({
_idleToggleCloseButton: function() { _idleToggleCloseButton: function() {
this._idleToggleCloseId = 0; this._idleToggleCloseId = 0;
if (!this._windowClone.actor.has_pointer() && if (!this._windowClone.actor['has-pointer'] &&
!this.closeButton.has_pointer()) !this.closeButton['has-pointer'])
this._animateInvisible(); this._animateInvisible();
return GLib.SOURCE_REMOVE; return GLib.SOURCE_REMOVE;