settings_menu.html 1.1 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849
  1. <!DOCTYPE html>
  2. <html lang="en">
  3. <head>
  4. <meta charset="UTF-8">
  5. <meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1">
  6. <title>Editor</title>
  7. <style type="text/css" media="screen">
  8. body {
  9. overflow: hidden;
  10. }
  11. #editor {
  12. margin: 0;
  13. position: absolute;
  14. top: 0;
  15. bottom: 0;
  16. left: 0;
  17. right: 0;
  18. }
  19. </style>
  20. </head>
  21. <body>
  22. <pre id="editor"></pre>
  23. <script src="kitchen-sink/require.js"></script>
  24. <script>
  25. // setup paths
  26. require.config({paths: { "ace" : "../lib/ace"}});
  27. // load ace and extensions
  28. require(["ace/ace", "ace/ext/settings_menu"], function(ace) {
  29. var editor = ace.edit("editor");
  30. ace.require('ace/ext/settings_menu').init(editor);
  31. editor.setTheme("ace/theme/twilight");
  32. editor.session.setMode("ace/mode/html");
  33. editor.commands.addCommands([{
  34. name: "showSettingsMenu",
  35. bindKey: {win: "Ctrl-q", mac: "Command-q"},
  36. exec: function(editor) {
  37. editor.showSettingsMenu();
  38. },
  39. readOnly: true
  40. }]);
  41. })
  42. </script>
  43. <script src="./show_own_source.js"></script>
  44. </body>
  45. </html>