Further customization of the interface |
Having written a working interface between your system and TeXmacs, you may want to improve it further. Below, we will discuss a few directions for possible improvement.
First of all, you may want to customize the keyboard behavior inside a
myplugin-session and add appropriate menus. The
mechanisms for doing that are described in the chapter about the
Certain output from your system might require a special markup. For instance, assume that you want to associate an invisible type to each subexpression in the output. Then you may create a macro exprtype with two arguments in myplugin.ts and send LaTeX expressions like \exprtype{1}{Integer} to TeXmacs during the output.
In the case when you connected your system to TeXmacs using pipes, you may directly execute TeXmacs commands during the output from your system by incorporating pieces of code of the form:
[DATA_BEGIN]command:scheme-program[DATA_END]
in your output. Inversily, when the cursor is inside a session of your
system, you may use the
(extern-exec plugin-command)
in order to execute a command of your system.