comparison lib/ur/basis.urs @ 895:ae9e22822ec5

Key events get key code input
author Adam Chlipala <adamc@hcoop.net>
date Sat, 18 Jul 2009 12:53:26 -0400
parents a3f58978ff32
children ed06e25c70ef
comparison
equal deleted inserted replaced
894:a3f58978ff32 895:ae9e22822ec5
553 con focusEvents = [Onblur = transaction unit, Onfocus = transaction unit] 553 con focusEvents = [Onblur = transaction unit, Onfocus = transaction unit]
554 con mouseEvents = [Onclick = transaction unit, Ondblclick = transaction unit, 554 con mouseEvents = [Onclick = transaction unit, Ondblclick = transaction unit,
555 Onmousedown = transaction unit, Onmousemove = transaction unit, 555 Onmousedown = transaction unit, Onmousemove = transaction unit,
556 Onmouseout = transaction unit, Onmouseover = transaction unit, 556 Onmouseout = transaction unit, Onmouseover = transaction unit,
557 Onmouseup = transaction unit] 557 Onmouseup = transaction unit]
558 con keyEvents = [Onkeydown = transaction unit, Onkeypress = transaction unit, 558 con keyEvents = [Onkeydown = int -> transaction unit, Onkeypress = int -> transaction unit,
559 Onkeyup = transaction unit] 559 Onkeyup = int -> transaction unit]
560 (* Key arguments are character codes. *)
560 con resizeEvents = [Onresize = transaction unit] 561 con resizeEvents = [Onresize = transaction unit]
561 562
562 con boxEvents = focusEvents ++ mouseEvents ++ keyEvents ++ resizeEvents 563 con boxEvents = focusEvents ++ mouseEvents ++ keyEvents ++ resizeEvents
563 con tableEvents = focusEvents ++ mouseEvents ++ keyEvents 564 con tableEvents = focusEvents ++ mouseEvents ++ keyEvents
564 565