Personnalisation de l'interface

Une fois que vous aurez créé une première interface entre votre système et TeXmacs, vous aurez sûrement envie de l'améliorer. Vous trouverez ci-dessous quelques idées pour le faire.

Tout d'abord, vous pouvez personnaliser le comportement du clavier dans une session myplugin et ajouter les menus désirés. Vous trouverez les explications pour le faire dans le chapitre consacré au langage d'extension Guile/Scheme. Vous pouvez intégrer vos changements au fichier init-myplugin.scm. Nous vous recommandons d'examiner attentivement les plugins livrés avec TeXmacs et situés dans le répertoire $TEXMACS_HOME_PATH/plugins.

Il vous faudra peut-être créer des balises spéciales pour certaines sorties sur votre système. Supposons que vous vouliez associer un type invisible à chaque sous-expression de sortie. Pour ce faire, vous pouvez créer une macro exprtype à deux arguments dans myplugin.ts et envoyez des appels LaTeX, tel \exprtype{1}{Integer}, à TeXmacs durant la sortie.

Dans le cas où vous utilisez des tubes pour connecter votre système à TeXmacs, vous pouvez exécuter directement des commandes TeXmacs pendant la sortie de votre système en intégrant dans votre sortie des morceaux de code de la forme :

    [DATA_BEGIN]command:scheme-program[DATA_END]

À l'inverse, quand le curseur est dans une session système, vous pouvez utiliser la commande Scheme :

    (extern-exec plugin-command)

pour exécuter une commande du système.