aboutsummaryrefslogtreecommitdiffstats
path: root/src/documentation/resources/codedisplay.js
diff options
context:
space:
mode:
Diffstat (limited to 'src/documentation/resources/codedisplay.js')
-rw-r--r--src/documentation/resources/codedisplay.js46
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;
- }
-}
-