summaryrefslogtreecommitdiff
path: root/old-lib/javascript/gflib-xhtml-voice.js
diff options
context:
space:
mode:
authoraarne <aarne@chalmers.se>2009-12-09 09:47:16 +0000
committeraarne <aarne@chalmers.se>2009-12-09 09:47:16 +0000
commitc8ceed08efcc0bdc1fcbd89bce643d9f52f0991b (patch)
tree5f0b314341c129eba1bc67b8b887fb8a4486fad8 /old-lib/javascript/gflib-xhtml-voice.js
parent101df06f6c8380328d4266adadac3ab6d1bac0b3 (diff)
moving a few things to deprecated
Diffstat (limited to 'old-lib/javascript/gflib-xhtml-voice.js')
-rw-r--r--old-lib/javascript/gflib-xhtml-voice.js54
1 files changed, 0 insertions, 54 deletions
diff --git a/old-lib/javascript/gflib-xhtml-voice.js b/old-lib/javascript/gflib-xhtml-voice.js
deleted file mode 100644
index fd8660100..000000000
--- a/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));
-}