diff options
author | Peter Bernard West <pbwest@apache.org> | 2003-03-09 03:45:12 +0000 |
---|---|---|
committer | Peter Bernard West <pbwest@apache.org> | 2003-03-09 03:45:12 +0000 |
commit | 382698d9ff821b68b1bda383a6841459ed8b6928 (patch) | |
tree | ab4432339a625d187fed7f3f02e39f7517de88b4 /src/documentation/resources | |
parent | 71d81acc155785497b149eda8fc9d29c7ee605b7 (diff) | |
download | xmlgraphics-fop-382698d9ff821b68b1bda383a6841459ed8b6928.tar.gz xmlgraphics-fop-382698d9ff821b68b1bda383a6841459ed8b6928.zip |
Moved to design/alt.design/properties
git-svn-id: https://svn.apache.org/repos/asf/xmlgraphics/fop/trunk@196050 13f79535-47bb-0310-9956-ffa450edef68
Diffstat (limited to 'src/documentation/resources')
-rw-r--r-- | src/documentation/resources/scripts/codedisplay.js | 46 |
1 files changed, 0 insertions, 46 deletions
diff --git a/src/documentation/resources/scripts/codedisplay.js b/src/documentation/resources/scripts/codedisplay.js deleted file mode 100644 index 4ad924886..000000000 --- a/src/documentation/resources/scripts/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; - } -} - |