On Sat, 15 Sep 2018 18:24:16 +0200 Matthias Seidel <matthias.sei...@hamburg.de> 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 > >> <matthias.sei...@hamburg.de mailto:matthias.sei...@hamburg.de > 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 <ofarr...@iol.ie> --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@openoffice.apache.org For additional commands, e-mail: dev-h...@openoffice.apache.org
