Make the default font on Mac OS be Monaco 9 rather than Monaco 10, since the
[u/mdw/putty] / ldiscucs.c
2002-10-27 simonArrgh! _Another_ missed commit. I really must do someth...