diff src/settings.sml @ 2097:9272476e2a1c

Client-side conversion of string to bool
author Adam Chlipala <adam@chlipala.net>
date Thu, 25 Dec 2014 18:32:27 -0500
parents 6b7749da1ddc
children 1f1575eff4b9
line wrap: on
line diff
--- a/src/settings.sml	Wed Dec 24 12:35:20 2014 -0500
+++ b/src/settings.sml	Thu Dec 25 18:32:27 2014 -0500
@@ -297,6 +297,8 @@
                           ("mouseEvent", "uw_mouseEvent"),
                           ("keyEvent", "uw_keyEvent"),
                           ("minTime", "0"),
+                          ("stringToBool_error", "s2be"),
+                          ("stringToBool", "s2b"),
 
                           ("islower", "isLower"),
                           ("isupper", "isUpper"),