On 8/6/06, A.J.Mechelynck <[EMAIL PROTECTED]> wrote:
Nikolai Weibull wrote:
> It's always possible to add another type of mark that stays with the > text, whatever happens, and I don't think it should be too hard to > implement, see mark_col_adjust(). But Bram thought it would be > difficult and seeing as how he knows better I didn't pursue it when I > discussed this with him earlier.
E149: Sorry, no help for mark_col_adjust()
That is, see mark_col_adjust() in the source. nikolai