| 1234567891011121314151617181920212223242526272829303132333435363738394041424344 |
- <!DOCTYPE html>
- <html lang="en">
- <head>
- <meta charset="UTF-8">
- <meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1">
- <title>ACE Editor StatusBar Demo</title>
- <style type="text/css" media="screen">
- /*!important without this top: 0; bottom: 0 doesn't work on old ie */
- body, html {
- position: absolute;
- top: 0px; bottom: 0; left: 0; right: 0;
- margin:0; padding:0;
- overflow:hidden
- }
-
- #editor {
- margin: 0;
- position: absolute;
- top: 0; bottom: 0; left: 0; right: 0;
- }
- </style>
- </head>
- <body>
- <pre id="editor">
- require("ace/ext/old_ie");
- // now ace will work even on ie7!
- var editor = ace.edit("editor");
- </pre>
-
- <script src="../build/src/ace.js"></script>
- <script src="../build/src/ext-old_ie.js"></script>
- <script>
- // before creating an editor patch up things for old ie
- require("ace/ext/old_ie");
- // now ace will work even on ie7!
- var editor = ace.edit("editor");
- editor.setTheme("ace/theme/textmate");
- editor.session.setMode("ace/mode/javascript");
- </script>
- </body>
- </html>
|