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
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