Re: Custom color names for non-english users

[Pavel Sanda]

On Fri, Feb 21, 2025 at 04:23:18PM +0100, Jürgen Spitzmüller wrote:
> (also by double-click BTW).

Cool. "Double-click to change" in tooltip?
Pavel
-- 
lyx-devel mailing list
lyx-devel@lists.lyx.org
https://lists.lyx.org/mailman/listinfo/lyx-devel