Un esempio di plugin in |
Consideriamo il plugin world nella directory
$TEXMACS_PATH/examples/plugins
Questo plugin mostra come estendere TeXmacs aggiungendo parti di
codice scritte in linguaggio
world/progs/init-world.scm
Per testare il plugin world è necessario copiare ricorsivamente la directory
$TEXMACS_PATH/examples/plugins/world
in $TEXMACS_PATH/plugins o in $TEXMACS_HOME_PATH/plugins.
Dopo aver rilanciato TeXmacs il plugin dovrebbe essere automaticamente
riconosciuto (un menu
Questo file contiene essenzialmente questa parte di codice:
(define (world-initialize)
(menu-extend texmacs-extra-menu
(=> "World"
("Hello world" (insert-string
"Hello world")))))
(plugin-configure world
(:require #t)
(:initialize (world-initialize)))
Le opzioni di configurazione :require specificano le condizioni che devono essere soddisfatte per permettere a TeXmacs di riconoscere il plugin (ad esempio controllando se alcuni programmi sono o meno disponibili nel sistema). La configurazione fallisce se le richieste formulate non vengono soddisfatte.
L'opzione :initialize specifica quale istruzione deve
essere eseguita in fase di inizializzazione (modulo soddisfazione
delle richieste precedenti). Nel nostro esempio abbiamo solamente
creato un nuovo livello di menu