The problem turned out to be a bad initialization in my personal ".xdvirc-"File, namely xdvi.gamma: 0.084000
I did not know that such a file exists, because xdvi generates it automatically.
Nicolas
The problem turned out to be a bad initialization in my personal ".xdvirc-"File, namely
xdvi.gamma: 0.084000
I did not know that such a file exists, because xdvi generates it automatically.
Nicolas