comparison src/settings.sml @ 1988:abb6981a2c4c

Merge with small clean-ups
author Adam Chlipala <adam@chlipala.net>
date Tue, 18 Feb 2014 07:07:01 -0500
parents b2254554542f
children 93ff76058825
comparison
equal deleted inserted replaced
1970:6bea98c7f736 1988:abb6981a2c4c
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"),