On Sat, 15 Sep 2018 18:24:16 +0200 Matthias Seidel <[email protected]> wrote:
> Hi Pedro, > > Am 15.09.2018 um 17:12 schrieb Pedro Lino: > > Hi Matthias, all > > > > > >> On September 15, 2018 at 10:21 AM Matthias Seidel > >> <[email protected] mailto:[email protected] > wrote: > >> > >> Test it on every Linux desktop manager you can get your hands on! ;-) > >> And *please* give feedback! > >> > > > > Please do include this in version 4.1.6 for Linux! > > > > For those who aren't convinced it makes a real difference, please go to > > > > https://imgur.com/a/5WoOqub > > > > or download these two separate images and compare them side by side > > > > AOO 4.1.5 > > https://i.imgur.com/P29Aoi6.jpg > > > > AOO 4.2.0 > > > > https://i.imgur.com/zB8XcHm.jpg > > Yes, they look so much better! I could test them on Ubuntu 16.04 (Unity) > and 18.04 (Gnome). > > I am pretty sure that they will also look nice on other desktop > environments, but this is a point where the community can help... > > To be clear: > These icons were in our code since around 2012. But they never got > copied over by the desktop integration. > I only added two icons (printer admin and extension) and patched the script. > > Regards, > Matthias > > > > > > > (Unfortunately Imgur converts everything to jpg but the difference is still > > obvious even with jpg compression artifacts) > > > > > > Regards, > > > > Pedro > > > > They look well on xfce4 (Xubuntu 18.04.1 64 bit) -- Rory O'Farrell <[email protected]> --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
