jfbu <[email protected]> writes: > I don't know if non-programming users have much use for |...|, they > sure know about verbatim environment but perhaps less about \verb > command.
Yeah, I must admit I've made it so that it's convenient to me. I usually define \c|stuff| as a short form of \mintinline[lang]|stuff|, and then the current behavior is convenient to me because typing \ c | is even faster that C-c C-f C-l which I defined to insert \c|| here locally. > For package writers, as the ltxdoc/scrdoc classes load shortvrb by > default and (if I remember correctly) pre-declare | as verb delimiter > so that one can type |\stuff| rather than \verb|stuff|, it is more > immediately useful I guess. Yes. > ... I have no opinion. Perhaps just stick with what you have > currently decided and see if a revolt ensues ? ;-) That's my plan. ;-) Bye, Tassilo _______________________________________________ auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/auctex
