Re: demo stuff

[<mi...@ph...>]

>> There is a command (undocumented?)
>>      set termoptions
>>
>> which could do this.
>
> The command whose body reads like this?
>
> /* process 'set termoptions' command */
> static void
> set_termoptions()
> {
>    int_error(c_token,"Command not yet supported");
> }

Exactly. Setting "enhanced" could be the first candidate of its use.
Second could be "font 'Helvetica' 12".
---
PM