Hi Pedro,
Am 03.02.26 um 22:49 schrieb Pedro Lino via dev:
Hi Matthias
I would be interested in a DEB build.
Link to my pCloud
https://e.pcloud.link/publink/show?code=kZpbOaZ8ku543Lc3KHLOCa2z6fKFQvVlTmk
This is NOT an official release but it is very stable.
For those interested, go to Tools > Options > View > Icon size and style >
Remix dark
Works for me on an Ubuntu 18.04 VM.
As I mentioned in my PR, the code is ready but we still need to figure
out what icon set we want to use.
Remix is nice, but I doubt that we can use it for a complete icon set...
I think that with some creativity and help from designers something could be
done...
We already had 2 years time... ;-)
Regards,
Matthias
Best,
Pedro
Am 01.02.26 um 18:08 schrieb Pedro Lino via dev:
Hi Matthias, Dean
I regularly compile branch Pilot-Pirx-iconset to DEB binaries
I can compile tomorrow and share my binaries if that is useful to other people
All the best,
Pedro
On 02/01/2026 1:21 PM WET Matthias Seidel <[email protected]> wrote:
Hi Dean,
Am 01.02.26 um 07:10 schrieb Dean Webber:
I am interested to test this build once it has been processed 🙂
If you happen to use Linux, maybe Pedro could give you a build?
Regards,
Matthias
________________________________
From: Pilot-Pirx (via GitHub) <[email protected]>
Sent: 01 February 2026 06:47
To: [email protected] <[email protected]>
Subject: Re: [PR] Add new icon set [openoffice]
Pilot-Pirx commented on PR #214:
URL: https://github.com/apache/openoffice/pull/214#issuecomment-3829308712
Feel free to merge this PR.
my work is done...
--
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]
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
