On Mon, Sep 3, 2018, 12:39 Matthias Seidel <matthias.sei...@hamburg.de> wrote:
> Hi Kay, > > Am 03.09.2018 um 00:16 schrieb Kay Schenk: > > Hello Matthias-- > > > > I should have replied to this ages ago. The last build I did was against > Rev: 1838339 so this would have included your changes. I don't see any > difference in the printer icons, but...I typicall install the Freedesktop > desktop interface on rpm build, AND, I don't normally do this during test > builds, just starting from the binary instead.The reason is I don't want my > production version to get accidentally trampled. > > > > At this point, I seem to have the old icons available because I did't do > a new desktop installation. Sorry... > > I am not sure if it would be visible on Freedesktop, but on Gnome > (Ubuntu 18.04) and Unity (Ubuntu 16.04) it makes quite a difference... > > Regards, > Matthias > It looks like the new icons are installed in the right area. If I had run the desktop-integration, I'm sure I would have seen them. > > > > On 2018/08/08 21:49:23, Matthias Seidel <matthias.sei...@hamburg.de> > wrote: > >> Hi all, > >> > >> With r1837621 I could finally enable higher resolution icons (128x128) > >> for Linux. > >> I can confirm they are visible on Ubuntu 16.04 and 18.04. > >> > >> Please test on any Distribution you can. ;-) > >> > >> Regards, > >> > >> Matthias > >> > >> > >> > > --------------------------------------------------------------------- > > To unsubscribe, e-mail: dev-unsubscr...@openoffice.apache.org > > For additional commands, e-mail: dev-h...@openoffice.apache.org > > > > > > >
