Re: Custom color names for non-english users

[Jürgen Spitzmüller]

Am Freitag, dem 21.02.2025 um 16:46 +0100 schrieb Pavel Sanda:
> "Double-click to change" in tooltip?

Done.

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