# HG changeset patch # User Jason Rumney # Date 972672755 0 # Node ID d0421102ed8c60a3de4628d95ae7b1eea6f07cbb # Parent aa9dc4e7c5acde14f2cc2f049e13fe66cf361daa (Fx_create_frame): Make default fontsize on w32 10 point, as Windows has oversized fonts. diff -r aa9dc4e7c5ac -r d0421102ed8c src/w32fns.c --- a/src/w32fns.c Fri Oct 27 18:52:28 2000 +0000 +++ b/src/w32fns.c Fri Oct 27 18:52:35 2000 +0000 @@ -5172,7 +5172,7 @@ } /* Try out a font which we hope has bold and italic variations. */ if (!STRINGP (font)) - font = x_new_font (f, "-*-Courier New-normal-r-*-*-*-120-*-*-c-*-iso8859-1"); + font = x_new_font (f, "-*-Courier New-normal-r-*-*-*-100-*-*-c-*-iso8859-1"); if (! STRINGP (font)) font = x_new_font (f, "-*-Courier-normal-r-*-*-13-*-*-*-c-*-iso8859-1"); /* If those didn't work, look for something which will at least work. */ @@ -12012,7 +12012,7 @@ /* Try out a font which we hope has bold and italic variations. */ if (!STRINGP (font)) - font = x_new_font (f, "-adobe-courier-medium-r-*-*-*-120-*-*-*-*-iso8859-1"); + font = x_new_font (f, "-*-courier new-normal-r-*-*-*-100-*-*-*-*-iso8859-1"); if (!STRINGP (font)) font = x_new_font (f, "-misc-fixed-medium-r-normal-*-*-140-*-*-c-*-iso8859-1"); if (! STRINGP (font))