Contact
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In
| Download
Views: 39598
1
# Loading and configuring the codemirror editor
2
3
window.CodeMirror = CodeMirror = require('codemirror')
4
5
6
require('codemirror/addon/mode/multiplex.js')
7
require('codemirror/addon/mode/overlay.js')
8
require('codemirror/addon/selection/active-line.js')
9
require('codemirror/addon/comment/comment.js')
10
11
require('codemirror/addon/dialog/dialog.js')
12
require('codemirror/addon/dialog/dialog.css')
13
14
require('codemirror/addon/search/searchcursor.js')
15
16
require('codemirror/addon/edit/matchbrackets.js')
17
require('codemirror/addon/edit/closebrackets.js')
18
require('codemirror/addon/edit/trailingspace.js')
19
require('codemirror/addon/edit/continuelist.js')
20
require('codemirror/addon/edit/matchtags.js')
21
require('codemirror/addon/edit/closetag.js')
22
require('codemirror/addon/wrap/hardwrap.js')
23
require('codemirror/addon/runmode/runmode.js')
24
require('codemirror/addon/fold/brace-fold.js')
25
require('codemirror/addon/fold/foldcode.js')
26
require('codemirror/addon/fold/foldgutter.js')
27
require('codemirror/addon/fold/foldgutter.css')
28
29
require('codemirror/addon/fold/markdown-fold.js')
30
require('codemirror/addon/fold/comment-fold.js')
31
require('codemirror/addon/fold/indent-fold.js')
32
require('codemirror/addon/fold/xml-fold.js')
33
require('codemirror/addon/hint/anyword-hint.js')
34
require('codemirror/addon/hint/css-hint.js')
35
require('codemirror/addon/hint/html-hint.js')
36
require('codemirror/addon/hint/javascript-hint.js')
37
38
require('codemirror/addon/hint/show-hint.js')
39
require('codemirror/addon/hint/show-hint.css')
40
41
require('codemirror/addon/hint/sql-hint.js')
42
require('codemirror/addon/hint/xml-hint.js')
43
44
require('codemirror/mode/clike/clike.js')
45
require('codemirror/mode/clojure/clojure.js')
46
require('codemirror/mode/coffeescript/coffeescript.js')
47
require('codemirror/mode/commonlisp/commonlisp.js')
48
require('codemirror/mode/css/css.js')
49
require('codemirror/mode/diff/diff.js')
50
require('codemirror/mode/dockerfile/dockerfile.js')
51
require('codemirror/mode/dtd/dtd.js')
52
require('codemirror/mode/ecl/ecl.js')
53
require('codemirror/mode/eiffel/eiffel.js')
54
require('codemirror/mode/elm/elm.js')
55
require('codemirror/mode/erlang/erlang.js')
56
require('codemirror/mode/fortran/fortran.js')
57
require('codemirror/mode/gfm/gfm.js')
58
require('codemirror/mode/go/go.js')
59
require('codemirror/mode/groovy/groovy.js')
60
require('codemirror/mode/haskell/haskell.js')
61
require('codemirror/mode/haxe/haxe.js')
62
require('codemirror/mode/htmlembedded/htmlembedded.js')
63
require('codemirror/mode/htmlmixed/htmlmixed.js')
64
require('codemirror/mode/http/http.js')
65
require('codemirror/mode/javascript/javascript.js')
66
require('codemirror/mode/jinja2/jinja2.js')
67
require('codemirror/mode/jsx/jsx.js')
68
require('codemirror/mode/julia/julia.js')
69
require('codemirror/mode/lua/lua.js')
70
require('codemirror/mode/makefile.js')
71
require('codemirror/mode/markdown/markdown.js')
72
require('codemirror/mode/nginx/nginx.js')
73
require('codemirror/mode/ntriples/ntriples.js')
74
require('codemirror/mode/octave/octave.js')
75
require('codemirror/mode/pascal/pascal.js')
76
require('codemirror/mode/perl/perl.js')
77
require('codemirror/mode/php/php.js')
78
require('codemirror/mode/pig/pig.js')
79
require('codemirror/mode/properties/properties.js')
80
require('codemirror/mode/pug/pug.js')
81
require('codemirror/mode/r/r.js')
82
require('codemirror/mode/ruby/ruby.js')
83
require('codemirror/mode/rust/rust.js')
84
require('codemirror/mode/sass/sass.js')
85
require('codemirror/mode/scheme/scheme.js')
86
require('codemirror/mode/shell/shell.js')
87
require('codemirror/mode/sieve/sieve.js')
88
require('codemirror/mode/smalltalk/smalltalk.js')
89
require('codemirror/mode/smarty/smarty.js')
90
require('codemirror/mode/sparql/sparql.js')
91
require('codemirror/mode/sql/sql.js')
92
require('codemirror/mode/stex/stex.js')
93
require('codemirror/mode/tiddlywiki/tiddlywiki.js')
94
require('codemirror/mode/tiki/tiki.js')
95
require('codemirror/mode/toml/toml.js')
96
require('codemirror/mode/vb/vb.js')
97
require('codemirror/mode/vbscript/vbscript.js')
98
require('codemirror/mode/velocity/velocity.js')
99
require('codemirror/mode/verilog/verilog.js')
100
require('codemirror/mode/xml/xml.js')
101
require('codemirror/mode/xquery/xquery.js')
102
require('codemirror/mode/yaml/yaml.js')
103
require('codemirror/mode/z80/z80.js')
104
105
# Keyboard bindings
106
require('codemirror/keymap/vim.js')
107
require('codemirror/keymap/emacs.js')
108
require('codemirror/keymap/sublime.js')
109
110
###
111
* In mode/python/python.js I add our unicode output character to be a comment starter:
112
113
// Handle Comments
114
if (ch == "#" || ch == "\uFE21") {
115
116
Also, it's critical to fix a bug by replacing the state function by
117
118
function top(state) {
119
if (state.scopes.length == 0) {
120
return {type:"undefined", offset:0}; // better than totally crashing
121
}
122
return state.scopes[state.scopes.length - 1];
123
}
124
###
125
require('./mode/python.js')
126
# For some reason python-hint.js got removed from codemirror itself
127
require('./addon/hint/python-hint.js')
128
129
require('./addon/smc-search.js')
130
131
132
133
# In ReST mode/rst/rst.js, add Sage support:
134
# var rx_examples = new RegExp('^\\s+(?:>>>|sage:|In \\[\\d+\\]:)\\s');
135
require('./mode/rst.js')
136
137
# Modify the coffeescript mode to support cjsx.
138
require('./mode/coffeescript2.js')
139
140
require('./mode/less.js')
141
require('./mode/ocaml.js')
142
require('./mode/pari.js')
143
144
require('./mode/mediawiki/mediawiki.js')
145
require('./mode/mediawiki/mediawiki.css')
146
147
148
149
150
# CSS
151
152
require('codemirror/lib/codemirror.css')
153
require('codemirror/theme/solarized.css')
154
require('codemirror/theme/twilight.css')
155
require('codemirror/theme/vibrant-ink.css')
156
require('codemirror/theme/night.css')
157
require('codemirror/theme/cobalt.css')
158
require('codemirror/theme/neat.css')
159
require('codemirror/theme/erlang-dark.css')
160
require('codemirror/theme/lesser-dark.css')
161
require('codemirror/theme/elegant.css')
162
require('codemirror/theme/monokai.css')
163
require('codemirror/theme/ambiance-mobile.css')
164
require('codemirror/theme/ambiance.css')
165
require('codemirror/theme/rubyblue.css')
166
require('codemirror/theme/blackboard.css')
167
require('codemirror/theme/xq-dark.css')
168
require('codemirror/theme/eclipse.css')
169
require('codemirror/theme/3024-day.css')
170
require('codemirror/theme/3024-night.css')
171
require('codemirror/theme/base16-light.css')
172
require('codemirror/theme/base16-dark.css')
173
require('codemirror/theme/the-matrix.css')
174
require('codemirror/theme/paraiso-dark.css')
175
require('codemirror/theme/paraiso-light.css')
176
require('codemirror/theme/tomorrow-night-eighties.css')
177
178