Sounds good to me. I'm not sure, though, whether this is worth introducing a preference switch. Is there any reason why someone would want to switch it off? Adding too many preference switches is often more confusing than helpful.
Von: Alvaro Tejero Cantero <[email protected]> > Yes, I must say that there's a solution (which I used for years and > ended up switching of a month a go) that would make everybody happy. > > Just swap the keyboard shortcuts such that > > '(', '[', etc create auto-resizing delimiters > 'Alt-(', 'Alt-[' create standard delimiters > > If you want the exact changes to your kbd scheme files I can dig them > out. This could of course become a switchable preference. -- Neu: GMX De-Mail - Einfach wie E-Mail, sicher wie ein Brief! Jetzt De-Mail-Adresse reservieren: http://portal.gmx.net/de/go/demail _______________________________________________ Texmacs-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/texmacs-dev
