pool/gnome-shell-extensions
SHA256
2
0
Fork 1
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Accepting request 526947 from home:xiaoguang_wang:branches:GNOME:Factory

Browse Source 
- Update patch gse-sle-classic-ext.patch.
  Fix 'this._pureWinList is null', error involved in bsc#1046570
  fix(bsc#1046570).

OBS-URL: https://build.opensuse.org/request/show/526947
OBS-URL: https://build.opensuse.org/package/show/GNOME:Factory/gnome-shell-extensions?expand=0&rev=134
This commit is contained in:
Dominique Leuenberger 2017-09-18 09:04:14 +00:00 committed by Git OBS Bridge
parent f7f87a1d37
commit 063f00037f
2 changed files with 10 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
gnome-shell-extensions.changes
View File

@ -1,3 +1,10 @@
-------------------------------------------------------------------
Mon Sep 18 06:38:10 UTC 2017 - xwang@suse.com
- Update patch gse-sle-classic-ext.patch.
Fix 'this._pureWinList is null', error involved in bsc#1046570
fix(bsc#1046570).
------------------------------------------------------------------- -------------------------------------------------------------------
Wed Sep 13 02:57:16 UTC 2017 - xwang@suse.com Wed Sep 13 02:57:16 UTC 2017 - xwang@suse.com

4
gse-sle-classic-ext.patch
View File

@ -838,7 +838,7 @@ Index: gnome-shell-extensions-3.26.0/extensions/window-list/extension.js
}, },
enable: function() { enable: function() {
@@ -1301,6 +1392,71 @@ const Extension = new Lang.Class({ @@ -1301,6 +1392,73 @@ const Extension = new Lang.Class({
} }
}); });
@ -880,6 +880,7 @@ Index: gnome-shell-extensions-3.26.0/extensions/window-list/extension.js
+ // No need for `showOnAllMonitors` change either even this option + // No need for `showOnAllMonitors` change either even this option
+ // changes. + // changes.
+ +
+ this._heightChangeId =
+ Main.panel.actor.connect('notify::height', Lang.bind(this, function() { + Main.panel.actor.connect('notify::height', Lang.bind(this, function() {
+ Main.layoutManager.panelBox.set_position(this._pureWinList._monitor.x, + Main.layoutManager.panelBox.set_position(this._pureWinList._monitor.x,
+ this._pureWinList._monitor.y + this._pureWinList._monitor.height - Main.panel.actor.height); + this._pureWinList._monitor.y + this._pureWinList._monitor.height - Main.panel.actor.height);
@ -890,6 +891,7 @@ Index: gnome-shell-extensions-3.26.0/extensions/window-list/extension.js
+ if (!this._pureWinList) + if (!this._pureWinList)
+ return; + return;
+ +
+ Main.panel.actor.disconnect(this._heightChangeId);
+ this._pureWinList.actor.hide(); + this._pureWinList.actor.hide();
+ this._pureWinList.actor.destroy(); + this._pureWinList.actor.destroy();
+ +