@muze-nl/simplystore 0.3.6 → 0.4.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/package.json +2 -2
- package/package.json~ +33 -0
- package/src/server.mjs +68 -61
- package/www/codemirror/addon/comment/comment.js +0 -211
- package/www/codemirror/addon/comment/continuecomment.js +0 -114
- package/www/codemirror/addon/dialog/dialog.css +0 -32
- package/www/codemirror/addon/dialog/dialog.js +0 -163
- package/www/codemirror/addon/display/autorefresh.js +0 -47
- package/www/codemirror/addon/display/fullscreen.css +0 -6
- package/www/codemirror/addon/display/fullscreen.js +0 -41
- package/www/codemirror/addon/display/panel.js +0 -133
- package/www/codemirror/addon/display/placeholder.js +0 -78
- package/www/codemirror/addon/display/rulers.js +0 -51
- package/www/codemirror/addon/edit/closebrackets.js +0 -201
- package/www/codemirror/addon/edit/closetag.js +0 -185
- package/www/codemirror/addon/edit/continuelist.js +0 -101
- package/www/codemirror/addon/edit/matchbrackets.js +0 -160
- package/www/codemirror/addon/edit/matchtags.js +0 -66
- package/www/codemirror/addon/edit/trailingspace.js +0 -27
- package/www/codemirror/addon/fold/brace-fold.js +0 -119
- package/www/codemirror/addon/fold/comment-fold.js +0 -59
- package/www/codemirror/addon/fold/foldcode.js +0 -159
- package/www/codemirror/addon/fold/foldgutter.css +0 -20
- package/www/codemirror/addon/fold/foldgutter.js +0 -169
- package/www/codemirror/addon/fold/indent-fold.js +0 -48
- package/www/codemirror/addon/fold/markdown-fold.js +0 -49
- package/www/codemirror/addon/fold/xml-fold.js +0 -184
- package/www/codemirror/addon/hint/anyword-hint.js +0 -41
- package/www/codemirror/addon/hint/css-hint.js +0 -66
- package/www/codemirror/addon/hint/html-hint.js +0 -351
- package/www/codemirror/addon/hint/javascript-hint.js +0 -162
- package/www/codemirror/addon/hint/show-hint.css +0 -37
- package/www/codemirror/addon/hint/show-hint.js +0 -523
- package/www/codemirror/addon/hint/sql-hint.js +0 -304
- package/www/codemirror/addon/hint/xml-hint.js +0 -132
- package/www/codemirror/addon/lint/coffeescript-lint.js +0 -47
- package/www/codemirror/addon/lint/css-lint.js +0 -40
- package/www/codemirror/addon/lint/html-lint.js +0 -59
- package/www/codemirror/addon/lint/json-lint.js +0 -40
- package/www/codemirror/addon/lint/yaml-lint.js +0 -41
- package/www/codemirror/addon/merge/merge.css +0 -119
- package/www/codemirror/addon/merge/merge.js +0 -1018
- package/www/codemirror/addon/mode/loadmode.js +0 -66
- package/www/codemirror/addon/mode/multiplex.js +0 -136
- package/www/codemirror/addon/mode/multiplex_test.js +0 -49
- package/www/codemirror/addon/mode/overlay.js +0 -90
- package/www/codemirror/addon/mode/simple.js +0 -216
- package/www/codemirror/addon/runmode/colorize.js +0 -40
- package/www/codemirror/addon/runmode/runmode-standalone.js +0 -334
- package/www/codemirror/addon/runmode/runmode.js +0 -76
- package/www/codemirror/addon/runmode/runmode.node.js +0 -329
- package/www/codemirror/addon/scroll/annotatescrollbar.js +0 -128
- package/www/codemirror/addon/scroll/scrollpastend.js +0 -48
- package/www/codemirror/addon/scroll/simplescrollbars.css +0 -66
- package/www/codemirror/addon/scroll/simplescrollbars.js +0 -152
- package/www/codemirror/addon/search/jump-to-line.js +0 -53
- package/www/codemirror/addon/search/match-highlighter.js +0 -167
- package/www/codemirror/addon/search/matchesonscrollbar.css +0 -8
- package/www/codemirror/addon/search/matchesonscrollbar.js +0 -97
- package/www/codemirror/addon/search/search.js +0 -295
- package/www/codemirror/addon/search/searchcursor.js +0 -305
- package/www/codemirror/addon/selection/active-line.js +0 -72
- package/www/codemirror/addon/selection/mark-selection.js +0 -119
- package/www/codemirror/addon/selection/selection-pointer.js +0 -98
- package/www/codemirror/addon/tern/tern.css +0 -87
- package/www/codemirror/addon/tern/tern.js +0 -756
- package/www/codemirror/addon/tern/worker.js +0 -44
- package/www/codemirror/addon/wrap/hardwrap.js +0 -160
- package/www/codemirror/bin/source-highlight +0 -48
- package/www/codemirror/keymap/emacs.js +0 -545
- package/www/codemirror/keymap/sublime.js +0 -720
- package/www/codemirror/keymap/vim.js +0 -5978
- package/www/codemirror/mode/apl/apl.js +0 -174
- package/www/codemirror/mode/asciiarmor/asciiarmor.js +0 -74
- package/www/codemirror/mode/asn.1/asn.1.js +0 -204
- package/www/codemirror/mode/asterisk/asterisk.js +0 -220
- package/www/codemirror/mode/brainfuck/brainfuck.js +0 -85
- package/www/codemirror/mode/clike/clike.js +0 -940
- package/www/codemirror/mode/clojure/clojure.js +0 -292
- package/www/codemirror/mode/cmake/cmake.js +0 -97
- package/www/codemirror/mode/cobol/cobol.js +0 -255
- package/www/codemirror/mode/coffeescript/coffeescript.js +0 -359
- package/www/codemirror/mode/commonlisp/commonlisp.js +0 -125
- package/www/codemirror/mode/crystal/crystal.js +0 -433
- package/www/codemirror/mode/css/css.js +0 -862
- package/www/codemirror/mode/cypher/cypher.js +0 -152
- package/www/codemirror/mode/d/d.js +0 -223
- package/www/codemirror/mode/dart/dart.js +0 -166
- package/www/codemirror/mode/diff/diff.js +0 -47
- package/www/codemirror/mode/django/django.js +0 -356
- package/www/codemirror/mode/dockerfile/dockerfile.js +0 -211
- package/www/codemirror/mode/dtd/dtd.js +0 -142
- package/www/codemirror/mode/dylan/dylan.js +0 -352
- package/www/codemirror/mode/ebnf/ebnf.js +0 -195
- package/www/codemirror/mode/ecl/ecl.js +0 -206
- package/www/codemirror/mode/eiffel/eiffel.js +0 -160
- package/www/codemirror/mode/elm/elm.js +0 -245
- package/www/codemirror/mode/erlang/erlang.js +0 -619
- package/www/codemirror/mode/factor/factor.js +0 -85
- package/www/codemirror/mode/fcl/fcl.js +0 -173
- package/www/codemirror/mode/forth/forth.js +0 -180
- package/www/codemirror/mode/fortran/fortran.js +0 -188
- package/www/codemirror/mode/gas/gas.js +0 -353
- package/www/codemirror/mode/gfm/gfm.js +0 -129
- package/www/codemirror/mode/gherkin/gherkin.js +0 -178
- package/www/codemirror/mode/go/go.js +0 -187
- package/www/codemirror/mode/groovy/groovy.js +0 -247
- package/www/codemirror/mode/haml/haml.js +0 -161
- package/www/codemirror/mode/handlebars/handlebars.js +0 -70
- package/www/codemirror/mode/haskell/haskell.js +0 -268
- package/www/codemirror/mode/haskell-literate/haskell-literate.js +0 -43
- package/www/codemirror/mode/haxe/haxe.js +0 -515
- package/www/codemirror/mode/htmlembedded/htmlembedded.js +0 -37
- package/www/codemirror/mode/htmlmixed/htmlmixed.js +0 -153
- package/www/codemirror/mode/http/http.js +0 -113
- package/www/codemirror/mode/idl/idl.js +0 -290
- package/www/codemirror/mode/jinja2/jinja2.js +0 -193
- package/www/codemirror/mode/jsx/jsx.js +0 -148
- package/www/codemirror/mode/julia/julia.js +0 -390
- package/www/codemirror/mode/livescript/livescript.js +0 -280
- package/www/codemirror/mode/lua/lua.js +0 -160
- package/www/codemirror/mode/markdown/markdown.js +0 -886
- package/www/codemirror/mode/mathematica/mathematica.js +0 -176
- package/www/codemirror/mode/mbox/mbox.js +0 -129
- package/www/codemirror/mode/meta.js +0 -221
- package/www/codemirror/mode/mirc/mirc.js +0 -193
- package/www/codemirror/mode/mllike/mllike.js +0 -359
- package/www/codemirror/mode/modelica/modelica.js +0 -245
- package/www/codemirror/mode/mscgen/mscgen.js +0 -175
- package/www/codemirror/mode/mumps/mumps.js +0 -148
- package/www/codemirror/mode/nginx/nginx.js +0 -178
- package/www/codemirror/mode/nsis/nsis.js +0 -95
- package/www/codemirror/mode/ntriples/ntriples.js +0 -195
- package/www/codemirror/mode/octave/octave.js +0 -139
- package/www/codemirror/mode/oz/oz.js +0 -252
- package/www/codemirror/mode/pascal/pascal.js +0 -136
- package/www/codemirror/mode/pegjs/pegjs.js +0 -111
- package/www/codemirror/mode/perl/perl.js +0 -836
- package/www/codemirror/mode/php/php.js +0 -234
- package/www/codemirror/mode/pig/pig.js +0 -178
- package/www/codemirror/mode/powershell/powershell.js +0 -398
- package/www/codemirror/mode/properties/properties.js +0 -78
- package/www/codemirror/mode/protobuf/protobuf.js +0 -72
- package/www/codemirror/mode/pug/pug.js +0 -591
- package/www/codemirror/mode/puppet/puppet.js +0 -220
- package/www/codemirror/mode/python/python.js +0 -402
- package/www/codemirror/mode/q/q.js +0 -139
- package/www/codemirror/mode/r/r.js +0 -190
- package/www/codemirror/mode/rpm/changes/index.html +0 -66
- package/www/codemirror/mode/rpm/rpm.js +0 -109
- package/www/codemirror/mode/rst/rst.js +0 -557
- package/www/codemirror/mode/ruby/ruby.js +0 -303
- package/www/codemirror/mode/rust/rust.js +0 -72
- package/www/codemirror/mode/sas/sas.js +0 -303
- package/www/codemirror/mode/sass/sass.js +0 -459
- package/www/codemirror/mode/scheme/scheme.js +0 -284
- package/www/codemirror/mode/shell/shell.js +0 -168
- package/www/codemirror/mode/sieve/sieve.js +0 -193
- package/www/codemirror/mode/slim/slim.js +0 -575
- package/www/codemirror/mode/smalltalk/smalltalk.js +0 -168
- package/www/codemirror/mode/smarty/smarty.js +0 -225
- package/www/codemirror/mode/solr/solr.js +0 -104
- package/www/codemirror/mode/soy/soy.js +0 -665
- package/www/codemirror/mode/sparql/sparql.js +0 -184
- package/www/codemirror/mode/spreadsheet/spreadsheet.js +0 -112
- package/www/codemirror/mode/sql/sql.js +0 -525
- package/www/codemirror/mode/stex/stex.js +0 -264
- package/www/codemirror/mode/stylus/stylus.js +0 -775
- package/www/codemirror/mode/swift/swift.js +0 -221
- package/www/codemirror/mode/tcl/tcl.js +0 -140
- package/www/codemirror/mode/textile/textile.js +0 -469
- package/www/codemirror/mode/tiddlywiki/tiddlywiki.css +0 -14
- package/www/codemirror/mode/tiddlywiki/tiddlywiki.js +0 -308
- package/www/codemirror/mode/tiki/tiki.css +0 -26
- package/www/codemirror/mode/tiki/tiki.js +0 -312
- package/www/codemirror/mode/toml/toml.js +0 -88
- package/www/codemirror/mode/tornado/tornado.js +0 -68
- package/www/codemirror/mode/troff/troff.js +0 -84
- package/www/codemirror/mode/ttcn/ttcn.js +0 -283
- package/www/codemirror/mode/ttcn-cfg/ttcn-cfg.js +0 -214
- package/www/codemirror/mode/turtle/turtle.js +0 -162
- package/www/codemirror/mode/twig/twig.js +0 -141
- package/www/codemirror/mode/vb/vb.js +0 -275
- package/www/codemirror/mode/vbscript/vbscript.js +0 -350
- package/www/codemirror/mode/velocity/velocity.js +0 -202
- package/www/codemirror/mode/verilog/verilog.js +0 -781
- package/www/codemirror/mode/vhdl/vhdl.js +0 -189
- package/www/codemirror/mode/vue/vue.js +0 -77
- package/www/codemirror/mode/wast/wast.js +0 -132
- package/www/codemirror/mode/webidl/webidl.js +0 -195
- package/www/codemirror/mode/xml/xml.js +0 -417
- package/www/codemirror/mode/xquery/xquery.js +0 -448
- package/www/codemirror/mode/yacas/yacas.js +0 -204
- package/www/codemirror/mode/yaml/yaml.js +0 -120
- package/www/codemirror/mode/yaml-frontmatter/yaml-frontmatter.js +0 -72
- package/www/codemirror/mode/z80/z80.js +0 -116
- package/www/codemirror/rollup.config.js +0 -52
- package/www/codemirror/src/addon/runmode/codemirror-standalone.js +0 -24
- package/www/codemirror/src/addon/runmode/codemirror.node.js +0 -21
- package/www/codemirror/src/addon/runmode/runmode-standalone.js +0 -2
- package/www/codemirror/src/addon/runmode/runmode.node.js +0 -2
- package/www/codemirror/src/codemirror.js +0 -3
- package/www/codemirror/src/display/Display.js +0 -116
- package/www/codemirror/src/display/focus.js +0 -50
- package/www/codemirror/src/display/gutters.js +0 -44
- package/www/codemirror/src/display/highlight_worker.js +0 -55
- package/www/codemirror/src/display/line_numbers.js +0 -48
- package/www/codemirror/src/display/mode_state.js +0 -22
- package/www/codemirror/src/display/operations.js +0 -206
- package/www/codemirror/src/display/scroll_events.js +0 -132
- package/www/codemirror/src/display/scrollbars.js +0 -194
- package/www/codemirror/src/display/scrolling.js +0 -186
- package/www/codemirror/src/display/selection.js +0 -173
- package/www/codemirror/src/display/update_display.js +0 -267
- package/www/codemirror/src/display/update_line.js +0 -189
- package/www/codemirror/src/display/update_lines.js +0 -82
- package/www/codemirror/src/display/view_tracking.js +0 -153
- package/www/codemirror/src/edit/CodeMirror.js +0 -217
- package/www/codemirror/src/edit/commands.js +0 -178
- package/www/codemirror/src/edit/deleteNearSelection.js +0 -30
- package/www/codemirror/src/edit/drop_events.js +0 -130
- package/www/codemirror/src/edit/fromTextArea.js +0 -61
- package/www/codemirror/src/edit/global_events.js +0 -45
- package/www/codemirror/src/edit/key_events.js +0 -163
- package/www/codemirror/src/edit/legacy.js +0 -62
- package/www/codemirror/src/edit/main.js +0 -69
- package/www/codemirror/src/edit/methods.js +0 -555
- package/www/codemirror/src/edit/mouse_events.js +0 -417
- package/www/codemirror/src/edit/options.js +0 -194
- package/www/codemirror/src/edit/utils.js +0 -7
- package/www/codemirror/src/input/ContentEditableInput.js +0 -546
- package/www/codemirror/src/input/TextareaInput.js +0 -380
- package/www/codemirror/src/input/indent.js +0 -71
- package/www/codemirror/src/input/input.js +0 -134
- package/www/codemirror/src/input/keymap.js +0 -147
- package/www/codemirror/src/input/keynames.js +0 -17
- package/www/codemirror/src/input/movement.js +0 -111
- package/www/codemirror/src/line/highlight.js +0 -284
- package/www/codemirror/src/line/line_data.js +0 -349
- package/www/codemirror/src/line/pos.js +0 -40
- package/www/codemirror/src/line/saw_special_spans.js +0 -10
- package/www/codemirror/src/line/spans.js +0 -390
- package/www/codemirror/src/line/utils_line.js +0 -85
- package/www/codemirror/src/measurement/position_measurement.js +0 -702
- package/www/codemirror/src/measurement/widgets.js +0 -26
- package/www/codemirror/src/model/Doc.js +0 -436
- package/www/codemirror/src/model/change_measurement.js +0 -61
- package/www/codemirror/src/model/changes.js +0 -339
- package/www/codemirror/src/model/chunk.js +0 -167
- package/www/codemirror/src/model/document_data.js +0 -112
- package/www/codemirror/src/model/history.js +0 -228
- package/www/codemirror/src/model/line_widget.js +0 -78
- package/www/codemirror/src/model/mark_text.js +0 -293
- package/www/codemirror/src/model/selection.js +0 -84
- package/www/codemirror/src/model/selection_updates.js +0 -216
- package/www/codemirror/src/modes.js +0 -96
- package/www/codemirror/src/util/StringStream.js +0 -90
- package/www/codemirror/src/util/bidi.js +0 -215
- package/www/codemirror/src/util/browser.js +0 -34
- package/www/codemirror/src/util/dom.js +0 -101
- package/www/codemirror/src/util/event.js +0 -103
- package/www/codemirror/src/util/feature_detection.js +0 -84
- package/www/codemirror/src/util/misc.js +0 -168
- package/www/codemirror/src/util/operation_group.js +0 -72
- package/www/codemirror/theme/3024-day.css +0 -41
- package/www/codemirror/theme/3024-night.css +0 -39
- package/www/codemirror/theme/abbott.css +0 -268
- package/www/codemirror/theme/abcdef.css +0 -32
- package/www/codemirror/theme/ambiance-mobile.css +0 -5
- package/www/codemirror/theme/ambiance.css +0 -74
- package/www/codemirror/theme/ayu-dark.css +0 -44
- package/www/codemirror/theme/ayu-mirage.css +0 -45
- package/www/codemirror/theme/base16-dark.css +0 -40
- package/www/codemirror/theme/base16-light.css +0 -38
- package/www/codemirror/theme/bespin.css +0 -34
- package/www/codemirror/theme/blackboard.css +0 -32
- package/www/codemirror/theme/cobalt.css +0 -25
- package/www/codemirror/theme/colorforth.css +0 -33
- package/www/codemirror/theme/darcula.css +0 -53
- package/www/codemirror/theme/dracula.css +0 -40
- package/www/codemirror/theme/duotone-dark.css +0 -35
- package/www/codemirror/theme/duotone-light.css +0 -36
- package/www/codemirror/theme/eclipse.css +0 -23
- package/www/codemirror/theme/elegant.css +0 -13
- package/www/codemirror/theme/erlang-dark.css +0 -34
- package/www/codemirror/theme/gruvbox-dark.css +0 -39
- package/www/codemirror/theme/hopscotch.css +0 -34
- package/www/codemirror/theme/icecoder.css +0 -43
- package/www/codemirror/theme/idea.css +0 -42
- package/www/codemirror/theme/isotope.css +0 -34
- package/www/codemirror/theme/juejin.css +0 -30
- package/www/codemirror/theme/lesser-dark.css +0 -47
- package/www/codemirror/theme/liquibyte.css +0 -95
- package/www/codemirror/theme/lucario.css +0 -37
- package/www/codemirror/theme/material-darker.css +0 -135
- package/www/codemirror/theme/material-palenight.css +0 -141
- package/www/codemirror/theme/material.css +0 -141
- package/www/codemirror/theme/mbo.css +0 -37
- package/www/codemirror/theme/mdn-like.css +0 -46
- package/www/codemirror/theme/midnight.css +0 -39
- package/www/codemirror/theme/monokai.css +0 -41
- package/www/codemirror/theme/moxer.css +0 -143
- package/www/codemirror/theme/neat.css +0 -12
- package/www/codemirror/theme/neo.css +0 -43
- package/www/codemirror/theme/night.css +0 -27
- package/www/codemirror/theme/nord.css +0 -42
- package/www/codemirror/theme/oceanic-next.css +0 -46
- package/www/codemirror/theme/panda-syntax.css +0 -85
- package/www/codemirror/theme/paraiso-dark.css +0 -38
- package/www/codemirror/theme/paraiso-light.css +0 -38
- package/www/codemirror/theme/pastel-on-dark.css +0 -52
- package/www/codemirror/theme/railscasts.css +0 -34
- package/www/codemirror/theme/rubyblue.css +0 -25
- package/www/codemirror/theme/seti.css +0 -44
- package/www/codemirror/theme/shadowfox.css +0 -52
- package/www/codemirror/theme/solarized.css +0 -165
- package/www/codemirror/theme/ssms.css +0 -16
- package/www/codemirror/theme/the-matrix.css +0 -30
- package/www/codemirror/theme/tomorrow-night-bright.css +0 -35
- package/www/codemirror/theme/tomorrow-night-eighties.css +0 -38
- package/www/codemirror/theme/ttcn.css +0 -64
- package/www/codemirror/theme/twilight.css +0 -32
- package/www/codemirror/theme/vibrant-ink.css +0 -34
- package/www/codemirror/theme/xq-dark.css +0 -53
- package/www/codemirror/theme/xq-light.css +0 -43
- package/www/codemirror/theme/yeti.css +0 -44
- package/www/codemirror/theme/yonce.css +0 -59
- package/www/codemirror/theme/zenburn.css +0 -37
|
@@ -1,193 +0,0 @@
|
|
|
1
|
-
// CodeMirror, copyright (c) by Marijn Haverbeke and others
|
|
2
|
-
// Distributed under an MIT license: https://codemirror.net/5/LICENSE
|
|
3
|
-
|
|
4
|
-
//mIRC mode by Ford_Lawnmower :: Based on Velocity mode by Steve O'Hara
|
|
5
|
-
|
|
6
|
-
(function(mod) {
|
|
7
|
-
if (typeof exports == "object" && typeof module == "object") // CommonJS
|
|
8
|
-
mod(require("../../lib/codemirror"));
|
|
9
|
-
else if (typeof define == "function" && define.amd) // AMD
|
|
10
|
-
define(["../../lib/codemirror"], mod);
|
|
11
|
-
else // Plain browser env
|
|
12
|
-
mod(CodeMirror);
|
|
13
|
-
})(function(CodeMirror) {
|
|
14
|
-
"use strict";
|
|
15
|
-
|
|
16
|
-
CodeMirror.defineMIME("text/mirc", "mirc");
|
|
17
|
-
CodeMirror.defineMode("mirc", function() {
|
|
18
|
-
function parseWords(str) {
|
|
19
|
-
var obj = {}, words = str.split(" ");
|
|
20
|
-
for (var i = 0; i < words.length; ++i) obj[words[i]] = true;
|
|
21
|
-
return obj;
|
|
22
|
-
}
|
|
23
|
-
var specials = parseWords("$! $$ $& $? $+ $abook $abs $active $activecid " +
|
|
24
|
-
"$activewid $address $addtok $agent $agentname $agentstat $agentver " +
|
|
25
|
-
"$alias $and $anick $ansi2mirc $aop $appactive $appstate $asc $asctime " +
|
|
26
|
-
"$asin $atan $avoice $away $awaymsg $awaytime $banmask $base $bfind " +
|
|
27
|
-
"$binoff $biton $bnick $bvar $bytes $calc $cb $cd $ceil $chan $chanmodes " +
|
|
28
|
-
"$chantypes $chat $chr $cid $clevel $click $cmdbox $cmdline $cnick $color " +
|
|
29
|
-
"$com $comcall $comchan $comerr $compact $compress $comval $cos $count " +
|
|
30
|
-
"$cr $crc $creq $crlf $ctime $ctimer $ctrlenter $date $day $daylight " +
|
|
31
|
-
"$dbuh $dbuw $dccignore $dccport $dde $ddename $debug $decode $decompress " +
|
|
32
|
-
"$deltok $devent $dialog $did $didreg $didtok $didwm $disk $dlevel $dll " +
|
|
33
|
-
"$dllcall $dname $dns $duration $ebeeps $editbox $emailaddr $encode $error " +
|
|
34
|
-
"$eval $event $exist $feof $ferr $fgetc $file $filename $filtered $finddir " +
|
|
35
|
-
"$finddirn $findfile $findfilen $findtok $fline $floor $fopen $fread $fserve " +
|
|
36
|
-
"$fulladdress $fulldate $fullname $fullscreen $get $getdir $getdot $gettok $gmt " +
|
|
37
|
-
"$group $halted $hash $height $hfind $hget $highlight $hnick $hotline " +
|
|
38
|
-
"$hotlinepos $ial $ialchan $ibl $idle $iel $ifmatch $ignore $iif $iil " +
|
|
39
|
-
"$inelipse $ini $inmidi $inpaste $inpoly $input $inrect $inroundrect " +
|
|
40
|
-
"$insong $instok $int $inwave $ip $isalias $isbit $isdde $isdir $isfile " +
|
|
41
|
-
"$isid $islower $istok $isupper $keychar $keyrpt $keyval $knick $lactive " +
|
|
42
|
-
"$lactivecid $lactivewid $left $len $level $lf $line $lines $link $lock " +
|
|
43
|
-
"$lock $locked $log $logstamp $logstampfmt $longfn $longip $lower $ltimer " +
|
|
44
|
-
"$maddress $mask $matchkey $matchtok $md5 $me $menu $menubar $menucontext " +
|
|
45
|
-
"$menutype $mid $middir $mircdir $mircexe $mircini $mklogfn $mnick $mode " +
|
|
46
|
-
"$modefirst $modelast $modespl $mouse $msfile $network $newnick $nick $nofile " +
|
|
47
|
-
"$nopath $noqt $not $notags $notify $null $numeric $numok $oline $onpoly " +
|
|
48
|
-
"$opnick $or $ord $os $passivedcc $pic $play $pnick $port $portable $portfree " +
|
|
49
|
-
"$pos $prefix $prop $protect $puttok $qt $query $rand $r $rawmsg $read $readomo " +
|
|
50
|
-
"$readn $regex $regml $regsub $regsubex $remove $remtok $replace $replacex " +
|
|
51
|
-
"$reptok $result $rgb $right $round $scid $scon $script $scriptdir $scriptline " +
|
|
52
|
-
"$sdir $send $server $serverip $sfile $sha1 $shortfn $show $signal $sin " +
|
|
53
|
-
"$site $sline $snick $snicks $snotify $sock $sockbr $sockerr $sockname " +
|
|
54
|
-
"$sorttok $sound $sqrt $ssl $sreq $sslready $status $strip $str $stripped " +
|
|
55
|
-
"$syle $submenu $switchbar $tan $target $ticks $time $timer $timestamp " +
|
|
56
|
-
"$timestampfmt $timezone $tip $titlebar $toolbar $treebar $trust $ulevel " +
|
|
57
|
-
"$ulist $upper $uptime $url $usermode $v1 $v2 $var $vcmd $vcmdstat $vcmdver " +
|
|
58
|
-
"$version $vnick $vol $wid $width $wildsite $wildtok $window $wrap $xor");
|
|
59
|
-
var keywords = parseWords("abook ajinvite alias aline ame amsg anick aop auser autojoin avoice " +
|
|
60
|
-
"away background ban bcopy beep bread break breplace bset btrunc bunset bwrite " +
|
|
61
|
-
"channel clear clearall cline clipboard close cnick color comclose comopen " +
|
|
62
|
-
"comreg continue copy creq ctcpreply ctcps dcc dccserver dde ddeserver " +
|
|
63
|
-
"debug dec describe dialog did didtok disable disconnect dlevel dline dll " +
|
|
64
|
-
"dns dqwindow drawcopy drawdot drawfill drawline drawpic drawrect drawreplace " +
|
|
65
|
-
"drawrot drawsave drawscroll drawtext ebeeps echo editbox emailaddr enable " +
|
|
66
|
-
"events exit fclose filter findtext finger firewall flash flist flood flush " +
|
|
67
|
-
"flushini font fopen fseek fsend fserve fullname fwrite ghide gload gmove " +
|
|
68
|
-
"gopts goto gplay gpoint gqreq groups gshow gsize gstop gtalk gunload hadd " +
|
|
69
|
-
"halt haltdef hdec hdel help hfree hinc hload hmake hop hsave ial ialclear " +
|
|
70
|
-
"ialmark identd if ignore iline inc invite iuser join kick linesep links list " +
|
|
71
|
-
"load loadbuf localinfo log mdi me menubar mkdir mnick mode msg nick noop notice " +
|
|
72
|
-
"notify omsg onotice part partall pdcc perform play playctrl pop protect pvoice " +
|
|
73
|
-
"qme qmsg query queryn quit raw reload remini remote remove rename renwin " +
|
|
74
|
-
"reseterror resetidle return rlevel rline rmdir run ruser save savebuf saveini " +
|
|
75
|
-
"say scid scon server set showmirc signam sline sockaccept sockclose socklist " +
|
|
76
|
-
"socklisten sockmark sockopen sockpause sockread sockrename sockudp sockwrite " +
|
|
77
|
-
"sound speak splay sreq strip switchbar timer timestamp titlebar tnick tokenize " +
|
|
78
|
-
"toolbar topic tray treebar ulist unload unset unsetall updatenl url uwho " +
|
|
79
|
-
"var vcadd vcmd vcrem vol while whois window winhelp write writeint if isalnum " +
|
|
80
|
-
"isalpha isaop isavoice isban ischan ishop isignore isin isincs isletter islower " +
|
|
81
|
-
"isnotify isnum ison isop isprotect isreg isupper isvoice iswm iswmcs " +
|
|
82
|
-
"elseif else goto menu nicklist status title icon size option text edit " +
|
|
83
|
-
"button check radio box scroll list combo link tab item");
|
|
84
|
-
var functions = parseWords("if elseif else and not or eq ne in ni for foreach while switch");
|
|
85
|
-
var isOperatorChar = /[+\-*&%=<>!?^\/\|]/;
|
|
86
|
-
function chain(stream, state, f) {
|
|
87
|
-
state.tokenize = f;
|
|
88
|
-
return f(stream, state);
|
|
89
|
-
}
|
|
90
|
-
function tokenBase(stream, state) {
|
|
91
|
-
var beforeParams = state.beforeParams;
|
|
92
|
-
state.beforeParams = false;
|
|
93
|
-
var ch = stream.next();
|
|
94
|
-
if (/[\[\]{}\(\),\.]/.test(ch)) {
|
|
95
|
-
if (ch == "(" && beforeParams) state.inParams = true;
|
|
96
|
-
else if (ch == ")") state.inParams = false;
|
|
97
|
-
return null;
|
|
98
|
-
}
|
|
99
|
-
else if (/\d/.test(ch)) {
|
|
100
|
-
stream.eatWhile(/[\w\.]/);
|
|
101
|
-
return "number";
|
|
102
|
-
}
|
|
103
|
-
else if (ch == "\\") {
|
|
104
|
-
stream.eat("\\");
|
|
105
|
-
stream.eat(/./);
|
|
106
|
-
return "number";
|
|
107
|
-
}
|
|
108
|
-
else if (ch == "/" && stream.eat("*")) {
|
|
109
|
-
return chain(stream, state, tokenComment);
|
|
110
|
-
}
|
|
111
|
-
else if (ch == ";" && stream.match(/ *\( *\(/)) {
|
|
112
|
-
return chain(stream, state, tokenUnparsed);
|
|
113
|
-
}
|
|
114
|
-
else if (ch == ";" && !state.inParams) {
|
|
115
|
-
stream.skipToEnd();
|
|
116
|
-
return "comment";
|
|
117
|
-
}
|
|
118
|
-
else if (ch == '"') {
|
|
119
|
-
stream.eat(/"/);
|
|
120
|
-
return "keyword";
|
|
121
|
-
}
|
|
122
|
-
else if (ch == "$") {
|
|
123
|
-
stream.eatWhile(/[$_a-z0-9A-Z\.:]/);
|
|
124
|
-
if (specials && specials.propertyIsEnumerable(stream.current().toLowerCase())) {
|
|
125
|
-
return "keyword";
|
|
126
|
-
}
|
|
127
|
-
else {
|
|
128
|
-
state.beforeParams = true;
|
|
129
|
-
return "builtin";
|
|
130
|
-
}
|
|
131
|
-
}
|
|
132
|
-
else if (ch == "%") {
|
|
133
|
-
stream.eatWhile(/[^,\s()]/);
|
|
134
|
-
state.beforeParams = true;
|
|
135
|
-
return "string";
|
|
136
|
-
}
|
|
137
|
-
else if (isOperatorChar.test(ch)) {
|
|
138
|
-
stream.eatWhile(isOperatorChar);
|
|
139
|
-
return "operator";
|
|
140
|
-
}
|
|
141
|
-
else {
|
|
142
|
-
stream.eatWhile(/[\w\$_{}]/);
|
|
143
|
-
var word = stream.current().toLowerCase();
|
|
144
|
-
if (keywords && keywords.propertyIsEnumerable(word))
|
|
145
|
-
return "keyword";
|
|
146
|
-
if (functions && functions.propertyIsEnumerable(word)) {
|
|
147
|
-
state.beforeParams = true;
|
|
148
|
-
return "keyword";
|
|
149
|
-
}
|
|
150
|
-
return null;
|
|
151
|
-
}
|
|
152
|
-
}
|
|
153
|
-
function tokenComment(stream, state) {
|
|
154
|
-
var maybeEnd = false, ch;
|
|
155
|
-
while (ch = stream.next()) {
|
|
156
|
-
if (ch == "/" && maybeEnd) {
|
|
157
|
-
state.tokenize = tokenBase;
|
|
158
|
-
break;
|
|
159
|
-
}
|
|
160
|
-
maybeEnd = (ch == "*");
|
|
161
|
-
}
|
|
162
|
-
return "comment";
|
|
163
|
-
}
|
|
164
|
-
function tokenUnparsed(stream, state) {
|
|
165
|
-
var maybeEnd = 0, ch;
|
|
166
|
-
while (ch = stream.next()) {
|
|
167
|
-
if (ch == ";" && maybeEnd == 2) {
|
|
168
|
-
state.tokenize = tokenBase;
|
|
169
|
-
break;
|
|
170
|
-
}
|
|
171
|
-
if (ch == ")")
|
|
172
|
-
maybeEnd++;
|
|
173
|
-
else if (ch != " ")
|
|
174
|
-
maybeEnd = 0;
|
|
175
|
-
}
|
|
176
|
-
return "meta";
|
|
177
|
-
}
|
|
178
|
-
return {
|
|
179
|
-
startState: function() {
|
|
180
|
-
return {
|
|
181
|
-
tokenize: tokenBase,
|
|
182
|
-
beforeParams: false,
|
|
183
|
-
inParams: false
|
|
184
|
-
};
|
|
185
|
-
},
|
|
186
|
-
token: function(stream, state) {
|
|
187
|
-
if (stream.eatSpace()) return null;
|
|
188
|
-
return state.tokenize(stream, state);
|
|
189
|
-
}
|
|
190
|
-
};
|
|
191
|
-
});
|
|
192
|
-
|
|
193
|
-
});
|
|
@@ -1,359 +0,0 @@
|
|
|
1
|
-
// CodeMirror, copyright (c) by Marijn Haverbeke and others
|
|
2
|
-
// Distributed under an MIT license: https://codemirror.net/5/LICENSE
|
|
3
|
-
|
|
4
|
-
(function(mod) {
|
|
5
|
-
if (typeof exports == "object" && typeof module == "object") // CommonJS
|
|
6
|
-
mod(require("../../lib/codemirror"));
|
|
7
|
-
else if (typeof define == "function" && define.amd) // AMD
|
|
8
|
-
define(["../../lib/codemirror"], mod);
|
|
9
|
-
else // Plain browser env
|
|
10
|
-
mod(CodeMirror);
|
|
11
|
-
})(function(CodeMirror) {
|
|
12
|
-
"use strict";
|
|
13
|
-
|
|
14
|
-
CodeMirror.defineMode('mllike', function(_config, parserConfig) {
|
|
15
|
-
var words = {
|
|
16
|
-
'as': 'keyword',
|
|
17
|
-
'do': 'keyword',
|
|
18
|
-
'else': 'keyword',
|
|
19
|
-
'end': 'keyword',
|
|
20
|
-
'exception': 'keyword',
|
|
21
|
-
'fun': 'keyword',
|
|
22
|
-
'functor': 'keyword',
|
|
23
|
-
'if': 'keyword',
|
|
24
|
-
'in': 'keyword',
|
|
25
|
-
'include': 'keyword',
|
|
26
|
-
'let': 'keyword',
|
|
27
|
-
'of': 'keyword',
|
|
28
|
-
'open': 'keyword',
|
|
29
|
-
'rec': 'keyword',
|
|
30
|
-
'struct': 'keyword',
|
|
31
|
-
'then': 'keyword',
|
|
32
|
-
'type': 'keyword',
|
|
33
|
-
'val': 'keyword',
|
|
34
|
-
'while': 'keyword',
|
|
35
|
-
'with': 'keyword'
|
|
36
|
-
};
|
|
37
|
-
|
|
38
|
-
var extraWords = parserConfig.extraWords || {};
|
|
39
|
-
for (var prop in extraWords) {
|
|
40
|
-
if (extraWords.hasOwnProperty(prop)) {
|
|
41
|
-
words[prop] = parserConfig.extraWords[prop];
|
|
42
|
-
}
|
|
43
|
-
}
|
|
44
|
-
var hintWords = [];
|
|
45
|
-
for (var k in words) { hintWords.push(k); }
|
|
46
|
-
CodeMirror.registerHelper("hintWords", "mllike", hintWords);
|
|
47
|
-
|
|
48
|
-
function tokenBase(stream, state) {
|
|
49
|
-
var ch = stream.next();
|
|
50
|
-
|
|
51
|
-
if (ch === '"') {
|
|
52
|
-
state.tokenize = tokenString;
|
|
53
|
-
return state.tokenize(stream, state);
|
|
54
|
-
}
|
|
55
|
-
if (ch === '{') {
|
|
56
|
-
if (stream.eat('|')) {
|
|
57
|
-
state.longString = true;
|
|
58
|
-
state.tokenize = tokenLongString;
|
|
59
|
-
return state.tokenize(stream, state);
|
|
60
|
-
}
|
|
61
|
-
}
|
|
62
|
-
if (ch === '(') {
|
|
63
|
-
if (stream.match(/^\*(?!\))/)) {
|
|
64
|
-
state.commentLevel++;
|
|
65
|
-
state.tokenize = tokenComment;
|
|
66
|
-
return state.tokenize(stream, state);
|
|
67
|
-
}
|
|
68
|
-
}
|
|
69
|
-
if (ch === '~' || ch === '?') {
|
|
70
|
-
stream.eatWhile(/\w/);
|
|
71
|
-
return 'variable-2';
|
|
72
|
-
}
|
|
73
|
-
if (ch === '`') {
|
|
74
|
-
stream.eatWhile(/\w/);
|
|
75
|
-
return 'quote';
|
|
76
|
-
}
|
|
77
|
-
if (ch === '/' && parserConfig.slashComments && stream.eat('/')) {
|
|
78
|
-
stream.skipToEnd();
|
|
79
|
-
return 'comment';
|
|
80
|
-
}
|
|
81
|
-
if (/\d/.test(ch)) {
|
|
82
|
-
if (ch === '0' && stream.eat(/[bB]/)) {
|
|
83
|
-
stream.eatWhile(/[01]/);
|
|
84
|
-
} if (ch === '0' && stream.eat(/[xX]/)) {
|
|
85
|
-
stream.eatWhile(/[0-9a-fA-F]/)
|
|
86
|
-
} if (ch === '0' && stream.eat(/[oO]/)) {
|
|
87
|
-
stream.eatWhile(/[0-7]/);
|
|
88
|
-
} else {
|
|
89
|
-
stream.eatWhile(/[\d_]/);
|
|
90
|
-
if (stream.eat('.')) {
|
|
91
|
-
stream.eatWhile(/[\d]/);
|
|
92
|
-
}
|
|
93
|
-
if (stream.eat(/[eE]/)) {
|
|
94
|
-
stream.eatWhile(/[\d\-+]/);
|
|
95
|
-
}
|
|
96
|
-
}
|
|
97
|
-
return 'number';
|
|
98
|
-
}
|
|
99
|
-
if ( /[+\-*&%=<>!?|@\.~:]/.test(ch)) {
|
|
100
|
-
return 'operator';
|
|
101
|
-
}
|
|
102
|
-
if (/[\w\xa1-\uffff]/.test(ch)) {
|
|
103
|
-
stream.eatWhile(/[\w\xa1-\uffff]/);
|
|
104
|
-
var cur = stream.current();
|
|
105
|
-
return words.hasOwnProperty(cur) ? words[cur] : 'variable';
|
|
106
|
-
}
|
|
107
|
-
return null
|
|
108
|
-
}
|
|
109
|
-
|
|
110
|
-
function tokenString(stream, state) {
|
|
111
|
-
var next, end = false, escaped = false;
|
|
112
|
-
while ((next = stream.next()) != null) {
|
|
113
|
-
if (next === '"' && !escaped) {
|
|
114
|
-
end = true;
|
|
115
|
-
break;
|
|
116
|
-
}
|
|
117
|
-
escaped = !escaped && next === '\\';
|
|
118
|
-
}
|
|
119
|
-
if (end && !escaped) {
|
|
120
|
-
state.tokenize = tokenBase;
|
|
121
|
-
}
|
|
122
|
-
return 'string';
|
|
123
|
-
};
|
|
124
|
-
|
|
125
|
-
function tokenComment(stream, state) {
|
|
126
|
-
var prev, next;
|
|
127
|
-
while(state.commentLevel > 0 && (next = stream.next()) != null) {
|
|
128
|
-
if (prev === '(' && next === '*') state.commentLevel++;
|
|
129
|
-
if (prev === '*' && next === ')') state.commentLevel--;
|
|
130
|
-
prev = next;
|
|
131
|
-
}
|
|
132
|
-
if (state.commentLevel <= 0) {
|
|
133
|
-
state.tokenize = tokenBase;
|
|
134
|
-
}
|
|
135
|
-
return 'comment';
|
|
136
|
-
}
|
|
137
|
-
|
|
138
|
-
function tokenLongString(stream, state) {
|
|
139
|
-
var prev, next;
|
|
140
|
-
while (state.longString && (next = stream.next()) != null) {
|
|
141
|
-
if (prev === '|' && next === '}') state.longString = false;
|
|
142
|
-
prev = next;
|
|
143
|
-
}
|
|
144
|
-
if (!state.longString) {
|
|
145
|
-
state.tokenize = tokenBase;
|
|
146
|
-
}
|
|
147
|
-
return 'string';
|
|
148
|
-
}
|
|
149
|
-
|
|
150
|
-
return {
|
|
151
|
-
startState: function() {return {tokenize: tokenBase, commentLevel: 0, longString: false};},
|
|
152
|
-
token: function(stream, state) {
|
|
153
|
-
if (stream.eatSpace()) return null;
|
|
154
|
-
return state.tokenize(stream, state);
|
|
155
|
-
},
|
|
156
|
-
|
|
157
|
-
blockCommentStart: "(*",
|
|
158
|
-
blockCommentEnd: "*)",
|
|
159
|
-
lineComment: parserConfig.slashComments ? "//" : null
|
|
160
|
-
};
|
|
161
|
-
});
|
|
162
|
-
|
|
163
|
-
CodeMirror.defineMIME('text/x-ocaml', {
|
|
164
|
-
name: 'mllike',
|
|
165
|
-
extraWords: {
|
|
166
|
-
'and': 'keyword',
|
|
167
|
-
'assert': 'keyword',
|
|
168
|
-
'begin': 'keyword',
|
|
169
|
-
'class': 'keyword',
|
|
170
|
-
'constraint': 'keyword',
|
|
171
|
-
'done': 'keyword',
|
|
172
|
-
'downto': 'keyword',
|
|
173
|
-
'external': 'keyword',
|
|
174
|
-
'function': 'keyword',
|
|
175
|
-
'initializer': 'keyword',
|
|
176
|
-
'lazy': 'keyword',
|
|
177
|
-
'match': 'keyword',
|
|
178
|
-
'method': 'keyword',
|
|
179
|
-
'module': 'keyword',
|
|
180
|
-
'mutable': 'keyword',
|
|
181
|
-
'new': 'keyword',
|
|
182
|
-
'nonrec': 'keyword',
|
|
183
|
-
'object': 'keyword',
|
|
184
|
-
'private': 'keyword',
|
|
185
|
-
'sig': 'keyword',
|
|
186
|
-
'to': 'keyword',
|
|
187
|
-
'try': 'keyword',
|
|
188
|
-
'value': 'keyword',
|
|
189
|
-
'virtual': 'keyword',
|
|
190
|
-
'when': 'keyword',
|
|
191
|
-
|
|
192
|
-
// builtins
|
|
193
|
-
'raise': 'builtin',
|
|
194
|
-
'failwith': 'builtin',
|
|
195
|
-
'true': 'builtin',
|
|
196
|
-
'false': 'builtin',
|
|
197
|
-
|
|
198
|
-
// Pervasives builtins
|
|
199
|
-
'asr': 'builtin',
|
|
200
|
-
'land': 'builtin',
|
|
201
|
-
'lor': 'builtin',
|
|
202
|
-
'lsl': 'builtin',
|
|
203
|
-
'lsr': 'builtin',
|
|
204
|
-
'lxor': 'builtin',
|
|
205
|
-
'mod': 'builtin',
|
|
206
|
-
'or': 'builtin',
|
|
207
|
-
|
|
208
|
-
// More Pervasives
|
|
209
|
-
'raise_notrace': 'builtin',
|
|
210
|
-
'trace': 'builtin',
|
|
211
|
-
'exit': 'builtin',
|
|
212
|
-
'print_string': 'builtin',
|
|
213
|
-
'print_endline': 'builtin',
|
|
214
|
-
|
|
215
|
-
'int': 'type',
|
|
216
|
-
'float': 'type',
|
|
217
|
-
'bool': 'type',
|
|
218
|
-
'char': 'type',
|
|
219
|
-
'string': 'type',
|
|
220
|
-
'unit': 'type',
|
|
221
|
-
|
|
222
|
-
// Modules
|
|
223
|
-
'List': 'builtin'
|
|
224
|
-
}
|
|
225
|
-
});
|
|
226
|
-
|
|
227
|
-
CodeMirror.defineMIME('text/x-fsharp', {
|
|
228
|
-
name: 'mllike',
|
|
229
|
-
extraWords: {
|
|
230
|
-
'abstract': 'keyword',
|
|
231
|
-
'assert': 'keyword',
|
|
232
|
-
'base': 'keyword',
|
|
233
|
-
'begin': 'keyword',
|
|
234
|
-
'class': 'keyword',
|
|
235
|
-
'default': 'keyword',
|
|
236
|
-
'delegate': 'keyword',
|
|
237
|
-
'do!': 'keyword',
|
|
238
|
-
'done': 'keyword',
|
|
239
|
-
'downcast': 'keyword',
|
|
240
|
-
'downto': 'keyword',
|
|
241
|
-
'elif': 'keyword',
|
|
242
|
-
'extern': 'keyword',
|
|
243
|
-
'finally': 'keyword',
|
|
244
|
-
'for': 'keyword',
|
|
245
|
-
'function': 'keyword',
|
|
246
|
-
'global': 'keyword',
|
|
247
|
-
'inherit': 'keyword',
|
|
248
|
-
'inline': 'keyword',
|
|
249
|
-
'interface': 'keyword',
|
|
250
|
-
'internal': 'keyword',
|
|
251
|
-
'lazy': 'keyword',
|
|
252
|
-
'let!': 'keyword',
|
|
253
|
-
'match': 'keyword',
|
|
254
|
-
'member': 'keyword',
|
|
255
|
-
'module': 'keyword',
|
|
256
|
-
'mutable': 'keyword',
|
|
257
|
-
'namespace': 'keyword',
|
|
258
|
-
'new': 'keyword',
|
|
259
|
-
'null': 'keyword',
|
|
260
|
-
'override': 'keyword',
|
|
261
|
-
'private': 'keyword',
|
|
262
|
-
'public': 'keyword',
|
|
263
|
-
'return!': 'keyword',
|
|
264
|
-
'return': 'keyword',
|
|
265
|
-
'select': 'keyword',
|
|
266
|
-
'static': 'keyword',
|
|
267
|
-
'to': 'keyword',
|
|
268
|
-
'try': 'keyword',
|
|
269
|
-
'upcast': 'keyword',
|
|
270
|
-
'use!': 'keyword',
|
|
271
|
-
'use': 'keyword',
|
|
272
|
-
'void': 'keyword',
|
|
273
|
-
'when': 'keyword',
|
|
274
|
-
'yield!': 'keyword',
|
|
275
|
-
'yield': 'keyword',
|
|
276
|
-
|
|
277
|
-
// Reserved words
|
|
278
|
-
'atomic': 'keyword',
|
|
279
|
-
'break': 'keyword',
|
|
280
|
-
'checked': 'keyword',
|
|
281
|
-
'component': 'keyword',
|
|
282
|
-
'const': 'keyword',
|
|
283
|
-
'constraint': 'keyword',
|
|
284
|
-
'constructor': 'keyword',
|
|
285
|
-
'continue': 'keyword',
|
|
286
|
-
'eager': 'keyword',
|
|
287
|
-
'event': 'keyword',
|
|
288
|
-
'external': 'keyword',
|
|
289
|
-
'fixed': 'keyword',
|
|
290
|
-
'method': 'keyword',
|
|
291
|
-
'mixin': 'keyword',
|
|
292
|
-
'object': 'keyword',
|
|
293
|
-
'parallel': 'keyword',
|
|
294
|
-
'process': 'keyword',
|
|
295
|
-
'protected': 'keyword',
|
|
296
|
-
'pure': 'keyword',
|
|
297
|
-
'sealed': 'keyword',
|
|
298
|
-
'tailcall': 'keyword',
|
|
299
|
-
'trait': 'keyword',
|
|
300
|
-
'virtual': 'keyword',
|
|
301
|
-
'volatile': 'keyword',
|
|
302
|
-
|
|
303
|
-
// builtins
|
|
304
|
-
'List': 'builtin',
|
|
305
|
-
'Seq': 'builtin',
|
|
306
|
-
'Map': 'builtin',
|
|
307
|
-
'Set': 'builtin',
|
|
308
|
-
'Option': 'builtin',
|
|
309
|
-
'int': 'builtin',
|
|
310
|
-
'string': 'builtin',
|
|
311
|
-
'not': 'builtin',
|
|
312
|
-
'true': 'builtin',
|
|
313
|
-
'false': 'builtin',
|
|
314
|
-
|
|
315
|
-
'raise': 'builtin',
|
|
316
|
-
'failwith': 'builtin'
|
|
317
|
-
},
|
|
318
|
-
slashComments: true
|
|
319
|
-
});
|
|
320
|
-
|
|
321
|
-
|
|
322
|
-
CodeMirror.defineMIME('text/x-sml', {
|
|
323
|
-
name: 'mllike',
|
|
324
|
-
extraWords: {
|
|
325
|
-
'abstype': 'keyword',
|
|
326
|
-
'and': 'keyword',
|
|
327
|
-
'andalso': 'keyword',
|
|
328
|
-
'case': 'keyword',
|
|
329
|
-
'datatype': 'keyword',
|
|
330
|
-
'fn': 'keyword',
|
|
331
|
-
'handle': 'keyword',
|
|
332
|
-
'infix': 'keyword',
|
|
333
|
-
'infixr': 'keyword',
|
|
334
|
-
'local': 'keyword',
|
|
335
|
-
'nonfix': 'keyword',
|
|
336
|
-
'op': 'keyword',
|
|
337
|
-
'orelse': 'keyword',
|
|
338
|
-
'raise': 'keyword',
|
|
339
|
-
'withtype': 'keyword',
|
|
340
|
-
'eqtype': 'keyword',
|
|
341
|
-
'sharing': 'keyword',
|
|
342
|
-
'sig': 'keyword',
|
|
343
|
-
'signature': 'keyword',
|
|
344
|
-
'structure': 'keyword',
|
|
345
|
-
'where': 'keyword',
|
|
346
|
-
'true': 'keyword',
|
|
347
|
-
'false': 'keyword',
|
|
348
|
-
|
|
349
|
-
// types
|
|
350
|
-
'int': 'builtin',
|
|
351
|
-
'real': 'builtin',
|
|
352
|
-
'string': 'builtin',
|
|
353
|
-
'char': 'builtin',
|
|
354
|
-
'bool': 'builtin'
|
|
355
|
-
},
|
|
356
|
-
slashComments: true
|
|
357
|
-
});
|
|
358
|
-
|
|
359
|
-
});
|