Re: Another icon set?

[Jürgen Spitzmüller]

Am Dienstag, dem 11.03.2025 um 17:39 -0400 schrieb Richard Kimberly
Heck:
> Agreed.

It's in. Let me know if you want this in stable as well.

-- 
Jürgen
-- 
lyx-devel mailing list
lyx-devel@lists.lyx.org
https://lists.lyx.org/mailman/listinfo/lyx-devel