diff --git a/web/CXM_making_a_web_site.anubis b/web/CXM_making_a_web_site.anubis index 8b18e6b..bc85b21 100644 --- a/web/CXM_making_a_web_site.anubis +++ b/web/CXM_making_a_web_site.anubis @@ -934,25 +934,86 @@ public define Printable_tree [InitialValue x . Printable_tree y] = str_pt(x.valu public type HtmlEvents: + // Window Event Attributes + onafterprint, //HTML5 Script to be run after the document is printed + onbeforeprint, //HTML5 Script to be run before the document is printed + onbeforeunload, //HTML5 Script to be run when the document is about to be unloaded + onerror, //HTML5 Script to be run when an error occurs + onhashchange, //HTML5 Script to be run when there has been changes to the anchor part of the a URL + onload, // Fires after the page is finished loading + onmessage, //HTML5 Script to be run when the message is triggered + onoffline, //HTML5 Script to be run when the browser starts to work offline + ononline, //HTML5 Script to be run when the browser starts to work online + onpagehide, //HTML5 Script to be run when a user navigates away from a page + onpageshow, //HTML5 Script to be run when a user navigates to a page + onpopstate, //HTML5 Script to be run when the window's history changes + onresize, //HTML5 Fires when the browser window is resized + onstorage, //HTML5 Script to be run when a Web Storage area is updated + onunload, // Fires once a page has unloaded (or the browser window has been closed) // Form element events - onchange, - onsubmit, - onreset, - onselect, - onblur, - onfocus, + onblur, // Fires the moment that the element loses focus + onchange, // Fires the moment when the value of the element is changed + oncontextmenu, //HTML5 Script to be run when a context menu is triggered + onfocus, // Fires the moment when the element gets focus + oninput, //HTML5 Script to be run when an element gets user input + oninvalid, //HTML5 Script to be run when an element is invalid + onreset, // Fires when the Reset button in a form is clicked + onsearch, // Fires when the user writes something in a search field (for ) + onselect, // Fires after some text has been selected in an element + onsubmit, // Fires when a form is submitted // Keyboard events (Not valid in base, bdo, br, frame, frameset, head, html, iframe, meta, param, script, style, and title elements.) - onkeydown, - onkeypress, - onkeyup, + onkeydown, // Fires when a user is pressing a key + onkeypress, // Fires when a user presses a key + onkeyup, // Fires when a user releases a key // Mouse events (Not valid in base, bdo, br, frame, frameset, head, html, iframe, meta, param, script, style, and title elements.) - onclick, - ondblclick, - onmousedown, - onmousemove, - onmouseout, - onmouseover, - onmouseup. + onclick, // Fires on a mouse click on the element + ondblclick, // Fires on a mouse double-click on the element + onmousedown, // Fires when a mouse button is pressed down on an element + onmousemove, // Fires when the mouse pointer is moving while it is over an element + onmouseout, // Fires when the mouse pointer moves out of an element + onmouseover, // Fires when the mouse pointer moves over an element + onmouseup, // Fires when a mouse button is released over an element + onwheel, //HTML5 Fires when the mouse wheel rolls up or down over an element + //Drag Events + ondrag, //HMTL5 Script to be run when an element is dragged + ondragend, //HTML5 Script to be run at the end of a drag operation + ondragenter, //HTML5 Script to be run when an element has been dragged to a valid drop target + ondragleave, //HTML5 Script to be run when an element leaves a valid drop target + ondragover, //HTML5 Script to be run when an element is being dragged over a valid drop target + ondragstart, //HTML5 Script to be run at the start of a drag operation + ondrop, //HTML5 Script to be run when dragged element is being dropped + onscroll, //HTML5 Script to be run when an element's scrollbar is being scrolled + //Clipboard Events + oncopy, //HTML5 Fires when the user copies the content of an element + oncut, //HTML5 Fires when the user cuts the content of an element + onpaste, //HTML5 Fires when the user pastes some content in an element + //Media Events + onabort, //HTML5 Script to be run on abort + oncanplay, //HTML5 Script to be run when a file is ready to start playing (when it has buffered enough to begin) + oncanplaythrough, //HTML5 Script to be run when a file can be played all the way to the end without pausing for buffering + oncuechange, //HTML5 Script to be run when the cue changes in a element + ondurationchange, //HTML5 Script to be run when the length of the media changes + onemptied, //HTML5 Script to be run when something bad happens and the file is suddenly unavailable (like unexpectedly disconnects) + onended, //HTML5 Script to be run when the media has reach the end (a useful event for messages like "thanks for listening") + onerror, //HTML5 Script to be run when an error occurs when the file is being loaded + onloadeddata, //HTML5 Script to be run when media data is loaded + onloadedmetadata, //HTML5 Script to be run when meta data (like dimensions and duration) are loaded + onloadstart, //HTML5 Script to be run just as the file begins to load before anything is actually loaded + onpause, //HTML5 Script to be run when the media is paused either by the user or programmatically + onplay, //HTML5 Script to be run when the media is ready to start playing + onplaying, //HTML5 Script to be run when the media actually has started playing + onprogress, //HTML5 Script to be run when the browser is in the process of getting the media data + onratechange, //HTML5 Script to be run each time the playback rate changes (like when a user switches to a slow motion or fast forward mode) + onseeked, //HTML5 Script to be run when the seeking attribute is set to false indicating that seeking has ended + onseeking, //HTML5 Script to be run when the seeking attribute is set to true indicating that seeking is active + onstalled, //HTML5 Script to be run when the browser is unable to fetch the media data for whatever reason + onsuspend, //HTML5 Script to be run when fetching the media data is stopped before it is completely loaded for whatever reason + ontimeupdate, //HTML5 Script to be run when the playing position has changed (like when the user fast forwards to a different point in the media) + onvolumechange, //HTML5 Script to be run each time the volume is changed which (includes setting the volume to "mute") + onwaiting, //HTML5 Script to be run when the media has paused but is expected to resume (like when the media pauses to buffer more data) + //Misc Events + onshow, //HTML5 Fires when a element is shown as a context menu + ontoggle. //HTML5 Fires when the user opens or closes the
element public type CoreAttrs: id (String), @@ -1031,25 +1092,85 @@ define String event_name ) = if e is { + onafterprint then "onafterprint", //HTML5 Script to be run after the document is printed + onbeforeprint then "onbeforeprint", //HTML5 Script to be run before the document is printed + onbeforeunload then "onbeforeunload", //HTML5 Script to be run when the document is about to be unloaded + onerror then "onerror", //HTML5 Script to be run when an error occurs + onhashchange then "onhashchange", //HTML5 Script to be run when there has been changes to the anchor part of the a URL + onload then "onload", // Fires after the page is finished loading + onmessage then "onmessage", //HTML5 Script to be run when the message is triggered + onoffline then "onoffline", //HTML5 Script to be run when the browser starts to work offline + ononline then "ononline", //HTML5 Script to be run when the browser starts to work online + onpagehide then "onpagehide", //HTML5 Script to be run when a user navigates away from a page + onpageshow then "onpageshow", //HTML5 Script to be run when a user navigates to a page + onpopstate then "onpopstate", //HTML5 Script to be run when the window's history changes + onresize then "onresize", //HTML5 Fires when the browser window is resized + onstorage then "onstorage", //HTML5 Script to be run when a Web Storage area is updated + onunload then "onunload", // Fires once a page has unloaded (or the browser window has been closed) // Form element events - onchange then "onchange", - onsubmit then "onsubmit", - onreset then "onreset", - onselect then "onselect", - onblur then "onblur", - onfocus then "onfocus", - // Keyboard events - onkeydown then "onkeydown", - onkeypress then "onkeypress", - onkeyup then "onkeyup", - // Mouse events - onclick then "onclick", - ondblclick then "ondblclick", - onmousedown then "onmousedown", - onmousemove then "onmousemove", - onmouseout then "onmouseout", - onmouseover then "onmouseover", - onmouseup then "onmouseup" + onblur then "onblur", // Fires the moment that the element loses focus + onchange then "onchange", // Fires the moment when the value of the element is changed + oncontextmenu then "oncontextmenu", //HTML5 Script to be run when a context menu is triggered + onfocus then "onfocus", // Fires the moment when the element gets focus + oninput then "oninput", //HTML5 Script to be run when an element gets user input + oninvalid then "oninvalid", //HTML5 Script to be run when an element is invalid + onreset then "onreset", // Fires when the Reset button in a form is clicked + onsearch then "onsearch", // Fires when the user writes something in a search field (for ) + onselect then "onselect", // Fires after some text has been selected in an element + onsubmit then "onsubmit", // Fires when a form is submitted + // Keyboard events (Not valid in base, bdo, br, frame, frameset, head, html, iframe, meta, param, script, style, and title elements.) + onkeydown then "onkeydown", // Fires when a user is pressing a key + onkeypress then "onkeypress", // Fires when a user presses a key + onkeyup then "onkeyup", // Fires when a user releases a key + // Mouse events (Not valid in base, bdo, br, frame, frameset, head, html, iframe, meta, param, script, style, and title elements.) + onclick then "onclick", // Fires on a mouse click on the element + ondblclick then "ondblclick", // Fires on a mouse double-click on the element + onmousedown then "onmousedown", // Fires when a mouse button is pressed down on an element + onmousemove then "onmousemove", // Fires when the mouse pointer is moving while it is over an element + onmouseout then "onmouseout", // Fires when the mouse pointer moves out of an element + onmouseover then "onmouseover", // Fires when the mouse pointer moves over an element + onmouseup then "onmouseup", // Fires when a mouse button is released over an element + onwheel then "onwheel", //HTML5 Fires when the mouse wheel rolls up or down over an element + //Drag Events + ondrag then "ondrag", //HMTL5 Script to be run when an element is dragged + ondragend then "ondragend", //HTML5 Script to be run at the end of a drag operation + ondragenter then "ondragenter", //HTML5 Script to be run when an element has been dragged to a valid drop target + ondragleave then "ondragleave", //HTML5 Script to be run when an element leaves a valid drop target + ondragover then "ondragover", //HTML5 Script to be run when an element is being dragged over a valid drop target + ondragstart then "ondragstart", //HTML5 Script to be run at the start of a drag operation + ondrop then "ondrop", //HTML5 Script to be run when dragged element is being dropped + onscroll then "onscroll", //HTML5 Script to be run when an element's scrollbar is being scrolled + //Clipboard Events + oncopy then "oncopy", //HTML5 Fires when the user copies the content of an element + oncut then "oncut", //HTML5 Fires when the user cuts the content of an element + onpaste then "onpaste", //HTML5 Fires when the user pastes some content in an element + //Media Events + onabort then "onabort", //HTML5 Script to be run on abort + oncanplay then "oncanplay", //HTML5 Script to be run when a file is ready to start playing (when it has buffered enough to begin) + oncanplaythrough then "oncanplaythrough", //HTML5 Script to be run when a file can be played all the way to the end without pausing for buffering + oncuechange then "oncuechange", //HTML5 Script to be run when the cue changes in a element + ondurationchange then "ondurationchange", //HTML5 Script to be run when the length of the media changes + onemptied then "onemptied", //HTML5 Script to be run when something bad happens and the file is suddenly unavailable (like unexpectedly disconnects) + onended then "onended", //HTML5 Script to be run when the media has reach the end (a useful event for messages like "thanks for listening") + onerror then "onerror", //HTML5 Script to be run when an error occurs when the file is being loaded + onloadeddata then "onloadeddata", //HTML5 Script to be run when media data is loaded + onloadedmetadata then "onloadedmetadata", //HTML5 Script to be run when meta data (like dimensions and duration) are loaded + onloadstart then "onloadstart", //HTML5 Script to be run just as the file begins to load before anything is actually loaded + onpause then "onpause", //HTML5 Script to be run when the media is paused either by the user or programmatically + onplay then "onplay", //HTML5 Script to be run when the media is ready to start playing + onplaying then "onplaying", //HTML5 Script to be run when the media actually has started playing + onprogress then "onprogress", //HTML5 Script to be run when the browser is in the process of getting the media data + onratechange then "onratechange", //HTML5 Script to be run each time the playback rate changes (like when a user switches to a slow motion or fast forward mode) + onseeked then "onseeked", //HTML5 Script to be run when the seeking attribute is set to false indicating that seeking has ended + onseeking then "onseeking", //HTML5 Script to be run when the seeking attribute is set to true indicating that seeking is active + onstalled then "onstalled", //HTML5 Script to be run when the browser is unable to fetch the media data for whatever reason + onsuspend then "onsuspend", //HTML5 Script to be run when fetching the media data is stopped before it is completely loaded for whatever reason + ontimeupdate then "ontimeupdate", //HTML5 Script to be run when the playing position has changed (like when the user fast forwards to a different point in the media) + onvolumechange then "onvolumechange", //HTML5 Script to be run each time the volume is changed which (includes setting the volume to "mute") + onwaiting then "onwaiting", //HTML5 Script to be run when the media has paused but is expected to resume (like when the media pauses to buffer more data) + //Misc Events + onshow then "onshow", //HTML5 Fires when a element is shown as a context menu + ontoggle then "ontoggle" }. public type Table_Option: -- libgit2 0.21.4