comparison src/settings.sml @ 1290:6791454653c5

Confirm boxes; proper event handler setting for ctags
author Adam Chlipala <adam@chlipala.net>
date Sun, 22 Aug 2010 19:45:07 -0400
parents fc7ecf8883b1
children acabf3935060
comparison
equal deleted inserted replaced
1289:3b22c3c67f35 1290:6791454653c5
108 "new_client_source", 108 "new_client_source",
109 "get_client_source", 109 "get_client_source",
110 "set_client_source", 110 "set_client_source",
111 "current", 111 "current",
112 "alert", 112 "alert",
113 "confirm",
113 "onError", 114 "onError",
114 "onFail", 115 "onFail",
115 "onConnectFail", 116 "onConnectFail",
116 "onDisconnect", 117 "onDisconnect",
117 "onServerError", 118 "onServerError",
125 126
126 val clientBase = basis ["get", 127 val clientBase = basis ["get",
127 "set", 128 "set",
128 "current", 129 "current",
129 "alert", 130 "alert",
131 "confirm",
130 "recv", 132 "recv",
131 "sleep", 133 "sleep",
132 "spawn", 134 "spawn",
133 "onError", 135 "onError",
134 "onFail", 136 "onFail",
152 fun isServerOnly x = S.member (!server, x) 154 fun isServerOnly x = S.member (!server, x)
153 155
154 val basisM = foldl (fn ((k, v : string), m) => M.insert (m, ("Basis", k), v)) M.empty 156 val basisM = foldl (fn ((k, v : string), m) => M.insert (m, ("Basis", k), v)) M.empty
155 157
156 val jsFuncsBase = basisM [("alert", "alert"), 158 val jsFuncsBase = basisM [("alert", "alert"),
159 ("confirm", "confrm"),
157 ("get_client_source", "sg"), 160 ("get_client_source", "sg"),
158 ("current", "scur"), 161 ("current", "scur"),
159 ("htmlifyBool", "bs"), 162 ("htmlifyBool", "bs"),
160 ("htmlifyFloat", "ts"), 163 ("htmlifyFloat", "ts"),
161 ("htmlifyInt", "ts"), 164 ("htmlifyInt", "ts"),