HowToGuide/svgScript.js at master · fitzk/HowToGuide · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
require([
		"CodeMirror/lib/codemirror", "CodeMirror/mode/htmlmixed/htmlmixed"
	], function (CodeMirror) {
	var editor0 = CodeMirror.fromTextArea(document.getElementById("code0"), {
			lineNumbers : true,
			mode : "htmlmixed"
		});

	editor0.setOption("theme", 'solarized');
	editor0.setOption("readOnly", true);

	var editor2 = CodeMirror.fromTextArea(document.getElementById("code2"), {
			lineNumbers : true,
			mode : "htmlmixed"
		});

	editor2.setOption("theme", 'solarized');
	editor2.setOption("readOnly", true);

});

require([
		"CodeMirror/lib/codemirror", "CodeMirror/mode/javascript/javascript.js"
	], function (CodeMirror) {

	var editor1 = CodeMirror.fromTextArea(document.getElementById("code1"), {
			lineNumbers : true,
			mode : "javascript"
		});
	editor1.setOption("theme", 'solarized');
	editor1.setOption("readOnly", true);

	var editor3 = CodeMirror.fromTextArea(document.getElementById("code3"), {
			lineNumbers : true,
			mode : "javascript"
		});
	editor3.setOption("theme", 'solarized');
	editor3.setOption("readOnly", true);
});