On Aug 07 at 11:05, Todd Wease spoke:
Here is the line I use in .gvimrc:
set guifont=Bitstream\ Vera\ Sans\ Mono\ 8
So try:
set guifont=Courier\ 11
Thanks for the clarification and the recommendation.
I have now chosen Bitstream\ Vera\ Sans\ Mono\ 9 for a screen of
resolution 1280x800.
-Hanspeter