On Wed, Jul 05, 2023 at 08:42:21PM +0200, Pavel Sanda wrote:
I think your patch should go for windows port only as it would probably interfere with ppl choosing windows style under linux (yes, apparently there are users choosing this as I read users list).
I don't think this is a good idea because LyX would look different from any other application.
-- Enrico -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel