window-list: Fix faking overview

The public overview properties are now read-only, so switch to the
private properties which back them to fake the overview visibility.

https://gitlab.gnome.org/GNOME/gnome-shell-extensions/merge_requests/96
This commit is contained in:
Florian Müllner
2019-11-21 21:53:44 +01:00
parent 30ad3d670f
commit a904d51cf7
+3 -3
View File
@@ -174,12 +174,12 @@ var WindowPicker = GObject.registerClass({
}
_fakeOverviewAnimation(onComplete) {
Main.overview.animationInProgress = true;
Main.overview._animationInProgress = true;
GLib.timeout_add(
GLib.PRIORITY_DEFAULT,
Overview.ANIMATION_TIME,
() => {
Main.overview.animationInProgress = false;
Main.overview._animationInProgress = false;
if (onComplete)
onComplete();
});
@@ -187,7 +187,7 @@ var WindowPicker = GObject.registerClass({
_fakeOverviewVisible(visible) {
// Fake overview state for WorkspacesDisplay
Main.overview.visible = visible;
Main.overview._visible = visible;
// Hide real windows
Main.layoutManager._inOverview = visible;