You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
57 lines
1.3 KiB
HTML
57 lines
1.3 KiB
HTML
10 years ago
|
<!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">
|
||
|
|
|
||
|
|
.ace_editor {
|
||
|
|
position: relative !important;
|
||
|
|
border: 1px solid lightgray;
|
||
|
|
margin: auto;
|
||
|
|
height: 200px;
|
||
|
|
width: 80%;
|
||
|
|
}
|
||
|
|
.scrollmargin {
|
||
|
|
height: 100px;
|
||
|
|
text-align: center;
|
||
|
|
}
|
||
|
|
</style>
|
||
|
|
</head>
|
||
|
|
<body>
|
||
|
|
<pre id="editor1">autoresizing editor</pre>
|
||
|
|
<div class="scrollmargin"></div>
|
||
|
|
<pre id="editor2">minHeight = 2 lines</pre>
|
||
|
|
<div class="scrollmargin"></div>
|
||
|
|
<pre id="editor"></pre>
|
||
|
|
|
||
|
|
<script src="../src/ace.js"></script>
|
||
|
|
<script>
|
||
|
|
|
||
|
|
var editor1 = ace.edit("editor1");
|
||
|
|
editor1.setTheme("ace/theme/tomorrow_night_eighties");
|
||
|
|
editor1.session.setMode("ace/mode/html");
|
||
|
|
editor1.setAutoScrollEditorIntoView(true);
|
||
|
|
editor1.setOption("maxLines", 30);
|
||
|
|
|
||
|
|
var editor2 = ace.edit("editor2");
|
||
|
|
editor2.setTheme("ace/theme/tomorrow_night_blue");
|
||
|
|
editor2.session.setMode("ace/mode/html");
|
||
|
|
editor2.setAutoScrollEditorIntoView(true);
|
||
|
|
editor2.setOption("maxLines", 30);
|
||
|
|
editor2.setOption("minLines", 2);
|
||
|
|
|
||
|
|
var editor = ace.edit("editor");
|
||
|
|
editor.setTheme("ace/theme/tomorrow");
|
||
|
|
editor.session.setMode("ace/mode/html");
|
||
|
|
editor.setAutoScrollEditorIntoView(true);
|
||
|
|
editor.setOption("maxLines", 100);
|
||
|
|
|
||
|
|
</script>
|
||
|
|
|
||
|
|
<script src="./show_own_source.js"></script>
|
||
|
|
|
||
|
|
</body>
|
||
|
|
</html>
|