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

Accepting request 518348 from home:xiaoguang_wang:branches:1046570-gnome-factory

Browse Source 
- 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).

OBS-URL: https://build.opensuse.org/request/show/518348
OBS-URL: https://build.opensuse.org/package/show/GNOME:Factory/gnome-shell-extensions?expand=0&rev=126
This commit is contained in:
Bjørn Lie 2017-08-24 16:46:42 +00:00 committed by Git OBS Bridge
parent 83d6de766c
commit 422a091a5d
2 changed files with 28 additions and 13 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 @@
-------------------------------------------------------------------
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

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

@ -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;
}