Ulteriore personalizzazione dell'interfaccia |
Dopo aver scritto un'interfaccia funzionante tra un dato sistema e TeXmacs è possibile migliorarne l'implementazione. Vedremo tra poco in quali direzioni questo sia possibile.
In primo luogo è possibile personalizzare il comportamento
della tastiera all'interno di una sessione myplugin,
aggiungendo i menu ritenuti più opportuni. Il metodo per
realizzare questo è descritto nel capitolo riguardante il
linguaggio di estensione
Alcuni output del sistema da implementare potrebbero richiedere dei marcatori speciali. Ad esempio, se si vuole associare un tipo invisibile a ciascuna sub-espressione dell'output. Allora conviene creare una macro exprtype, con due argomenti, in myplugin.ts e mandare a TeXmacs, in fase di output, un'espressione LaTeX del tipo \exprtype{1}{Integer}.
Nel caso in cui per connettere un sistema a TeXmacs siano state usate delle pipe, è possibile eseguire direttamente comandi TeXmacs durante l'output, incorporando nell'output parti di codice del tipo:
[DATA_BEGIN]command:scheme-program[DATA_END]
Quando invece il cursore si trova all'interno di una sessione del
sistema interfacciato, è possibile utilizzare il comando
(extern-exec plugin-command)
attraverso il quale è possibile dare un comando prestabilito.