From f85232947e74ee7ef8c7b0ad2338212e7e68f1be Mon Sep 17 00:00:00 2001 From: krasimir Date: Sun, 13 Dec 2009 18:50:29 +0000 Subject: reorganize the directories under src, and rescue the JavaScript interpreter from deprecated --- deprecated/old-lib/javascript/gflib-xhtml-voice.js | 54 ---------------------- 1 file changed, 54 deletions(-) delete mode 100644 deprecated/old-lib/javascript/gflib-xhtml-voice.js (limited to 'deprecated/old-lib/javascript/gflib-xhtml-voice.js') diff --git a/deprecated/old-lib/javascript/gflib-xhtml-voice.js b/deprecated/old-lib/javascript/gflib-xhtml-voice.js deleted file mode 100644 index fd8660100..000000000 --- a/deprecated/old-lib/javascript/gflib-xhtml-voice.js +++ /dev/null @@ -1,54 +0,0 @@ -/* Output */ - -function sayText(text) { - document.voice_output_text = text; - activateForm("voice_output"); -} - -/* XHTML+Voice Utilities */ - -function activateForm(formid) { - var form = document.getElementById(formid); - var e = document.createEvent("UIEvents"); - e.initEvent("DOMActivate","true","true"); - form.dispatchEvent(e); -} - - -/* DOM utilities */ - -/* Gets the head element of the document. */ -function getHeadElement() { - var hs = document.getElementsByTagName("head"); - if (hs.length == 0) { - var head = document.createElement("head"); - document.documentElement.insertBefore(head, document.documentElement.firstChild); - return head; - } else { - return hs[0]; - } -} - -/* Gets the body element of the document. */ -function getBodyElement() { - var bs = document.getElementsByTagName("body"); - if (bs.length == 0) { - var body = document.createElement("body"); - document.documentElement.appendChild(body); - return body; - } else { - return bs[0]; - } -} - -/* Removes all the children of a node */ -function removeChildren(node) { - while (node.hasChildNodes()) { - node.removeChild(node.firstChild); - } -} - -function setText(node, text) { - removeChildren(node); - node.appendChild(document.createTextNode(text)); -} -- cgit v1.2.3