Ralf Angeli <[EMAIL PROTECTED]> writes: > * David Kastrup (2006-07-03) writes: > >> In short: I can't believe that anybody finds the current behavior >> actually helpful, and I can't remember anything but complaints about >> it. > > There are likely some people now who found the behavior useful,
I quite doubt that. It's the sort of thing that's too clever for a user interface. User interface features are intended to be useful without having to think more than when not using them. > adapted to it and now have it in their muscle memory. Well, if there are any, they should speak up. Personally, I find it hard to get into your muscle memory to type $$ in order to get $$, and then to type $ in order to get $$. We might leave the current behavior as an option, but for keeping it as a default, I want to hear more than theoretic rationalizations (without them, the feature wouldn't even be there). I want to hear someone actually speaking up for (or against) it who is affected. -- David Kastrup, Kriemhildstr. 15, 44793 Bochum _______________________________________________ auctex mailing list [email protected] http://lists.gnu.org/mailman/listinfo/auctex
