Posté par
infophile infophileBonjour
Je viens d'apprendre quelque chose de vraiment intéressant, qui pour ma part va me faire gagner énormément de temps.
Vous savez surement qu'on peut redéfinir des commandes via \newcommand etc.
C'est chouette, mais on peut faire encore plus fort
Si vous utilisez WinEdt, il est possible de créer des raccourcis claviers dynamiques.
Je m'explique : imaginez, vous tapez dans l'éditeur "i et il apparait par magie \int_{}^{} \text{d} en vous plaçant en prime entre les accolades.
Fantastique non ?
Voilà le secret : allez dans options/settings/Active_Strings
Descendez la liste déroulant, et dans les dernières cases blanches faites clique droit > Insert.
Vous tapez "i dans "Active String", puis dans "Action" vous cochez "On type" et en dessous vous tapez :
Citation :
[Repeat(2,'CMD("Backspace")');Ins("\dsp\int_{}^{}\ \text{d}\hspace{-0.02em}");Repeat(30,'CMD("Char Left")')]
Vous cliquez sur OK et le tour est joué
