Changeset 17742
- Timestamp:
- 04/30/14 13:26:26 (11 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/FACT++/www/viewer/index.js
r17738 r17742 117 117 //value: "function myScript(){return 100;}\n", 118 118 mode: { name: "text/typescript", globalVars: true }, 119 lineNumbers: true,119 indentUnit: 4, 120 120 styleActiveLine: true, 121 121 matchBrackets: true, 122 indentUnit: 4,122 lineNumbers: true, 123 123 foldGutter: true, 124 gutters: ["CodeMirror-linenumbers", "CodeMirror-foldgutter"], 124 lint: true, 125 highlightSelectionMatches: {showToken: /\w/}, 126 gutters: ["CodeMirror-lint-markers", "CodeMirror-linenumbers", "CodeMirror-foldgutter"], 125 127 extraKeys: { 126 128 //"Ctrl-D": "duplicateLine", … … 147 149 }, 148 150 } 149 150 151 }; 151 152 … … 209 210 function onReady() 210 211 { 212 CodeMirror.colorize(null, 'javascript'); 213 211 214 //$('input,select').keypress(function(event) { return event.keyCode != 13; }); 212 215
Note:
See TracChangeset
for help on using the changeset viewer.