From b8b8761d80e6a4dcef2bd55778a246b9ae0dae6e Mon Sep 17 00:00:00 2001 From: Peter Bernard West Date: Mon, 24 Mar 2003 10:20:38 +0000 Subject: [PATCH] Moved to content/design/alt.design/properties git-svn-id: https://svn.apache.org/repos/asf/xmlgraphics/fop/trunk@196127 13f79535-47bb-0310-9956-ffa450edef68 --- .../alt.design/properties/codedisplay.js | 59 ------------------- 1 file changed, 59 deletions(-) delete mode 100644 src/documentation/resources/scripts/design/alt.design/properties/codedisplay.js 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; - } -} - -- 2.39.5