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

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 (file)
index f45bab7..0000000
--- 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;
-    }
-}
-