Exécution d'un script

Vous pouvez exécuter un script de trois façons différentes :

  1. Sélectionner le script désiré et cliquer sur le bouton Exécuter sur le côté gauche du composant graphique de gestion de scripts.

    Scripts : bouton « Exécuter »
  2. Utiliser un raccourci clavier.

    Scripts : raccourci clavier

    Vous pouvez assigner un raccourci clavier à un script en utilisant le bouton Configurer dans le panel de gestion des scripts.

    Scripts : boite de dialogue pour la configuration de séquences
  3. Utilisez un éditeur de séquences clavier. Le script sera exécuté, si vous saisissez la séquence qui lui a été assignée dans l'éditeur.

    Scripts : éditeur de séquence de caractère

    Cette méthode peut être étendue à un type plutôt compliqué de complètement de code. Supposons que vous ayez à écrire un script qui insère simplement la commande LATEX \textbf{} dans le document actuel.

    document.insertText("\\textbf{%C}");
    

    Si vous saisissez maintenant la séquence associée de caractère bfx dans votre document, cette séquence sera supprimée et le script sera exécuté. Il insérera \textbf{} et le curseur sera placé automatiquement entre les accolades.

    Scripts : saisie d'une séquence de caractère pour l'éditeur

    Quelle méthode confortable et puissante de complètement de code.