diff options
Diffstat (limited to 'src/documentation/resources/codedisplay.js')
-rw-r--r-- | src/documentation/resources/codedisplay.js | 46 |
1 files changed, 0 insertions, 46 deletions
diff --git a/src/documentation/resources/codedisplay.js b/src/documentation/resources/codedisplay.js deleted file mode 100644 index 4ad924886..000000000 --- a/src/documentation/resources/codedisplay.js +++ /dev/null @@ -1,46 +0,0 @@ -// $Id$ -var showing = new Array(); - -function toggleCode(id, src, height, width) { - //alert('In toggleCode'); - if (showing[id]) { - hideCode(id); - } else { - showCode(id, src, height, width); - } -} - -function showCode(id, src, height, width) { - //alert('In showCode'); - if (showing[id]) { return; } - if (document.getElementById && document.createElement) { - var parent = document.getElementById(id); - var span = document.createElement('SPAN'); - parent.appendChild(span); - var iframe = document.createElement('IFRAME'); - iframe.setAttribute('src', src); - iframe.setAttribute('height', height); - iframe.setAttribute('width', width); - parent.replaceChild(iframe, parent.lastChild); - showing[id] = true; - } else { - alert( - "Requires Navigator >= 7, Mozilla >= 1.2.1 or IE >= 6"); - return; - } -} - -function hideCode(id) { - //alert('In hideCode'); - if ( ! showing[id]) { return; } - if (document.getElementById && document.createElement) { - var parent = document.getElementById(id); - parent.removeChild(parent.lastChild); - showing[id] = false; - } else { - alert( - "Requires Navigator >= 7, Mozilla >= 1.2.1 or IE >= 6"); - return; - } -} - |