The default printing margin seems to have changed back to .04 on Linux (Linux/20030109) This should really be .25 by default--you shouldn't have to set this manually!
The default printing margin seems to have changed back to .04 on Linux
(Linux/20030109) This should really be .25 by default--you shouldn't have to
set this manually!