+char *platform_default_s(char *name)
+{
+ if (!strcmp(name, "Font"))
+ return "Monaco";
+ return NULL;
+}
+
+int platform_default_i(char *name, int def)
+{
+ if (!strcmp(name, "FontHeight"))
+ return 9;
+ /* Non-raw cut and paste of line-drawing chars works badly on the
+ * current Unix stub implementation of the Unicode functions.
+ * So I'm going to temporarily set the default to raw mode so
+ * that the failure mode isn't quite so drastically horrid.
+ * When Unicode comes in, this can all be put right. */
+ if (!strcmp(name, "RawCNP"))
+ return 1;
+ return def;
+}
+