80e186d14685b448c32162fed215e7535011fedd
2 * windefs.c: default settings that are specific to Windows.
13 char *platform_default_s(const char *name
)
15 if (!strcmp(name
, "Font"))
20 int platform_default_i(const char *name
, int def
)
22 if (!strcmp(name
, "FontCharSet"))