From d1e09e2e6f9db62bbab84abb53e23ee73764178a Mon Sep 17 00:00:00 2001 From: Derrell Lipman Date: Sun, 31 Dec 2006 20:12:12 +0000 Subject: r20446: rename swat directory to swat.obsolete; keeping it around since there is lots of useful info in it. (This used to be commit 5f9f72a9cfab80561b23284001b67c4ea961757b) --- swat/scripting/client/js_scripts.js | 60 ------------------------------------- 1 file changed, 60 deletions(-) delete mode 100644 swat/scripting/client/js_scripts.js (limited to 'swat/scripting/client/js_scripts.js') diff --git a/swat/scripting/client/js_scripts.js b/swat/scripting/client/js_scripts.js deleted file mode 100644 index 1c6e5806f4..0000000000 --- a/swat/scripting/client/js_scripts.js +++ /dev/null @@ -1,60 +0,0 @@ -/* - Beginnnigs of a script manager for SWAT. - - Copyright (C) Deryck Hodge 2005 - released under the GNU GPL Version 2 or later -*/ - -var head = document.getElementsByTagName('head')[0]; -var scripts = document.getElementsByTagName('script'); - -function __has_js_script(file) -{ - var i; - for (i=0; i -1) { - return true; - } else { - return false; - } - } -} - -function __get_js_script(file) -{ - var i; - for (i=0; i -1) { - return scripts[i]; - } - } -} - -function __add_js_script(path) -{ - // Create a unique ID for this script - var srcID = new Date().getTime(); - - var script = document.createElement('script'); - script.type = 'text/javascript'; - script.id = srcID; - - head.appendChild(script); - - // IE works only with the path set after appending to the document - document.getElementById(srcID).src = path; -} - -function __remove_js_script(path) -{ - var script = __get_js_script(path); - script.parentNode.removeChild(script); -} - -document.js = new Object(); -document.js.scripts = scripts; -document.js.hasScript = __has_js_script; -document.js.getScript = __get_js_script; -document.js.add = __add_js_script; -document.js.remove = __remove_js_script; - -- cgit