> On 03/02/2026 1:10 PM WET Dean Webber <[email protected]> wrote: > > > Will this theme be available from tools > options > view > icon size and > style?
Yes, that option is already available (although the iconset is incomplete). You can test it if you compile from branch Pilot-Pirx-iconset. >From my point of view it should be merged to Trunk. Best, Pedro > ________________________________ > From: Matthias Seidel <[email protected]> > Sent: 23 February 2026 05:18 > To: [email protected] <[email protected]> > Subject: Re: [PR] Add new icon set [openoffice] > > Hi Pedro, All, > > Am 22.02.26 um 20:00 schrieb Pedro Lino via dev: > > I am interested in adding this Theme as it is now to trunk (assuming that I > > or others can further contribute to it after it is merged to trunk without > > having to branch again?) But I have no idea what steps to take. > > I can merge the PR to trunk. Then it can be worked on there and later > backported to AOO42X. > > If nobody else is able to merge, just give me a hint when it is finally > discussed. > > Regards, > > Matthias > > > > >> On 02/22/2026 9:49 AM WET Pilot-Pirx (via GitHub) <[email protected]> wrote: > >> > >> > >> Pilot-Pirx commented on PR #214: > >> URL: https://github.com/apache/openoffice/pull/214#issuecomment-3940604955 > >> > >> No interest? > >> > >> > >> -- > >> This is an automated message from the Apache Git Service. > >> To respond to the message, please log on to GitHub and use the > >> URL above to go to the specific comment. > >> > >> To unsubscribe, e-mail: [email protected] > >> > >> For queries about this service, please contact Infrastructure at: > >> [email protected] > >> > >> > >> --------------------------------------------------------------------- > >> To unsubscribe, e-mail: [email protected] > >> For additional commands, e-mail: [email protected] > > --------------------------------------------------------------------- > > To unsubscribe, e-mail: [email protected] > > For additional commands, e-mail: [email protected] > > > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [email protected] > For additional commands, e-mail: [email protected] --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
