diff options
author | Alexander Sulfrian <alexander@sulfrian.net> | 2010-06-08 08:22:05 +0200 |
---|---|---|
committer | Alexander Sulfrian <alexander@sulfrian.net> | 2010-06-08 08:22:05 +0200 |
commit | d7c5ad7d6263fd1baf9bfdbaa4c50b70ef2fbdb2 (patch) | |
tree | ae0b65da6432f4c26c8d5a7319efbda5d172846c /infrastructure/ace/www/dev.html | |
parent | fa61221dcd89fcd72cba2c97971626f456c86e5d (diff) | |
download | etherpad-d7c5ad7d6263fd1baf9bfdbaa4c50b70ef2fbdb2.tar.gz etherpad-d7c5ad7d6263fd1baf9bfdbaa4c50b70ef2fbdb2.tar.bz2 etherpad-d7c5ad7d6263fd1baf9bfdbaa4c50b70ef2fbdb2.zip |
reverted folder structure change for better mergeing with upstream
Diffstat (limited to 'infrastructure/ace/www/dev.html')
-rw-r--r-- | infrastructure/ace/www/dev.html | 39 |
1 files changed, 0 insertions, 39 deletions
diff --git a/infrastructure/ace/www/dev.html b/infrastructure/ace/www/dev.html deleted file mode 100644 index 0a9768e..0000000 --- a/infrastructure/ace/www/dev.html +++ /dev/null @@ -1,39 +0,0 @@ -<!DOCTYPE html PUBLIC - "-//W3C//DTD XHTML 1.0 Transitional//EN" - "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html debug="true"> - <head> - <script src="jquery-1.2.1.js"></script> - <script src="ace2_common.js"></script> - <script src="ace2_outer.js"></script> - <script src="firebug/firebug.js"></script> - <script> -function updateHTMLDisplay(html) { - $("#htmldisplay").html(html); -} - -function addMessage(str) { - var li = document.createElement("li"); - li.innerHTML = str; - $("#messages").prepend(li); -} - </script> - <style> - #devstuff { - background-color: #ddd; - padding: 1em; - } - #iframecontainer iframe { width: 500px; height: 300px; } - </style> - </head> - <body> - <div id="iframecontainer"><!-- --></div> - <hr> - <div id="devstuff"> - <p><input type="text" id="cmdinput" size="100"> - <button onclick="$('#cmdresult').html(htmlPrettyEscape(String(eval($('#cmdinput').get(0).value))))">Execute</button></p> - <p id="cmdresult"><!-- --></p> - <p id="htmldisplay"><!-- --></p> - <ul id="messages"><!-- --></ul> - </div> - </body> -</html> |