Ralf Angeli <[EMAIL PROTECTED]> writes: > * David Kastrup (2005-11-30) writes: > >> Ralf Angeli <[EMAIL PROTECTED]> writes: >> >>> * David Kastrup (2005-11-29) writes: >>> >>>> "`"Uberflieger"' would become pretty hard to type. >>> >>> I think the "" is more common, so I checked it in. >> >> It is not just a question of commonality: it pretty much becomes >> _impossible_ to type the above in (apart from using C-q). > > As impossible as typing "" was before the change. > >> I don't think we should really do something as invasive as that >> unless the inputenc package is in use, in which case it is a good >> guess that the short hands are not being used for entering accented >> letters. > > I could conditionalize the stuff I added to be active only when > inputenc is present in the list of styles. But of course this won't > help with insertion of "" in the non-inputenc case.
Maybe a sequence " "` "" "`" """ ? Then you can even type Wach"""ubung with tolerable pain level. -- David Kastrup, Kriemhildstr. 15, 44793 Bochum _______________________________________________ auctex-devel mailing list [email protected] http://lists.gnu.org/mailman/listinfo/auctex-devel
