diff options
author | Egil Moeller <egil.moller@freecode.no> | 2010-03-22 00:16:53 +0100 |
---|---|---|
committer | Egil Moeller <egil.moller@freecode.no> | 2010-03-22 00:16:53 +0100 |
commit | fc00cfedd6c25d1634a1e0d28a7b7bc5f42e1cd7 (patch) | |
tree | 928419d6bfe794865e4b8f0634bd792f795c4b8a /trunk/infrastructure/ace/www/index.html | |
parent | 0fdab3db005c4fa31fb8306b573c0b35073d3e56 (diff) | |
parent | d56b9b3b82cdebcaeb00eec0fcb4326ad21adaa8 (diff) | |
download | etherpad-fc00cfedd6c25d1634a1e0d28a7b7bc5f42e1cd7.tar.gz etherpad-fc00cfedd6c25d1634a1e0d28a7b7bc5f42e1cd7.tar.bz2 etherpad-fc00cfedd6c25d1634a1e0d28a7b7bc5f42e1cd7.zip |
Merge branch 'master' into plugin-framework
Diffstat (limited to 'trunk/infrastructure/ace/www/index.html')
-rw-r--r-- | trunk/infrastructure/ace/www/index.html | 50 |
1 files changed, 0 insertions, 50 deletions
diff --git a/trunk/infrastructure/ace/www/index.html b/trunk/infrastructure/ace/www/index.html deleted file mode 100644 index a1e6e96..0000000 --- a/trunk/infrastructure/ace/www/index.html +++ /dev/null @@ -1,50 +0,0 @@ -<!DOCTYPE html PUBLIC - "-//W3C//DTD XHTML 1.0 Transitional//EN" - "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> -<html> - <head> - <title>A Code Editor</title> - <script src="jquery-1.2.1.js"></script> - <!-- DEBUG --> - <script src="ace2_outer.js"></script> - <script src="firebug/firebugx.js"></script> - <!-- /DEBUG --> - <script src="testcode.js"></script> - <!-- PROD: <script src="ace2.js"></script> --> - <script> - $(document).ready(function() { - var editor = new Ace2Editor(); - editor.init("editorcontainer", getTestCode(), editorReady); - - editor.setOnKeyPress(function (evt) { - if (evt.ctrlKey && evt.which == "s".charCodeAt(0)) { - alert("You tried to save."); - return false; - } - return true; - }); - - function editorReady() { - resizeEditor(); - $(window).bind("resize", resizeEditor); - setTimeout(function() {editor.focus();}, 0); - } - - function resizeEditor() { - $("#editorcontainer").get(0).style.height = "100%"; - editor.getFrame().style.height = ((document.documentElement.clientHeight)-1)+"px"; - editor.adjustSize(); - } - }); - </script> - <style> - html { overflow: hidden } /* for Win IE 6 */ - body { margin:0; padding:0; border:0; overflow: hidden; } - #editorcontainer { height: 1000px; /* changed programmatically */ } - #editorcontainer iframe { width: 100%; height: 100%; border:0; padding:0; margin:0; } - </style> - </head> - <body> - <div id="editorcontainer"><!-- --></div> - </body> -</html> |