Andrea: Thanks for your comments! 1) yes, this was a mistake. 2) the new patch implements what you suggest.
** Patch added: "ignore-shadow-and-padding-v2.debdiff" https://bugs.launchpad.net/ubuntu/+source/light-themes/+bug/800315/+attachment/2437727/+files/ignore-shadow-and-padding-v2.debdiff -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/800315 Title: light-themes don't fully support Gnome Shell To manage notifications about this bug go to: https://bugs.launchpad.net/ayatana-design/+bug/800315/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs