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 - qk...@suse.com + +- 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; ++ } ++}