diff options
| author | Egil Moeller <egil.moller@freecode.no> | 2010-03-21 23:33:06 +0100 |
|---|---|---|
| committer | Egil Moeller <egil.moller@freecode.no> | 2010-03-21 23:33:06 +0100 |
| commit | d56b9b3b82cdebcaeb00eec0fcb4326ad21adaa8 (patch) | |
| tree | b1dfe31956f3fc86e3408f1efac5e12acf65b11a /trunk/infrastructure/ace/www/index.html | |
| parent | c1894c8e0a52f4e3d2f89fa92f0066bbf0fcf1b1 (diff) | |
| parent | 103d4926ae6c61824dc0b48be7bf66f08830ed47 (diff) | |
| download | etherpad-d56b9b3b82cdebcaeb00eec0fcb4326ad21adaa8.tar.gz etherpad-d56b9b3b82cdebcaeb00eec0fcb4326ad21adaa8.tar.bz2 etherpad-d56b9b3b82cdebcaeb00eec0fcb4326ad21adaa8.zip | |
Merge branch 'master' of git@github.com:ether/pad
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> |