diff options
-rw-r--r-- | src/documentation/resources/scripts/design/alt.design/properties/codedisplay.js | 59 |
1 files changed, 0 insertions, 59 deletions
diff --git a/src/documentation/resources/scripts/design/alt.design/properties/codedisplay.js b/src/documentation/resources/scripts/design/alt.design/properties/codedisplay.js deleted file mode 100644 index f45bab796..000000000 --- a/src/documentation/resources/scripts/design/alt.design/properties/codedisplay.js +++ /dev/null @@ -1,59 +0,0 @@ -// $Id$ -var showing = new Array(); -var x = new Array(); // scrollX -var y = new Array(); // scrollY - -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) { - if (window.scrollX != undefined) { - x[id] = window.scrollX; - y[id] = window.scrollY; - } - var parent = document.getElementById(id); - var span = document.createElement('SPAN'); - parent.appendChild(span); - var br = document.createElement('BR'); - var iframe = document.createElement('IFRAME'); - iframe.setAttribute('src', src); - iframe.setAttribute('height', height); - iframe.setAttribute('width', width); - span.appendChild(br); - span.appendChild(iframe); - //parent.replaceChild(iframe, parent.lastChild); - // window.scrollTo(x[id],y[id]); - 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); - if (x[id] != undefined) { - window.scrollTo(x[id],y[id]); - } - showing[id] = false; - } else { - alert( - "Requires Navigator >= 7, Mozilla >= 1.2.1 or IE >= 6"); - return; - } -} - |