DOM HTML binding
This is a partial binding to the DOM HTML API.
The type of event listener functions. The first type parameter
'a
is the type of the target object; the second parameter
'b
is the type of the event object.
Properties common to all HTML elements
Location information
Undo manager
Call the appropriate requestAnimationFrame
method variant
(depending on the navigator), or sleep for a short amount
of time when there no such method is provided. We currently
prefix the function name with as underscore as the interface of
this function is not completely standardized yet. Thus, we leave
the room to a function with a possibly refined type.
Add an event listener. This function matches the
addEventListener
DOM method, except that it returns
an id for removing the listener.
Add a mousewheel event listener. The callback is provided the event and the numbers of ticks the mouse wheel moved. Positive means down / right.
Returns the absolute position of the mouse pointer.
Viewport top/left position
HTMLElement
Event