diff config.bat @ 74114:cd686b5380c4

(realize_default_face): Check if the default font name exists on this display before trying to use it.
author Chong Yidong <cyd@stupidchicken.com>
date Tue, 21 Nov 2006 17:22:49 +0000
parents b99080e25b28
children ddcbd2c1b70d 72dea2ff0142
line wrap: on
line diff