[gnome-shell-extensions] window-list: Stop using deprecated actor property
- From: Florian Müllner <fmuellner src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell-extensions] window-list: Stop using deprecated actor property
- Date: Wed, 29 May 2019 09:42:39 +0000 (UTC)
commit f166ca501f383b767485deba9f14cae0803d3e2f
Author: Florian Müllner <fmuellner gnome org>
Date: Wed May 29 08:52:23 2019 +0000
window-list: Stop using deprecated actor property
Since PanelMenu.Button was changed to inherit from St.Widget, its actor
property is deprecated and points to itself. Stop using it to avoid the
corresponding warning.
https://gitlab.gnome.org/GNOME/gnome-shell-extensions/merge_requests/67
extensions/window-list/extension.js | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/extensions/window-list/extension.js b/extensions/window-list/extension.js
index 9a8077d..637842e 100644
--- a/extensions/window-list/extension.js
+++ b/extensions/window-list/extension.js
@@ -917,7 +917,7 @@ class WindowList {
let workspacesOnMonitor = this._monitor == Main.layoutManager.primaryMonitor ||
!this._mutterSettings.get_boolean('workspaces-only-on-primary');
- this._workspaceIndicator.actor.visible = hasWorkspaces && workspacesOnMonitor;
+ this._workspaceIndicator.visible = hasWorkspaces && workspacesOnMonitor;
}
_getPreferredUngroupedWindowListWidth() {
@@ -940,7 +940,7 @@ class WindowList {
}
_getMaxWindowListWidth() {
- let indicatorsBox = this._workspaceIndicator.actor.get_parent();
+ let indicatorsBox = this._workspaceIndicator.get_parent();
return this.actor.width - indicatorsBox.get_preferred_width(-1)[1];
}
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]