[gnome-shell-extensions/wip/fmuellner/fix-113-master: 3/9] window-list: Stop using compatibility actor property
- From: Florian Müllner <fmuellner src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell-extensions/wip/fmuellner/fix-113-master: 3/9] window-list: Stop using compatibility actor property
- Date: Wed, 10 Oct 2018 15:59:08 +0000 (UTC)
commit 99edc5860a567fd764d25b7fd82386a6729c7e84
Author: Florian Müllner <fmuellner gnome org>
Date: Wed Oct 10 16:19:02 2018 +0200
window-list: Stop using compatibility actor property
PanelMenu.Button sets up a `this.actor = this` property for compatibility,
but let's reflect the actual new object hierarchy.
https://gitlab.gnome.org/GNOME/gnome-shell-extensions/issues/113
extensions/window-list/extension.js | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
---
diff --git a/extensions/window-list/extension.js b/extensions/window-list/extension.js
index e81edbf..dac843c 100644
--- a/extensions/window-list/extension.js
+++ b/extensions/window-list/extension.js
@@ -646,13 +646,13 @@ let WorkspaceIndicator = GObject.registerClass(
class WorkspaceIndicator extends PanelMenu.Button {
_init() {
super._init(0.0, _("Workspace Indicator"), true);
- this.setMenu(new PopupMenu.PopupMenu(this.actor, 0.0, St.Side.BOTTOM));
- this.actor.add_style_class_name('window-list-workspace-indicator');
+ this.setMenu(new PopupMenu.PopupMenu(this, 0.0, St.Side.BOTTOM));
+ this.add_style_class_name('window-list-workspace-indicator');
this.menu.actor.remove_style_class_name('panel-menu');
let container = new St.Widget({ layout_manager: new Clutter.BinLayout(),
x_expand: true, y_expand: true });
- this.actor.add_actor(container);
+ this.add_actor(container);
let workspaceManager = global.workspace_manager;
@@ -670,7 +670,7 @@ class WorkspaceIndicator extends PanelMenu.Button {
this._workspaceManagerSignals.push(workspaceManager.connect_after('workspace-switched',
this._updateIndicator.bind(this)));
- this.actor.connect('scroll-event', this._onScrollEvent.bind(this));
+ this.connect('scroll-event', this._onScrollEvent.bind(this));
this._updateMenu();
this._settings = new Gio.Settings({ schema_id: 'org.gnome.desktop.wm.preferences' });
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]