diff --git a/gnome-shell-extensions.changes b/gnome-shell-extensions.changes index 851e92f..5f7c7c6 100644 --- a/gnome-shell-extensions.changes +++ b/gnome-shell-extensions.changes @@ -1,3 +1,10 @@ +------------------------------------------------------------------- +Wed Aug 23 07:59:02 UTC 2017 - xwang@suse.com + +- Update patch gse-sle-classic-ext.patch. Fix only half panel shown + on bottom of desktop when scaling-factor equals 2(Require patched + gnome-shell)(bsc#1046570). + ------------------------------------------------------------------- Wed Aug 2 02:51:32 UTC 2017 - xwang@suse.com diff --git a/gse-sle-classic-ext.patch b/gse-sle-classic-ext.patch index 3e82520..c0a6772 100644 --- a/gse-sle-classic-ext.patch +++ b/gse-sle-classic-ext.patch @@ -1,7 +1,7 @@ -Index: gnome-shell-extensions-3.24.2/data/gnome-classic.css +Index: gnome-shell-extensions-3.24.3/data/gnome-classic.css =================================================================== ---- gnome-shell-extensions-3.24.2.orig/data/gnome-classic.css -+++ gnome-shell-extensions-3.24.2/data/gnome-classic.css +--- gnome-shell-extensions-3.24.3.orig/data/gnome-classic.css ++++ gnome-shell-extensions-3.24.3/data/gnome-classic.css @@ -512,7 +512,12 @@ StScrollBar { color: rgba(46, 52, 54, 0.5); } .popup-menu.panel-menu { @@ -45,10 +45,10 @@ Index: gnome-shell-extensions-3.24.2/data/gnome-classic.css padding: 10px; } .message-media-control { -Index: gnome-shell-extensions-3.24.2/extensions/window-list/classic.css +Index: gnome-shell-extensions-3.24.3/extensions/window-list/classic.css =================================================================== ---- gnome-shell-extensions-3.24.2.orig/extensions/window-list/classic.css -+++ gnome-shell-extensions-3.24.2/extensions/window-list/classic.css +--- gnome-shell-extensions-3.24.3.orig/extensions/window-list/classic.css ++++ gnome-shell-extensions-3.24.3/extensions/window-list/classic.css @@ -6,7 +6,7 @@ height: 2.25em ; } @@ -90,10 +90,10 @@ Index: gnome-shell-extensions-3.24.2/extensions/window-list/classic.css color: #888; box-shadow: inset -1px -1px 1px rgba(0,0,0,0.5); } -Index: gnome-shell-extensions-3.24.2/extensions/window-list/extension.js +Index: gnome-shell-extensions-3.24.3/extensions/window-list/extension.js =================================================================== ---- gnome-shell-extensions-3.24.2.orig/extensions/window-list/extension.js -+++ gnome-shell-extensions-3.24.2/extensions/window-list/extension.js +--- gnome-shell-extensions-3.24.3.orig/extensions/window-list/extension.js ++++ gnome-shell-extensions-3.24.3/extensions/window-list/extension.js @@ -22,6 +22,8 @@ const _ = Gettext.gettext; const ICON_TEXTURE_SIZE = 24; const DND_ACTIVATE_TIMEOUT = 500; @@ -795,7 +795,7 @@ Index: gnome-shell-extensions-3.24.2/extensions/window-list/extension.js }, enable: function() { -@@ -1292,6 +1384,63 @@ const Extension = new Lang.Class({ +@@ -1292,6 +1384,71 @@ const Extension = new Lang.Class({ } }); @@ -827,12 +827,20 @@ Index: gnome-shell-extensions-3.24.2/extensions/window-list/extension.js + let _winListRefreshId = Main.panel._centerBox.connect( + 'allocation-changed', + () => { ++ if (this._pureWinList == null) ++ return; ++ + this._pureWinList.initializeWindowList(); + Main.panel._centerBox.disconnect(_winListRefreshId); + }); + // NOTE: IMO, no need to rebuild `_pureWinList` when monitors changed. + // No need for `showOnAllMonitors` change either even this option + // changes. ++ ++ Main.panel.actor.connect('notify::height', Lang.bind(this, function() { ++ Main.layoutManager.panelBox.set_position(this._pureWinList._monitor.x, ++ this._pureWinList._monitor.y + this._pureWinList._monitor.height - Main.panel.actor.height); ++ })); + }, + + disable: function() { @@ -860,10 +868,10 @@ Index: gnome-shell-extensions-3.24.2/extensions/window-list/extension.js + return new Extension(); + } } -Index: gnome-shell-extensions-3.24.2/extensions/window-list/stylesheet.css +Index: gnome-shell-extensions-3.24.3/extensions/window-list/stylesheet.css =================================================================== ---- gnome-shell-extensions-3.24.2.orig/extensions/window-list/stylesheet.css -+++ gnome-shell-extensions-3.24.2/extensions/window-list/stylesheet.css +--- gnome-shell-extensions-3.24.3.orig/extensions/window-list/stylesheet.css ++++ gnome-shell-extensions-3.24.3/extensions/window-list/stylesheet.css @@ -79,6 +79,10 @@ border: 1px solid #cccccc; }