comparison src/settings.sml @ 1986:b2254554542f

Add Datetime JavaScript support.
author Patrick Hurst <phurst@mit.edu>
date Mon, 17 Feb 2014 19:21:46 -0500
parents b15a4c2cb542
children 93ff76058825
comparison
equal deleted inserted replaced
1985:5195378deeca 1986:b2254554542f
329 ("addSeconds", "addSeconds"), 329 ("addSeconds", "addSeconds"),
330 ("diffInSeconds", "diffInSeconds"), 330 ("diffInSeconds", "diffInSeconds"),
331 ("toMilliseconds", "toMilliseconds"), 331 ("toMilliseconds", "toMilliseconds"),
332 ("diffInMilliseconds", "diffInMilliseconds"), 332 ("diffInMilliseconds", "diffInMilliseconds"),
333 333
334 ("fromDatetime", "fromDatetime"),
335 ("datetimeYear", "datetimeYear"),
336 ("datetimeMonth", "datetimeMonth"),
337 ("datetimeDay", "datetimeDay"),
338 ("datetimeHour", "datetimeHour"),
339 ("datetimeMinute", "datetimeMinute"),
340 ("datetimeSecond", "datetimeSecond"),
341 ("datetimeDayOfWeek", "datetimeDayOfWeek"),
342
343
334 ("onClick", "uw_onClick"), 344 ("onClick", "uw_onClick"),
335 ("onDblclick", "uw_onDblclick"), 345 ("onDblclick", "uw_onDblclick"),
336 ("onKeydown", "uw_onKeydown"), 346 ("onKeydown", "uw_onKeydown"),
337 ("onKeypress", "uw_onKeypress"), 347 ("onKeypress", "uw_onKeypress"),
338 ("onKeyup", "uw_onKeyup"), 348 ("onKeyup", "uw_onKeyup"),