diff options
| -rw-r--r-- | src/documentation/resources/codedisplay.js | 46 |
1 files changed, 46 insertions, 0 deletions
diff --git a/src/documentation/resources/codedisplay.js b/src/documentation/resources/codedisplay.js new file mode 100644 index 000000000..4ad924886 --- /dev/null +++ b/src/documentation/resources/codedisplay.js @@ -0,0 +1,46 @@ +// $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; + } +} + |