1234567891011121314151617181920212223242526272829303132333435363738394041424344454647 |
- <!DOCTYPE html>
- <html lang="en">
- <head>
- <meta charset="UTF-8">
- <meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1">
- <title>Editor</title>
- <style type="text/css" media="screen">
- body {
- overflow: hidden;
- }
-
- #editor {
- margin: 0;
- position: absolute;
- top: 0;
- bottom: 0;
- left: 0;
- right: 0;
- }
- </style>
- </head>
- <body>
- <pre id="editor"></pre>
-
- <!-- load ace -->
- <script src="../src/ace.js"></script>
- <!-- load ace settings_menu extension -->
- <script src="../src/ext-settings_menu.js"></script>
- <script>
- var editor = ace.edit("editor");
- ace.require('ace/ext/settings_menu').init(editor);
- editor.setTheme("ace/theme/twilight");
- editor.session.setMode("ace/mode/html");
- editor.commands.addCommands([{
- name: "showSettingsMenu",
- bindKey: {win: "Ctrl-q", mac: "Ctrl-q"},
- exec: function(editor) {
- editor.showSettingsMenu();
- },
- readOnly: true
- }]);
- </script>
- <script src="./show_own_source.js"></script>
- </body>
- </html>
|