Hi Pedro, All,
Am 02.03.26 um 16:30 schrieb Pedro Lino via dev:
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.
It can be merged (to trunk) at any time...
But will there be development afterwards? As I wrote in 2024, the code
is ready, but there does not seem to be great demand for a new icon set.
Regards,
Matthias
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]
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
