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

Attachment: signature.asc
Description: PGP signature

-- 
lyx-devel mailing list
[email protected]
http://lists.lyx.org/mailman/listinfo/lyx-devel

Reply via email to