While we are at the subject, I realized that the latex output with changes might be subject to change too.

Do we want to exactly use the same colors in the output as on screen ?

For now, the dvipost implementation of changes in the output is hardcoded as Red and Blue, can this be made any color ?

Vincent

Reply via email to