X-Git-Url: https://git.distorted.org.uk/u/mdw/putty/blobdiff_plain/1409c1b3e8a10189f89c4f50609cd5d1c8221385..5a9eb1056517b6ee6efa526a3a6b5a21aa802648:/putty.h

diff --git a/putty.h b/putty.h
index 93fef20c..c4e6d987 100644
--- a/putty.h
+++ b/putty.h
@@ -482,6 +482,18 @@ void do_defaults(char *, Config *);
 void registry_cleanup(void);
 
 /*
+ * Functions used by settings.c to provide platform-specific
+ * default settings.
+ * 
+ * (The integer one is expected to return `def' if it has no clear
+ * opinion of its own. This is because there's no integer value
+ * which I can reliably set aside to indicate `nil'. The string
+ * function is perfectly all right returning NULL, of course.)
+ */
+char *platform_default_s(char *name);
+int platform_default_i(char *name, int def);
+
+/*
  * Exports from terminal.c.
  */