Hello community,
here is the log from the commit of package gnome-shell-extensions for
openSUSE:Factory checked in at 2018-08-07 09:42:07
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Comparing /work/SRC/openSUSE:Factory/gnome-shell-extensions (Old)
and /work/SRC/openSUSE:Factory/.gnome-shell-extensions.new (New)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "gnome-shell-extensions"
Tue Aug 7 09:42:07 2018 rev:84 rq:627475 version:3.28.1+20180413.6746061
Changes:
--------
---
/work/SRC/openSUSE:Factory/gnome-shell-extensions/gnome-shell-extensions.changes
2018-07-31 15:56:04.919209342 +0200
+++
/work/SRC/openSUSE:Factory/.gnome-shell-extensions.new/gnome-shell-extensions.changes
2018-08-07 09:42:13.837221494 +0200
@@ -1,0 +2,9 @@
+Fri Aug 3 06:05:03 UTC 2018 - [email protected]
+
+- Update gse-sle-classic-ext.patch CSS files are generated by Sass
+ sources in 3.28, the default margin-bottom of popup-menu.panel-menu
+ is 1.75em which creates an ugly gap between menu and its source
+ actor when the PanelMenu's source actor is at the bottom
+ (boo#1094148).
+
+-------------------------------------------------------------------
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Other differences:
------------------
++++++ gse-sle-classic-ext.patch ++++++
--- /var/tmp/diff_new_pack.E3wC8X/_old 2018-08-07 09:42:14.657222922 +0200
+++ /var/tmp/diff_new_pack.E3wC8X/_new 2018-08-07 09:42:14.657222922 +0200
@@ -1,7 +1,7 @@
-Index: gnome-shell-extensions-3.27.91/extensions/window-list/classic.css
+Index:
gnome-shell-extensions-3.28.1+20180413.6746061/extensions/window-list/classic.css
===================================================================
---- gnome-shell-extensions-3.27.91.orig/extensions/window-list/classic.css
-+++ gnome-shell-extensions-3.27.91/extensions/window-list/classic.css
+---
gnome-shell-extensions-3.28.1+20180413.6746061.orig/extensions/window-list/classic.css
++++
gnome-shell-extensions-3.28.1+20180413.6746061/extensions/window-list/classic.css
@@ -6,7 +6,7 @@
height: 2.25em ;
}
@@ -43,10 +43,10 @@
color: #888;
box-shadow: inset -1px -1px 1px rgba(0,0,0,0.5);
}
-Index: gnome-shell-extensions-3.27.91/extensions/window-list/extension.js
+Index:
gnome-shell-extensions-3.28.1+20180413.6746061/extensions/window-list/extension.js
===================================================================
---- gnome-shell-extensions-3.27.91.orig/extensions/window-list/extension.js
-+++ gnome-shell-extensions-3.27.91/extensions/window-list/extension.js
+---
gnome-shell-extensions-3.28.1+20180413.6746061.orig/extensions/window-list/extension.js
++++
gnome-shell-extensions-3.28.1+20180413.6746061/extensions/window-list/extension.js
@@ -27,6 +27,395 @@ const GroupingMode = {
ALWAYS: 2
};
@@ -455,10 +455,10 @@
+ return new Extension();
+ }
}
-Index: gnome-shell-extensions-3.27.91/extensions/window-list/stylesheet.css
+Index:
gnome-shell-extensions-3.28.1+20180413.6746061/extensions/window-list/stylesheet.css
===================================================================
---- gnome-shell-extensions-3.27.91.orig/extensions/window-list/stylesheet.css
-+++ gnome-shell-extensions-3.27.91/extensions/window-list/stylesheet.css
+---
gnome-shell-extensions-3.28.1+20180413.6746061.orig/extensions/window-list/stylesheet.css
++++
gnome-shell-extensions-3.28.1+20180413.6746061/extensions/window-list/stylesheet.css
@@ -79,6 +79,10 @@
border: 1px solid #cccccc;
}
@@ -470,3 +470,23 @@
.notification {
font-weight: normal;
}
+Index: gnome-shell-extensions-3.28.1+20180413.6746061/data/gnome-classic.scss
+===================================================================
+--- gnome-shell-extensions-3.28.1+20180413.6746061.orig/data/gnome-classic.scss
++++ gnome-shell-extensions-3.28.1+20180413.6746061/data/gnome-classic.scss
+@@ -103,3 +103,15 @@ $variant: 'light';
+ &:hover, &focus { background-color: darken($bg_color,2%); }
+ }
+ }
++
++.popup-menu {
++ &.panel-menu {
++ -boxpointer-gap: 4px;
++ /* TODO was 1.75em, no idea of its use */
++ /* NOTE: the following creates an ugly gap between menu and its source
actor
++ when the PanelMenu's source actor is at the bottom. Preferrably for
++ bottom menu, `margin-top` might be a better choice. However, since we
++ have no idea about its use so reset to 0 for now. */
++ margin-bottom: 0em;
++ }
++}
