annotate .cms/lib/codemirror/mode/cobol/index.html @ 1:1d486627aa1e draft default tip

24.10
author Coffee CMS <info@coffee-cms.ru>
date Sat, 12 Oct 2024 02:51:39 +0000
parents 78edf6b517a0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
1 <!doctype html>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
2
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
3 <title>CodeMirror: COBOL mode</title>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
4 <meta charset="utf-8"/>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
5 <link rel=stylesheet href="../../doc/docs.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
6
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
7 <link rel="stylesheet" href="../../lib/codemirror.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
8 <link rel="stylesheet" href="../../theme/neat.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
9 <link rel="stylesheet" href="../../theme/elegant.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
10 <link rel="stylesheet" href="../../theme/erlang-dark.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
11 <link rel="stylesheet" href="../../theme/night.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
12 <link rel="stylesheet" href="../../theme/monokai.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
13 <link rel="stylesheet" href="../../theme/cobalt.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
14 <link rel="stylesheet" href="../../theme/eclipse.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
15 <link rel="stylesheet" href="../../theme/rubyblue.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
16 <link rel="stylesheet" href="../../theme/lesser-dark.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
17 <link rel="stylesheet" href="../../theme/xq-dark.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
18 <link rel="stylesheet" href="../../theme/xq-light.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
19 <link rel="stylesheet" href="../../theme/ambiance.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
20 <link rel="stylesheet" href="../../theme/blackboard.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
21 <link rel="stylesheet" href="../../theme/vibrant-ink.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
22 <link rel="stylesheet" href="../../theme/solarized.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
23 <link rel="stylesheet" href="../../theme/twilight.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
24 <link rel="stylesheet" href="../../theme/midnight.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
25 <link rel="stylesheet" href="../../addon/dialog/dialog.css">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
26 <script src="../../lib/codemirror.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
27 <script src="../../addon/edit/matchbrackets.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
28 <script src="cobol.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
29 <script src="../../addon/selection/active-line.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
30 <script src="../../addon/search/search.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
31 <script src="../../addon/dialog/dialog.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
32 <script src="../../addon/search/searchcursor.js"></script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
33 <style>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
34 .CodeMirror {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
35 border: 1px solid #eee;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
36 font-size : 20px;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
37 height : auto !important;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
38 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
39 .CodeMirror-activeline-background {background: #555555 !important;}
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
40 </style>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
41 <div id=nav>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
42 <a href="https://codemirror.net/5"><h1>CodeMirror</h1><img id=logo src="../../doc/logo.png" alt=""></a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
43
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
44 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
45 <li><a href="../../index.html">Home</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
46 <li><a href="../../doc/manual.html">Manual</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
47 <li><a href="https://github.com/codemirror/codemirror5">Code</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
48 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
49 <ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
50 <li><a href="../index.html">Language modes</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
51 <li><a class=active href="#">COBOL</a>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
52 </ul>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
53 </div>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
54
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
55 <article>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
56 <h2>COBOL mode</h2>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
57
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
58 <p> Select Theme <select onchange="selectTheme()" id="selectTheme">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
59 <option>default</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
60 <option>ambiance</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
61 <option>blackboard</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
62 <option>cobalt</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
63 <option>eclipse</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
64 <option>elegant</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
65 <option>erlang-dark</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
66 <option>lesser-dark</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
67 <option>midnight</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
68 <option>monokai</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
69 <option>neat</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
70 <option>night</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
71 <option>rubyblue</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
72 <option>solarized dark</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
73 <option>solarized light</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
74 <option selected>twilight</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
75 <option>vibrant-ink</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
76 <option>xq-dark</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
77 <option>xq-light</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
78 </select> Select Font Size <select onchange="selectFontsize()" id="selectFontSize">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
79 <option value="13px">13px</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
80 <option value="14px">14px</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
81 <option value="16px">16px</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
82 <option value="18px">18px</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
83 <option value="20px" selected="selected">20px</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
84 <option value="24px">24px</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
85 <option value="26px">26px</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
86 <option value="28px">28px</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
87 <option value="30px">30px</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
88 <option value="32px">32px</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
89 <option value="34px">34px</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
90 <option value="36px">36px</option>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
91 </select>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
92 <label for="checkBoxReadOnly">Read-only</label>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
93 <input type="checkbox" id="checkBoxReadOnly" onchange="selectReadOnly()">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
94 <label for="id_tabToIndentSpace">Insert Spaces on Tab</label>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
95 <input type="checkbox" id="id_tabToIndentSpace" onchange="tabToIndentSpace()">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
96 </p>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
97 <textarea id="code" name="code">
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
98 ---------1---------2---------3---------4---------5---------6---------7---------8
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
99 12345678911234567892123456789312345678941234567895123456789612345678971234567898
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
100 000010 IDENTIFICATION DIVISION. MODTGHERE
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
101 000020 PROGRAM-ID. SAMPLE.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
102 000030 AUTHOR. TEST SAM.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
103 000040 DATE-WRITTEN. 5 February 2013
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
104 000041
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
105 000042* A sample program just to show the form.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
106 000043* The program copies its input to the output,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
107 000044* and counts the number of records.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
108 000045* At the end this number is printed.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
109 000046
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
110 000050 ENVIRONMENT DIVISION.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
111 000060 INPUT-OUTPUT SECTION.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
112 000070 FILE-CONTROL.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
113 000080 SELECT STUDENT-FILE ASSIGN TO SYSIN
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
114 000090 ORGANIZATION IS LINE SEQUENTIAL.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
115 000100 SELECT PRINT-FILE ASSIGN TO SYSOUT
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
116 000110 ORGANIZATION IS LINE SEQUENTIAL.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
117 000120
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
118 000130 DATA DIVISION.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
119 000140 FILE SECTION.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
120 000150 FD STUDENT-FILE
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
121 000160 RECORD CONTAINS 43 CHARACTERS
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
122 000170 DATA RECORD IS STUDENT-IN.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
123 000180 01 STUDENT-IN PIC X(43).
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
124 000190
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
125 000200 FD PRINT-FILE
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
126 000210 RECORD CONTAINS 80 CHARACTERS
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
127 000220 DATA RECORD IS PRINT-LINE.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
128 000230 01 PRINT-LINE PIC X(80).
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
129 000240
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
130 000250 WORKING-STORAGE SECTION.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
131 000260 01 DATA-REMAINS-SWITCH PIC X(2) VALUE SPACES.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
132 000261 01 RECORDS-WRITTEN PIC 99.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
133 000270
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
134 000280 01 DETAIL-LINE.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
135 000290 05 FILLER PIC X(7) VALUE SPACES.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
136 000300 05 RECORD-IMAGE PIC X(43).
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
137 000310 05 FILLER PIC X(30) VALUE SPACES.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
138 000311
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
139 000312 01 SUMMARY-LINE.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
140 000313 05 FILLER PIC X(7) VALUE SPACES.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
141 000314 05 TOTAL-READ PIC 99.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
142 000315 05 FILLER PIC X VALUE SPACE.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
143 000316 05 FILLER PIC X(17)
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
144 000317 VALUE 'Records were read'.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
145 000318 05 FILLER PIC X(53) VALUE SPACES.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
146 000319
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
147 000320 PROCEDURE DIVISION.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
148 000321
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
149 000330 PREPARE-SENIOR-REPORT.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
150 000340 OPEN INPUT STUDENT-FILE
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
151 000350 OUTPUT PRINT-FILE.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
152 000351 MOVE ZERO TO RECORDS-WRITTEN.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
153 000360 READ STUDENT-FILE
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
154 000370 AT END MOVE 'NO' TO DATA-REMAINS-SWITCH
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
155 000380 END-READ.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
156 000390 PERFORM PROCESS-RECORDS
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
157 000410 UNTIL DATA-REMAINS-SWITCH = 'NO'.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
158 000411 PERFORM PRINT-SUMMARY.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
159 000420 CLOSE STUDENT-FILE
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
160 000430 PRINT-FILE.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
161 000440 STOP RUN.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
162 000450
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
163 000460 PROCESS-RECORDS.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
164 000470 MOVE STUDENT-IN TO RECORD-IMAGE.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
165 000480 MOVE DETAIL-LINE TO PRINT-LINE.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
166 000490 WRITE PRINT-LINE.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
167 000500 ADD 1 TO RECORDS-WRITTEN.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
168 000510 READ STUDENT-FILE
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
169 000520 AT END MOVE 'NO' TO DATA-REMAINS-SWITCH
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
170 000530 END-READ.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
171 000540
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
172 000550 PRINT-SUMMARY.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
173 000560 MOVE RECORDS-WRITTEN TO TOTAL-READ.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
174 000570 MOVE SUMMARY-LINE TO PRINT-LINE.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
175 000571 WRITE PRINT-LINE.
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
176 000572
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
177 000580
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
178 </textarea>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
179 <script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
180 var editor = CodeMirror.fromTextArea(document.getElementById("code"), {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
181 lineNumbers: true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
182 matchBrackets: true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
183 mode: "text/x-cobol",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
184 theme : "twilight",
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
185 styleActiveLine: true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
186 showCursorWhenSelecting : true,
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
187 });
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
188 function selectTheme() {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
189 var themeInput = document.getElementById("selectTheme");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
190 var theme = themeInput.options[themeInput.selectedIndex].innerHTML;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
191 editor.setOption("theme", theme);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
192 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
193 function selectFontsize() {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
194 var fontSizeInput = document.getElementById("selectFontSize");
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
195 var fontSize = fontSizeInput.options[fontSizeInput.selectedIndex].innerHTML;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
196 editor.getWrapperElement().style.fontSize = fontSize;
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
197 editor.refresh();
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
198 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
199 function selectReadOnly() {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
200 editor.setOption("readOnly", document.getElementById("checkBoxReadOnly").checked);
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
201 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
202 function tabToIndentSpace() {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
203 if (document.getElementById("id_tabToIndentSpace").checked) {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
204 editor.setOption("extraKeys", {Tab: function(cm) { cm.replaceSelection(" ", "end"); }});
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
205 } else {
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
206 editor.setOption("extraKeys", {Tab: function(cm) { cm.replaceSelection(" ", "end"); }});
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
207 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
208 }
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
209 </script>
Coffee CMS <info@coffee-cms.ru>
parents:
diff changeset
210 </article>