Mercurial > urweb
comparison src/settings.sml @ 1685:225b87d4a7df
Basis.toMilliseconds and diffInMilliseconds, based on a patch from Gergely Buday
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 04 Feb 2012 11:01:06 -0500 |
parents | ac141fbb313a |
children | c414850f206f |
comparison
equal
deleted
inserted
replaced
1684:9dd8d47c3e58 | 1685:225b87d4a7df |
---|---|
284 ("timeToString", "showTime"), | 284 ("timeToString", "showTime"), |
285 ("htmlifyTime", "showTimeHtml"), | 285 ("htmlifyTime", "showTimeHtml"), |
286 ("toSeconds", "toSeconds"), | 286 ("toSeconds", "toSeconds"), |
287 ("addSeconds", "addSeconds"), | 287 ("addSeconds", "addSeconds"), |
288 ("diffInSeconds", "diffInSeconds"), | 288 ("diffInSeconds", "diffInSeconds"), |
289 ("toMilliseconds", "toMilliseconds"), | |
290 ("diffInMilliseconds", "diffInMilliseconds"), | |
289 | 291 |
290 ("onClick", "uw_onClick"), | 292 ("onClick", "uw_onClick"), |
291 ("onDblclick", "uw_onDblclick"), | 293 ("onDblclick", "uw_onDblclick"), |
292 ("onKeydown", "uw_onKeydown"), | 294 ("onKeydown", "uw_onKeydown"), |
293 ("onKeypress", "uw_onKeypress"), | 295 ("onKeypress", "uw_onKeypress"), |