| <%@ jet package="org.eclipse.e4.tools.orion.editor.builder" class="HTMLEditor" %> |
| <% EditorOptions options = (EditorOptions)argument; %> |
| <!DOCTYPE html> |
| <html> |
| <head> |
| <meta http-equiv="X-UA-Compatible" content="IE=edge" /> |
| <title>Theme CSS editor</title> |
| <style> |
| #editor { |
| //border: 1px solid teal; |
| position: absolute; |
| top: 0px; |
| left: 0px; |
| bottom: 0px; |
| right: 0px; |
| //margin: 20px; |
| margin: 0px; |
| } |
| |
| pre { |
| margin: 0px; |
| } |
| </style> |
| <link rel="stylesheet" type="text/css" href="<%= options.getEditorCssUrl() %>"/> |
| <script src="<%= options.getEditorJsUrl() %>"></script> |
| |
| <script> |
| function setOrionEditor(editor) { |
| window.editor = editor; |
| if (typeof orion_onLoad == 'function') orion_onLoad(); |
| } |
| </script> |
| |
| <% for (String script : options.getScripts()) { %> |
| <script> |
| <%= script %> |
| </script> |
| <% } %> |
| |
| </head> |
| <body spellcheck="false"> |
| <pre id="editor" class="editor" data-editor-lang="<%= options.getLang() %>" data-editor-show-folding-ruler="true" > |
| </pre> |
| </body> |
| </html> |
