On Fri, Mar 17, 2023 at 07:30:28AM +0100, Jürgen Spitzmüller wrote: > Am Mittwoch, dem 15.03.2023 um 14:29 -0400 schrieb Richard Kimberly > Heck: > > I think I was on the 'don't do this side' back when we had that > > discussion. > > Me, too. And I still am. I wish we had an option to opt-out to the > previous behavior where it was more clearly visible which kind of dash > you have.
+1. On the one hand, I feel like this type of feature is common in GUI editors. On the other hand, this type of feature is one of the reasons why I don't like using GUI editors :). Also, it seems more WYSIWYG, not WYSIWYM. Scott
signature.asc
Description: PGP signature
-- lyx-devel mailing list [email protected] http://lists.lyx.org/mailman/listinfo/lyx-devel
