j
k
j a
j l
You can use -font 10 on the command line. I'm not sure on OS X, but there should be something like the .pdrc file. Cheers, Andres PD I get the digest, so someone has probably beaten me to answer.
Back to the thread
Back to the list