Bonjour
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 :
Ah j'oubliais :
\dsp c'est une simplement la commande \displaystyle que j'ai renommé dans mon préambule (elle permet dans $ $ de conserver la même typographie que dans $$ $$, en gros c'est pour éviter d'avoir au lieu de ).
Le dernier Repeat permet de ramener le curseur 30 caractères avant pour se placer entre les accolades.
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :