> From: Julian Clinton <julianc@isl.co.uk>
>
> >(a) the fancy new VED-based bold and underlined characters in the
> >documentation are a **TOTAL** disaster when using Emacs.
>
> The extra characters can be permanently removed from the on-line
> documentation when Poplog is rebuilt with newpop - there's a section
> in HELP NEWPOP about this (although the off-line documentation doesn't
> say this and needs to be updated).
...or you can strip the special characters on a file by file basis. I
have the following shell script to do this:
#! /bin/csh -f
basepop11 %noinit $popliblib/stripvedfile $*
Although this does mean starting up a Poplog process each time you need
to strip a file.
I agree that a proper editor API would be lovely.
Adrian
aids (adrianh@cogs.susx.ac.uk) ObDisclamer: Poplog used to pay my wages
Phone: +44 (0)1273 678367 URL: http://www.cogs.susx.ac.uk/users/adrianh/
|