@muze-nl/simplystore 0.1.2
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/.dockerignore +8 -0
- package/.github/workflows/docker-build.yml +45 -0
- package/.gitignore~ +1 -0
- package/Dockerfile +60 -0
- package/LICENSE +21 -0
- package/README.md +99 -0
- package/data.jsontag +20 -0
- package/design/access-management.md +25 -0
- package/design/acid.md +31 -0
- package/design/commands.md +25 -0
- package/design/identity.md +71 -0
- package/design/immutability.md +26 -0
- package/design/jsontag-selector.md +365 -0
- package/design/multitasking.md +13 -0
- package/design/thoughts.md +32 -0
- package/docs/docker.md +129 -0
- package/package.json +29 -0
- package/package.json~ +29 -0
- package/src/run.mjs +3 -0
- package/src/server.mjs +323 -0
- package/src/triplestore.mjs +182 -0
- package/www/assets/css/style.css +2296 -0
- package/www/assets/feather-sprite.svg +1 -0
- package/www/assets/img/simplystore-narrow-white.svg +138 -0
- package/www/assets/img/simplystore-narrow.svg +138 -0
- package/www/assets/img/simplystore-white.svg +153 -0
- package/www/assets/img/simplystore.svg +153 -0
- package/www/codemirror/AUTHORS +979 -0
- package/www/codemirror/CHANGELOG.md +2208 -0
- package/www/codemirror/CONTRIBUTING.md +92 -0
- package/www/codemirror/LICENSE +21 -0
- package/www/codemirror/README.md +47 -0
- package/www/codemirror/addon/comment/comment.js +211 -0
- package/www/codemirror/addon/comment/continuecomment.js +114 -0
- package/www/codemirror/addon/dialog/dialog.css +32 -0
- package/www/codemirror/addon/dialog/dialog.js +163 -0
- package/www/codemirror/addon/display/autorefresh.js +47 -0
- package/www/codemirror/addon/display/fullscreen.css +6 -0
- package/www/codemirror/addon/display/fullscreen.js +41 -0
- package/www/codemirror/addon/display/panel.js +133 -0
- package/www/codemirror/addon/display/placeholder.js +78 -0
- package/www/codemirror/addon/display/rulers.js +51 -0
- package/www/codemirror/addon/edit/closebrackets.js +201 -0
- package/www/codemirror/addon/edit/closetag.js +185 -0
- package/www/codemirror/addon/edit/continuelist.js +101 -0
- package/www/codemirror/addon/edit/matchbrackets.js +160 -0
- package/www/codemirror/addon/edit/matchtags.js +66 -0
- package/www/codemirror/addon/edit/trailingspace.js +27 -0
- package/www/codemirror/addon/fold/brace-fold.js +119 -0
- package/www/codemirror/addon/fold/comment-fold.js +59 -0
- package/www/codemirror/addon/fold/foldcode.js +159 -0
- package/www/codemirror/addon/fold/foldgutter.css +20 -0
- package/www/codemirror/addon/fold/foldgutter.js +169 -0
- package/www/codemirror/addon/fold/indent-fold.js +48 -0
- package/www/codemirror/addon/fold/markdown-fold.js +49 -0
- package/www/codemirror/addon/fold/xml-fold.js +184 -0
- package/www/codemirror/addon/hint/anyword-hint.js +41 -0
- package/www/codemirror/addon/hint/css-hint.js +66 -0
- package/www/codemirror/addon/hint/html-hint.js +351 -0
- package/www/codemirror/addon/hint/javascript-hint.js +162 -0
- package/www/codemirror/addon/hint/show-hint.css +37 -0
- package/www/codemirror/addon/hint/show-hint.js +523 -0
- package/www/codemirror/addon/hint/sql-hint.js +304 -0
- package/www/codemirror/addon/hint/xml-hint.js +132 -0
- package/www/codemirror/addon/lint/coffeescript-lint.js +47 -0
- package/www/codemirror/addon/lint/css-lint.js +40 -0
- package/www/codemirror/addon/lint/html-lint.js +59 -0
- package/www/codemirror/addon/lint/javascript-lint.js +65 -0
- package/www/codemirror/addon/lint/json-lint.js +40 -0
- package/www/codemirror/addon/lint/lint.css +79 -0
- package/www/codemirror/addon/lint/lint.js +291 -0
- package/www/codemirror/addon/lint/yaml-lint.js +41 -0
- package/www/codemirror/addon/merge/merge.css +119 -0
- package/www/codemirror/addon/merge/merge.js +1018 -0
- package/www/codemirror/addon/mode/loadmode.js +66 -0
- package/www/codemirror/addon/mode/multiplex.js +136 -0
- package/www/codemirror/addon/mode/multiplex_test.js +49 -0
- package/www/codemirror/addon/mode/overlay.js +90 -0
- package/www/codemirror/addon/mode/simple.js +216 -0
- package/www/codemirror/addon/runmode/colorize.js +40 -0
- package/www/codemirror/addon/runmode/runmode-standalone.js +334 -0
- package/www/codemirror/addon/runmode/runmode.js +76 -0
- package/www/codemirror/addon/runmode/runmode.node.js +329 -0
- package/www/codemirror/addon/scroll/annotatescrollbar.js +128 -0
- package/www/codemirror/addon/scroll/scrollpastend.js +48 -0
- package/www/codemirror/addon/scroll/simplescrollbars.css +66 -0
- package/www/codemirror/addon/scroll/simplescrollbars.js +152 -0
- package/www/codemirror/addon/search/jump-to-line.js +53 -0
- package/www/codemirror/addon/search/match-highlighter.js +167 -0
- package/www/codemirror/addon/search/matchesonscrollbar.css +8 -0
- package/www/codemirror/addon/search/matchesonscrollbar.js +97 -0
- package/www/codemirror/addon/search/search.js +295 -0
- package/www/codemirror/addon/search/searchcursor.js +305 -0
- package/www/codemirror/addon/selection/active-line.js +72 -0
- package/www/codemirror/addon/selection/mark-selection.js +119 -0
- package/www/codemirror/addon/selection/selection-pointer.js +98 -0
- package/www/codemirror/addon/tern/tern.css +87 -0
- package/www/codemirror/addon/tern/tern.js +756 -0
- package/www/codemirror/addon/tern/worker.js +44 -0
- package/www/codemirror/addon/wrap/hardwrap.js +160 -0
- package/www/codemirror/bin/source-highlight +48 -0
- package/www/codemirror/keymap/emacs.js +545 -0
- package/www/codemirror/keymap/sublime.js +720 -0
- package/www/codemirror/keymap/vim.js +5978 -0
- package/www/codemirror/lib/codemirror.css +344 -0
- package/www/codemirror/lib/codemirror.js +9874 -0
- package/www/codemirror/mode/apl/apl.js +174 -0
- package/www/codemirror/mode/asciiarmor/asciiarmor.js +74 -0
- package/www/codemirror/mode/asn.1/asn.1.js +204 -0
- package/www/codemirror/mode/asterisk/asterisk.js +220 -0
- package/www/codemirror/mode/brainfuck/brainfuck.js +85 -0
- package/www/codemirror/mode/clike/clike.js +940 -0
- package/www/codemirror/mode/clojure/clojure.js +292 -0
- package/www/codemirror/mode/cmake/cmake.js +97 -0
- package/www/codemirror/mode/cobol/cobol.js +255 -0
- package/www/codemirror/mode/coffeescript/coffeescript.js +359 -0
- package/www/codemirror/mode/commonlisp/commonlisp.js +125 -0
- package/www/codemirror/mode/crystal/crystal.js +433 -0
- package/www/codemirror/mode/css/css.js +862 -0
- package/www/codemirror/mode/cypher/cypher.js +152 -0
- package/www/codemirror/mode/d/d.js +223 -0
- package/www/codemirror/mode/dart/dart.js +166 -0
- package/www/codemirror/mode/diff/diff.js +47 -0
- package/www/codemirror/mode/django/django.js +356 -0
- package/www/codemirror/mode/dockerfile/dockerfile.js +211 -0
- package/www/codemirror/mode/dtd/dtd.js +142 -0
- package/www/codemirror/mode/dylan/dylan.js +352 -0
- package/www/codemirror/mode/ebnf/ebnf.js +195 -0
- package/www/codemirror/mode/ecl/ecl.js +206 -0
- package/www/codemirror/mode/eiffel/eiffel.js +160 -0
- package/www/codemirror/mode/elm/elm.js +245 -0
- package/www/codemirror/mode/erlang/erlang.js +619 -0
- package/www/codemirror/mode/factor/factor.js +85 -0
- package/www/codemirror/mode/fcl/fcl.js +173 -0
- package/www/codemirror/mode/forth/forth.js +180 -0
- package/www/codemirror/mode/fortran/fortran.js +188 -0
- package/www/codemirror/mode/gas/gas.js +353 -0
- package/www/codemirror/mode/gfm/gfm.js +129 -0
- package/www/codemirror/mode/gherkin/gherkin.js +178 -0
- package/www/codemirror/mode/go/go.js +187 -0
- package/www/codemirror/mode/groovy/groovy.js +247 -0
- package/www/codemirror/mode/haml/haml.js +161 -0
- package/www/codemirror/mode/handlebars/handlebars.js +70 -0
- package/www/codemirror/mode/haskell/haskell.js +268 -0
- package/www/codemirror/mode/haskell-literate/haskell-literate.js +43 -0
- package/www/codemirror/mode/haxe/haxe.js +515 -0
- package/www/codemirror/mode/htmlembedded/htmlembedded.js +37 -0
- package/www/codemirror/mode/htmlmixed/htmlmixed.js +153 -0
- package/www/codemirror/mode/http/http.js +113 -0
- package/www/codemirror/mode/idl/idl.js +290 -0
- package/www/codemirror/mode/javascript/javascript.js +960 -0
- package/www/codemirror/mode/jinja2/jinja2.js +193 -0
- package/www/codemirror/mode/jsx/jsx.js +148 -0
- package/www/codemirror/mode/julia/julia.js +390 -0
- package/www/codemirror/mode/livescript/livescript.js +280 -0
- package/www/codemirror/mode/lua/lua.js +160 -0
- package/www/codemirror/mode/markdown/markdown.js +886 -0
- package/www/codemirror/mode/mathematica/mathematica.js +176 -0
- package/www/codemirror/mode/mbox/mbox.js +129 -0
- package/www/codemirror/mode/meta.js +221 -0
- package/www/codemirror/mode/mirc/mirc.js +193 -0
- package/www/codemirror/mode/mllike/mllike.js +359 -0
- package/www/codemirror/mode/modelica/modelica.js +245 -0
- package/www/codemirror/mode/mscgen/mscgen.js +175 -0
- package/www/codemirror/mode/mumps/mumps.js +148 -0
- package/www/codemirror/mode/nginx/nginx.js +178 -0
- package/www/codemirror/mode/nsis/nsis.js +95 -0
- package/www/codemirror/mode/ntriples/ntriples.js +195 -0
- package/www/codemirror/mode/octave/octave.js +139 -0
- package/www/codemirror/mode/oz/oz.js +252 -0
- package/www/codemirror/mode/pascal/pascal.js +136 -0
- package/www/codemirror/mode/pegjs/pegjs.js +111 -0
- package/www/codemirror/mode/perl/perl.js +836 -0
- package/www/codemirror/mode/php/php.js +234 -0
- package/www/codemirror/mode/pig/pig.js +178 -0
- package/www/codemirror/mode/powershell/powershell.js +398 -0
- package/www/codemirror/mode/properties/properties.js +78 -0
- package/www/codemirror/mode/protobuf/protobuf.js +72 -0
- package/www/codemirror/mode/pug/pug.js +591 -0
- package/www/codemirror/mode/puppet/puppet.js +220 -0
- package/www/codemirror/mode/python/python.js +402 -0
- package/www/codemirror/mode/q/q.js +139 -0
- package/www/codemirror/mode/r/r.js +190 -0
- package/www/codemirror/mode/rpm/changes/index.html +66 -0
- package/www/codemirror/mode/rpm/rpm.js +109 -0
- package/www/codemirror/mode/rst/rst.js +557 -0
- package/www/codemirror/mode/ruby/ruby.js +303 -0
- package/www/codemirror/mode/rust/rust.js +72 -0
- package/www/codemirror/mode/sas/sas.js +303 -0
- package/www/codemirror/mode/sass/sass.js +459 -0
- package/www/codemirror/mode/scheme/scheme.js +284 -0
- package/www/codemirror/mode/shell/shell.js +168 -0
- package/www/codemirror/mode/sieve/sieve.js +193 -0
- package/www/codemirror/mode/slim/slim.js +575 -0
- package/www/codemirror/mode/smalltalk/smalltalk.js +168 -0
- package/www/codemirror/mode/smarty/smarty.js +225 -0
- package/www/codemirror/mode/solr/solr.js +104 -0
- package/www/codemirror/mode/soy/soy.js +665 -0
- package/www/codemirror/mode/sparql/sparql.js +184 -0
- package/www/codemirror/mode/spreadsheet/spreadsheet.js +112 -0
- package/www/codemirror/mode/sql/sql.js +525 -0
- package/www/codemirror/mode/stex/stex.js +264 -0
- package/www/codemirror/mode/stylus/stylus.js +775 -0
- package/www/codemirror/mode/swift/swift.js +221 -0
- package/www/codemirror/mode/tcl/tcl.js +140 -0
- package/www/codemirror/mode/textile/textile.js +469 -0
- package/www/codemirror/mode/tiddlywiki/tiddlywiki.css +14 -0
- package/www/codemirror/mode/tiddlywiki/tiddlywiki.js +308 -0
- package/www/codemirror/mode/tiki/tiki.css +26 -0
- package/www/codemirror/mode/tiki/tiki.js +312 -0
- package/www/codemirror/mode/toml/toml.js +88 -0
- package/www/codemirror/mode/tornado/tornado.js +68 -0
- package/www/codemirror/mode/troff/troff.js +84 -0
- package/www/codemirror/mode/ttcn/ttcn.js +283 -0
- package/www/codemirror/mode/ttcn-cfg/ttcn-cfg.js +214 -0
- package/www/codemirror/mode/turtle/turtle.js +162 -0
- package/www/codemirror/mode/twig/twig.js +141 -0
- package/www/codemirror/mode/vb/vb.js +275 -0
- package/www/codemirror/mode/vbscript/vbscript.js +350 -0
- package/www/codemirror/mode/velocity/velocity.js +202 -0
- package/www/codemirror/mode/verilog/verilog.js +781 -0
- package/www/codemirror/mode/vhdl/vhdl.js +189 -0
- package/www/codemirror/mode/vue/vue.js +77 -0
- package/www/codemirror/mode/wast/wast.js +132 -0
- package/www/codemirror/mode/webidl/webidl.js +195 -0
- package/www/codemirror/mode/xml/xml.js +417 -0
- package/www/codemirror/mode/xquery/xquery.js +448 -0
- package/www/codemirror/mode/yacas/yacas.js +204 -0
- package/www/codemirror/mode/yaml/yaml.js +120 -0
- package/www/codemirror/mode/yaml-frontmatter/yaml-frontmatter.js +72 -0
- package/www/codemirror/mode/z80/z80.js +116 -0
- package/www/codemirror/package.json +52 -0
- package/www/codemirror/rollup.config.js +52 -0
- package/www/codemirror/src/addon/runmode/codemirror-standalone.js +24 -0
- package/www/codemirror/src/addon/runmode/codemirror.node.js +21 -0
- package/www/codemirror/src/addon/runmode/runmode-standalone.js +2 -0
- package/www/codemirror/src/addon/runmode/runmode.node.js +2 -0
- package/www/codemirror/src/codemirror.js +3 -0
- package/www/codemirror/src/display/Display.js +116 -0
- package/www/codemirror/src/display/focus.js +50 -0
- package/www/codemirror/src/display/gutters.js +44 -0
- package/www/codemirror/src/display/highlight_worker.js +55 -0
- package/www/codemirror/src/display/line_numbers.js +48 -0
- package/www/codemirror/src/display/mode_state.js +22 -0
- package/www/codemirror/src/display/operations.js +206 -0
- package/www/codemirror/src/display/scroll_events.js +132 -0
- package/www/codemirror/src/display/scrollbars.js +194 -0
- package/www/codemirror/src/display/scrolling.js +186 -0
- package/www/codemirror/src/display/selection.js +173 -0
- package/www/codemirror/src/display/update_display.js +267 -0
- package/www/codemirror/src/display/update_line.js +189 -0
- package/www/codemirror/src/display/update_lines.js +82 -0
- package/www/codemirror/src/display/view_tracking.js +153 -0
- package/www/codemirror/src/edit/CodeMirror.js +217 -0
- package/www/codemirror/src/edit/commands.js +178 -0
- package/www/codemirror/src/edit/deleteNearSelection.js +30 -0
- package/www/codemirror/src/edit/drop_events.js +130 -0
- package/www/codemirror/src/edit/fromTextArea.js +61 -0
- package/www/codemirror/src/edit/global_events.js +45 -0
- package/www/codemirror/src/edit/key_events.js +163 -0
- package/www/codemirror/src/edit/legacy.js +62 -0
- package/www/codemirror/src/edit/main.js +69 -0
- package/www/codemirror/src/edit/methods.js +555 -0
- package/www/codemirror/src/edit/mouse_events.js +417 -0
- package/www/codemirror/src/edit/options.js +194 -0
- package/www/codemirror/src/edit/utils.js +7 -0
- package/www/codemirror/src/input/ContentEditableInput.js +546 -0
- package/www/codemirror/src/input/TextareaInput.js +380 -0
- package/www/codemirror/src/input/indent.js +71 -0
- package/www/codemirror/src/input/input.js +134 -0
- package/www/codemirror/src/input/keymap.js +147 -0
- package/www/codemirror/src/input/keynames.js +17 -0
- package/www/codemirror/src/input/movement.js +111 -0
- package/www/codemirror/src/line/highlight.js +284 -0
- package/www/codemirror/src/line/line_data.js +349 -0
- package/www/codemirror/src/line/pos.js +40 -0
- package/www/codemirror/src/line/saw_special_spans.js +10 -0
- package/www/codemirror/src/line/spans.js +390 -0
- package/www/codemirror/src/line/utils_line.js +85 -0
- package/www/codemirror/src/measurement/position_measurement.js +702 -0
- package/www/codemirror/src/measurement/widgets.js +26 -0
- package/www/codemirror/src/model/Doc.js +436 -0
- package/www/codemirror/src/model/change_measurement.js +61 -0
- package/www/codemirror/src/model/changes.js +339 -0
- package/www/codemirror/src/model/chunk.js +167 -0
- package/www/codemirror/src/model/document_data.js +112 -0
- package/www/codemirror/src/model/history.js +228 -0
- package/www/codemirror/src/model/line_widget.js +78 -0
- package/www/codemirror/src/model/mark_text.js +293 -0
- package/www/codemirror/src/model/selection.js +84 -0
- package/www/codemirror/src/model/selection_updates.js +216 -0
- package/www/codemirror/src/modes.js +96 -0
- package/www/codemirror/src/util/StringStream.js +90 -0
- package/www/codemirror/src/util/bidi.js +215 -0
- package/www/codemirror/src/util/browser.js +34 -0
- package/www/codemirror/src/util/dom.js +101 -0
- package/www/codemirror/src/util/event.js +103 -0
- package/www/codemirror/src/util/feature_detection.js +84 -0
- package/www/codemirror/src/util/misc.js +168 -0
- package/www/codemirror/src/util/operation_group.js +72 -0
- package/www/codemirror/theme/3024-day.css +41 -0
- package/www/codemirror/theme/3024-night.css +39 -0
- package/www/codemirror/theme/abbott.css +268 -0
- package/www/codemirror/theme/abcdef.css +32 -0
- package/www/codemirror/theme/ambiance-mobile.css +5 -0
- package/www/codemirror/theme/ambiance.css +74 -0
- package/www/codemirror/theme/ayu-dark.css +44 -0
- package/www/codemirror/theme/ayu-mirage.css +45 -0
- package/www/codemirror/theme/base16-dark.css +40 -0
- package/www/codemirror/theme/base16-light.css +38 -0
- package/www/codemirror/theme/bespin.css +34 -0
- package/www/codemirror/theme/blackboard.css +32 -0
- package/www/codemirror/theme/cobalt.css +25 -0
- package/www/codemirror/theme/colorforth.css +33 -0
- package/www/codemirror/theme/darcula.css +53 -0
- package/www/codemirror/theme/dracula.css +40 -0
- package/www/codemirror/theme/duotone-dark.css +35 -0
- package/www/codemirror/theme/duotone-light.css +36 -0
- package/www/codemirror/theme/eclipse.css +23 -0
- package/www/codemirror/theme/elegant.css +13 -0
- package/www/codemirror/theme/erlang-dark.css +34 -0
- package/www/codemirror/theme/gruvbox-dark.css +39 -0
- package/www/codemirror/theme/hopscotch.css +34 -0
- package/www/codemirror/theme/icecoder.css +43 -0
- package/www/codemirror/theme/idea.css +42 -0
- package/www/codemirror/theme/isotope.css +34 -0
- package/www/codemirror/theme/juejin.css +30 -0
- package/www/codemirror/theme/lesser-dark.css +47 -0
- package/www/codemirror/theme/liquibyte.css +95 -0
- package/www/codemirror/theme/lucario.css +37 -0
- package/www/codemirror/theme/material-darker.css +135 -0
- package/www/codemirror/theme/material-ocean.css +141 -0
- package/www/codemirror/theme/material-palenight.css +141 -0
- package/www/codemirror/theme/material.css +141 -0
- package/www/codemirror/theme/mbo.css +37 -0
- package/www/codemirror/theme/mdn-like.css +46 -0
- package/www/codemirror/theme/midnight.css +39 -0
- package/www/codemirror/theme/monokai.css +41 -0
- package/www/codemirror/theme/moxer.css +143 -0
- package/www/codemirror/theme/neat.css +12 -0
- package/www/codemirror/theme/neo.css +43 -0
- package/www/codemirror/theme/night.css +27 -0
- package/www/codemirror/theme/nord.css +42 -0
- package/www/codemirror/theme/oceanic-next.css +46 -0
- package/www/codemirror/theme/panda-syntax.css +85 -0
- package/www/codemirror/theme/paraiso-dark.css +38 -0
- package/www/codemirror/theme/paraiso-light.css +38 -0
- package/www/codemirror/theme/pastel-on-dark.css +52 -0
- package/www/codemirror/theme/railscasts.css +34 -0
- package/www/codemirror/theme/rubyblue.css +25 -0
- package/www/codemirror/theme/seti.css +44 -0
- package/www/codemirror/theme/shadowfox.css +52 -0
- package/www/codemirror/theme/solarized.css +165 -0
- package/www/codemirror/theme/ssms.css +16 -0
- package/www/codemirror/theme/the-matrix.css +30 -0
- package/www/codemirror/theme/tomorrow-night-bright.css +35 -0
- package/www/codemirror/theme/tomorrow-night-eighties.css +38 -0
- package/www/codemirror/theme/ttcn.css +64 -0
- package/www/codemirror/theme/twilight.css +32 -0
- package/www/codemirror/theme/vibrant-ink.css +34 -0
- package/www/codemirror/theme/xq-dark.css +53 -0
- package/www/codemirror/theme/xq-light.css +43 -0
- package/www/codemirror/theme/yeti.css +44 -0
- package/www/codemirror/theme/yonce.css +59 -0
- package/www/codemirror/theme/zenburn.css +37 -0
- package/www/index.html +216 -0
|
@@ -0,0 +1,329 @@
|
|
|
1
|
+
'use strict';
|
|
2
|
+
|
|
3
|
+
function copyObj(obj, target, overwrite) {
|
|
4
|
+
if (!target) { target = {}; }
|
|
5
|
+
for (var prop in obj)
|
|
6
|
+
{ if (obj.hasOwnProperty(prop) && (overwrite !== false || !target.hasOwnProperty(prop)))
|
|
7
|
+
{ target[prop] = obj[prop]; } }
|
|
8
|
+
return target
|
|
9
|
+
}
|
|
10
|
+
|
|
11
|
+
// Counts the column offset in a string, taking tabs into account.
|
|
12
|
+
// Used mostly to find indentation.
|
|
13
|
+
function countColumn(string, end, tabSize, startIndex, startValue) {
|
|
14
|
+
if (end == null) {
|
|
15
|
+
end = string.search(/[^\s\u00a0]/);
|
|
16
|
+
if (end == -1) { end = string.length; }
|
|
17
|
+
}
|
|
18
|
+
for (var i = startIndex || 0, n = startValue || 0;;) {
|
|
19
|
+
var nextTab = string.indexOf("\t", i);
|
|
20
|
+
if (nextTab < 0 || nextTab >= end)
|
|
21
|
+
{ return n + (end - i) }
|
|
22
|
+
n += nextTab - i;
|
|
23
|
+
n += tabSize - (n % tabSize);
|
|
24
|
+
i = nextTab + 1;
|
|
25
|
+
}
|
|
26
|
+
}
|
|
27
|
+
|
|
28
|
+
function nothing() {}
|
|
29
|
+
|
|
30
|
+
function createObj(base, props) {
|
|
31
|
+
var inst;
|
|
32
|
+
if (Object.create) {
|
|
33
|
+
inst = Object.create(base);
|
|
34
|
+
} else {
|
|
35
|
+
nothing.prototype = base;
|
|
36
|
+
inst = new nothing();
|
|
37
|
+
}
|
|
38
|
+
if (props) { copyObj(props, inst); }
|
|
39
|
+
return inst
|
|
40
|
+
}
|
|
41
|
+
|
|
42
|
+
// STRING STREAM
|
|
43
|
+
|
|
44
|
+
// Fed to the mode parsers, provides helper functions to make
|
|
45
|
+
// parsers more succinct.
|
|
46
|
+
|
|
47
|
+
var StringStream = function(string, tabSize, lineOracle) {
|
|
48
|
+
this.pos = this.start = 0;
|
|
49
|
+
this.string = string;
|
|
50
|
+
this.tabSize = tabSize || 8;
|
|
51
|
+
this.lastColumnPos = this.lastColumnValue = 0;
|
|
52
|
+
this.lineStart = 0;
|
|
53
|
+
this.lineOracle = lineOracle;
|
|
54
|
+
};
|
|
55
|
+
|
|
56
|
+
StringStream.prototype.eol = function () {return this.pos >= this.string.length};
|
|
57
|
+
StringStream.prototype.sol = function () {return this.pos == this.lineStart};
|
|
58
|
+
StringStream.prototype.peek = function () {return this.string.charAt(this.pos) || undefined};
|
|
59
|
+
StringStream.prototype.next = function () {
|
|
60
|
+
if (this.pos < this.string.length)
|
|
61
|
+
{ return this.string.charAt(this.pos++) }
|
|
62
|
+
};
|
|
63
|
+
StringStream.prototype.eat = function (match) {
|
|
64
|
+
var ch = this.string.charAt(this.pos);
|
|
65
|
+
var ok;
|
|
66
|
+
if (typeof match == "string") { ok = ch == match; }
|
|
67
|
+
else { ok = ch && (match.test ? match.test(ch) : match(ch)); }
|
|
68
|
+
if (ok) {++this.pos; return ch}
|
|
69
|
+
};
|
|
70
|
+
StringStream.prototype.eatWhile = function (match) {
|
|
71
|
+
var start = this.pos;
|
|
72
|
+
while (this.eat(match)){}
|
|
73
|
+
return this.pos > start
|
|
74
|
+
};
|
|
75
|
+
StringStream.prototype.eatSpace = function () {
|
|
76
|
+
var start = this.pos;
|
|
77
|
+
while (/[\s\u00a0]/.test(this.string.charAt(this.pos))) { ++this.pos; }
|
|
78
|
+
return this.pos > start
|
|
79
|
+
};
|
|
80
|
+
StringStream.prototype.skipToEnd = function () {this.pos = this.string.length;};
|
|
81
|
+
StringStream.prototype.skipTo = function (ch) {
|
|
82
|
+
var found = this.string.indexOf(ch, this.pos);
|
|
83
|
+
if (found > -1) {this.pos = found; return true}
|
|
84
|
+
};
|
|
85
|
+
StringStream.prototype.backUp = function (n) {this.pos -= n;};
|
|
86
|
+
StringStream.prototype.column = function () {
|
|
87
|
+
if (this.lastColumnPos < this.start) {
|
|
88
|
+
this.lastColumnValue = countColumn(this.string, this.start, this.tabSize, this.lastColumnPos, this.lastColumnValue);
|
|
89
|
+
this.lastColumnPos = this.start;
|
|
90
|
+
}
|
|
91
|
+
return this.lastColumnValue - (this.lineStart ? countColumn(this.string, this.lineStart, this.tabSize) : 0)
|
|
92
|
+
};
|
|
93
|
+
StringStream.prototype.indentation = function () {
|
|
94
|
+
return countColumn(this.string, null, this.tabSize) -
|
|
95
|
+
(this.lineStart ? countColumn(this.string, this.lineStart, this.tabSize) : 0)
|
|
96
|
+
};
|
|
97
|
+
StringStream.prototype.match = function (pattern, consume, caseInsensitive) {
|
|
98
|
+
if (typeof pattern == "string") {
|
|
99
|
+
var cased = function (str) { return caseInsensitive ? str.toLowerCase() : str; };
|
|
100
|
+
var substr = this.string.substr(this.pos, pattern.length);
|
|
101
|
+
if (cased(substr) == cased(pattern)) {
|
|
102
|
+
if (consume !== false) { this.pos += pattern.length; }
|
|
103
|
+
return true
|
|
104
|
+
}
|
|
105
|
+
} else {
|
|
106
|
+
var match = this.string.slice(this.pos).match(pattern);
|
|
107
|
+
if (match && match.index > 0) { return null }
|
|
108
|
+
if (match && consume !== false) { this.pos += match[0].length; }
|
|
109
|
+
return match
|
|
110
|
+
}
|
|
111
|
+
};
|
|
112
|
+
StringStream.prototype.current = function (){return this.string.slice(this.start, this.pos)};
|
|
113
|
+
StringStream.prototype.hideFirstChars = function (n, inner) {
|
|
114
|
+
this.lineStart += n;
|
|
115
|
+
try { return inner() }
|
|
116
|
+
finally { this.lineStart -= n; }
|
|
117
|
+
};
|
|
118
|
+
StringStream.prototype.lookAhead = function (n) {
|
|
119
|
+
var oracle = this.lineOracle;
|
|
120
|
+
return oracle && oracle.lookAhead(n)
|
|
121
|
+
};
|
|
122
|
+
StringStream.prototype.baseToken = function () {
|
|
123
|
+
var oracle = this.lineOracle;
|
|
124
|
+
return oracle && oracle.baseToken(this.pos)
|
|
125
|
+
};
|
|
126
|
+
|
|
127
|
+
// Known modes, by name and by MIME
|
|
128
|
+
var modes = {}, mimeModes = {};
|
|
129
|
+
|
|
130
|
+
// Extra arguments are stored as the mode's dependencies, which is
|
|
131
|
+
// used by (legacy) mechanisms like loadmode.js to automatically
|
|
132
|
+
// load a mode. (Preferred mechanism is the require/define calls.)
|
|
133
|
+
function defineMode(name, mode) {
|
|
134
|
+
if (arguments.length > 2)
|
|
135
|
+
{ mode.dependencies = Array.prototype.slice.call(arguments, 2); }
|
|
136
|
+
modes[name] = mode;
|
|
137
|
+
}
|
|
138
|
+
|
|
139
|
+
function defineMIME(mime, spec) {
|
|
140
|
+
mimeModes[mime] = spec;
|
|
141
|
+
}
|
|
142
|
+
|
|
143
|
+
// Given a MIME type, a {name, ...options} config object, or a name
|
|
144
|
+
// string, return a mode config object.
|
|
145
|
+
function resolveMode(spec) {
|
|
146
|
+
if (typeof spec == "string" && mimeModes.hasOwnProperty(spec)) {
|
|
147
|
+
spec = mimeModes[spec];
|
|
148
|
+
} else if (spec && typeof spec.name == "string" && mimeModes.hasOwnProperty(spec.name)) {
|
|
149
|
+
var found = mimeModes[spec.name];
|
|
150
|
+
if (typeof found == "string") { found = {name: found}; }
|
|
151
|
+
spec = createObj(found, spec);
|
|
152
|
+
spec.name = found.name;
|
|
153
|
+
} else if (typeof spec == "string" && /^[\w\-]+\/[\w\-]+\+xml$/.test(spec)) {
|
|
154
|
+
return resolveMode("application/xml")
|
|
155
|
+
} else if (typeof spec == "string" && /^[\w\-]+\/[\w\-]+\+json$/.test(spec)) {
|
|
156
|
+
return resolveMode("application/json")
|
|
157
|
+
}
|
|
158
|
+
if (typeof spec == "string") { return {name: spec} }
|
|
159
|
+
else { return spec || {name: "null"} }
|
|
160
|
+
}
|
|
161
|
+
|
|
162
|
+
// Given a mode spec (anything that resolveMode accepts), find and
|
|
163
|
+
// initialize an actual mode object.
|
|
164
|
+
function getMode(options, spec) {
|
|
165
|
+
spec = resolveMode(spec);
|
|
166
|
+
var mfactory = modes[spec.name];
|
|
167
|
+
if (!mfactory) { return getMode(options, "text/plain") }
|
|
168
|
+
var modeObj = mfactory(options, spec);
|
|
169
|
+
if (modeExtensions.hasOwnProperty(spec.name)) {
|
|
170
|
+
var exts = modeExtensions[spec.name];
|
|
171
|
+
for (var prop in exts) {
|
|
172
|
+
if (!exts.hasOwnProperty(prop)) { continue }
|
|
173
|
+
if (modeObj.hasOwnProperty(prop)) { modeObj["_" + prop] = modeObj[prop]; }
|
|
174
|
+
modeObj[prop] = exts[prop];
|
|
175
|
+
}
|
|
176
|
+
}
|
|
177
|
+
modeObj.name = spec.name;
|
|
178
|
+
if (spec.helperType) { modeObj.helperType = spec.helperType; }
|
|
179
|
+
if (spec.modeProps) { for (var prop$1 in spec.modeProps)
|
|
180
|
+
{ modeObj[prop$1] = spec.modeProps[prop$1]; } }
|
|
181
|
+
|
|
182
|
+
return modeObj
|
|
183
|
+
}
|
|
184
|
+
|
|
185
|
+
// This can be used to attach properties to mode objects from
|
|
186
|
+
// outside the actual mode definition.
|
|
187
|
+
var modeExtensions = {};
|
|
188
|
+
function extendMode(mode, properties) {
|
|
189
|
+
var exts = modeExtensions.hasOwnProperty(mode) ? modeExtensions[mode] : (modeExtensions[mode] = {});
|
|
190
|
+
copyObj(properties, exts);
|
|
191
|
+
}
|
|
192
|
+
|
|
193
|
+
function copyState(mode, state) {
|
|
194
|
+
if (state === true) { return state }
|
|
195
|
+
if (mode.copyState) { return mode.copyState(state) }
|
|
196
|
+
var nstate = {};
|
|
197
|
+
for (var n in state) {
|
|
198
|
+
var val = state[n];
|
|
199
|
+
if (val instanceof Array) { val = val.concat([]); }
|
|
200
|
+
nstate[n] = val;
|
|
201
|
+
}
|
|
202
|
+
return nstate
|
|
203
|
+
}
|
|
204
|
+
|
|
205
|
+
// Given a mode and a state (for that mode), find the inner mode and
|
|
206
|
+
// state at the position that the state refers to.
|
|
207
|
+
function innerMode(mode, state) {
|
|
208
|
+
var info;
|
|
209
|
+
while (mode.innerMode) {
|
|
210
|
+
info = mode.innerMode(state);
|
|
211
|
+
if (!info || info.mode == mode) { break }
|
|
212
|
+
state = info.state;
|
|
213
|
+
mode = info.mode;
|
|
214
|
+
}
|
|
215
|
+
return info || {mode: mode, state: state}
|
|
216
|
+
}
|
|
217
|
+
|
|
218
|
+
function startState(mode, a1, a2) {
|
|
219
|
+
return mode.startState ? mode.startState(a1, a2) : true
|
|
220
|
+
}
|
|
221
|
+
|
|
222
|
+
var modeMethods = {
|
|
223
|
+
__proto__: null,
|
|
224
|
+
modes: modes,
|
|
225
|
+
mimeModes: mimeModes,
|
|
226
|
+
defineMode: defineMode,
|
|
227
|
+
defineMIME: defineMIME,
|
|
228
|
+
resolveMode: resolveMode,
|
|
229
|
+
getMode: getMode,
|
|
230
|
+
modeExtensions: modeExtensions,
|
|
231
|
+
extendMode: extendMode,
|
|
232
|
+
copyState: copyState,
|
|
233
|
+
innerMode: innerMode,
|
|
234
|
+
startState: startState
|
|
235
|
+
};
|
|
236
|
+
|
|
237
|
+
// Copy StringStream and mode methods into exports (CodeMirror) object.
|
|
238
|
+
exports.StringStream = StringStream;
|
|
239
|
+
exports.countColumn = countColumn;
|
|
240
|
+
for (var exported in modeMethods) { exports[exported] = modeMethods[exported]; }
|
|
241
|
+
|
|
242
|
+
// Shim library CodeMirror with the minimal CodeMirror defined above.
|
|
243
|
+
require.cache[require.resolve("../../lib/codemirror")] = require.cache[require.resolve("./runmode.node")];
|
|
244
|
+
require.cache[require.resolve("../../addon/runmode/runmode")] = require.cache[require.resolve("./runmode.node")];
|
|
245
|
+
|
|
246
|
+
// Minimal default mode.
|
|
247
|
+
exports.defineMode("null", function () { return ({token: function (stream) { return stream.skipToEnd(); }}); });
|
|
248
|
+
exports.defineMIME("text/plain", "null");
|
|
249
|
+
|
|
250
|
+
exports.registerHelper = exports.registerGlobalHelper = Math.min;
|
|
251
|
+
exports.splitLines = function(string) { return string.split(/\r?\n|\r/) };
|
|
252
|
+
|
|
253
|
+
exports.defaults = { indentUnit: 2 };
|
|
254
|
+
|
|
255
|
+
// CodeMirror, copyright (c) by Marijn Haverbeke and others
|
|
256
|
+
// Distributed under an MIT license: https://codemirror.net/5/LICENSE
|
|
257
|
+
|
|
258
|
+
(function(mod) {
|
|
259
|
+
if (typeof exports == "object" && typeof module == "object") // CommonJS
|
|
260
|
+
{ mod(require("../../lib/codemirror")); }
|
|
261
|
+
else if (typeof define == "function" && define.amd) // AMD
|
|
262
|
+
{ define(["../../lib/codemirror"], mod); }
|
|
263
|
+
else // Plain browser env
|
|
264
|
+
{ mod(CodeMirror); }
|
|
265
|
+
})(function(CodeMirror) {
|
|
266
|
+
|
|
267
|
+
CodeMirror.runMode = function(string, modespec, callback, options) {
|
|
268
|
+
var mode = CodeMirror.getMode(CodeMirror.defaults, modespec);
|
|
269
|
+
var tabSize = (options && options.tabSize) || CodeMirror.defaults.tabSize;
|
|
270
|
+
|
|
271
|
+
// Create a tokenizing callback function if passed-in callback is a DOM element.
|
|
272
|
+
if (callback.appendChild) {
|
|
273
|
+
var ie = /MSIE \d/.test(navigator.userAgent);
|
|
274
|
+
var ie_lt9 = ie && (document.documentMode == null || document.documentMode < 9);
|
|
275
|
+
var node = callback, col = 0;
|
|
276
|
+
node.textContent = "";
|
|
277
|
+
callback = function(text, style) {
|
|
278
|
+
if (text == "\n") {
|
|
279
|
+
// Emitting LF or CRLF on IE8 or earlier results in an incorrect display.
|
|
280
|
+
// Emitting a carriage return makes everything ok.
|
|
281
|
+
node.appendChild(document.createTextNode(ie_lt9 ? '\r' : text));
|
|
282
|
+
col = 0;
|
|
283
|
+
return;
|
|
284
|
+
}
|
|
285
|
+
var content = "";
|
|
286
|
+
// replace tabs
|
|
287
|
+
for (var pos = 0;;) {
|
|
288
|
+
var idx = text.indexOf("\t", pos);
|
|
289
|
+
if (idx == -1) {
|
|
290
|
+
content += text.slice(pos);
|
|
291
|
+
col += text.length - pos;
|
|
292
|
+
break;
|
|
293
|
+
} else {
|
|
294
|
+
col += idx - pos;
|
|
295
|
+
content += text.slice(pos, idx);
|
|
296
|
+
var size = tabSize - col % tabSize;
|
|
297
|
+
col += size;
|
|
298
|
+
for (var i = 0; i < size; ++i) { content += " "; }
|
|
299
|
+
pos = idx + 1;
|
|
300
|
+
}
|
|
301
|
+
}
|
|
302
|
+
// Create a node with token style and append it to the callback DOM element.
|
|
303
|
+
if (style) {
|
|
304
|
+
var sp = node.appendChild(document.createElement("span"));
|
|
305
|
+
sp.className = "cm-" + style.replace(/ +/g, " cm-");
|
|
306
|
+
sp.appendChild(document.createTextNode(content));
|
|
307
|
+
} else {
|
|
308
|
+
node.appendChild(document.createTextNode(content));
|
|
309
|
+
}
|
|
310
|
+
};
|
|
311
|
+
}
|
|
312
|
+
|
|
313
|
+
var lines = CodeMirror.splitLines(string), state = (options && options.state) || CodeMirror.startState(mode);
|
|
314
|
+
for (var i = 0, e = lines.length; i < e; ++i) {
|
|
315
|
+
if (i) { callback("\n"); }
|
|
316
|
+
var stream = new CodeMirror.StringStream(lines[i], null, {
|
|
317
|
+
lookAhead: function(n) { return lines[i + n] },
|
|
318
|
+
baseToken: function() {}
|
|
319
|
+
});
|
|
320
|
+
if (!stream.string && mode.blankLine) { mode.blankLine(state); }
|
|
321
|
+
while (!stream.eol()) {
|
|
322
|
+
var style = mode.token(stream, state);
|
|
323
|
+
callback(stream.current(), style, i, stream.start, state, mode);
|
|
324
|
+
stream.start = stream.pos;
|
|
325
|
+
}
|
|
326
|
+
}
|
|
327
|
+
};
|
|
328
|
+
|
|
329
|
+
});
|
|
@@ -0,0 +1,128 @@
|
|
|
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.defineExtension("annotateScrollbar", function(options) {
|
|
15
|
+
if (typeof options == "string") options = {className: options};
|
|
16
|
+
return new Annotation(this, options);
|
|
17
|
+
});
|
|
18
|
+
|
|
19
|
+
CodeMirror.defineOption("scrollButtonHeight", 0);
|
|
20
|
+
|
|
21
|
+
function Annotation(cm, options) {
|
|
22
|
+
this.cm = cm;
|
|
23
|
+
this.options = options;
|
|
24
|
+
this.buttonHeight = options.scrollButtonHeight || cm.getOption("scrollButtonHeight");
|
|
25
|
+
this.annotations = [];
|
|
26
|
+
this.doRedraw = this.doUpdate = null;
|
|
27
|
+
this.div = cm.getWrapperElement().appendChild(document.createElement("div"));
|
|
28
|
+
this.div.style.cssText = "position: absolute; right: 0; top: 0; z-index: 7; pointer-events: none";
|
|
29
|
+
this.computeScale();
|
|
30
|
+
|
|
31
|
+
function scheduleRedraw(delay) {
|
|
32
|
+
clearTimeout(self.doRedraw);
|
|
33
|
+
self.doRedraw = setTimeout(function() { self.redraw(); }, delay);
|
|
34
|
+
}
|
|
35
|
+
|
|
36
|
+
var self = this;
|
|
37
|
+
cm.on("refresh", this.resizeHandler = function() {
|
|
38
|
+
clearTimeout(self.doUpdate);
|
|
39
|
+
self.doUpdate = setTimeout(function() {
|
|
40
|
+
if (self.computeScale()) scheduleRedraw(20);
|
|
41
|
+
}, 100);
|
|
42
|
+
});
|
|
43
|
+
cm.on("markerAdded", this.resizeHandler);
|
|
44
|
+
cm.on("markerCleared", this.resizeHandler);
|
|
45
|
+
if (options.listenForChanges !== false)
|
|
46
|
+
cm.on("changes", this.changeHandler = function() {
|
|
47
|
+
scheduleRedraw(250);
|
|
48
|
+
});
|
|
49
|
+
}
|
|
50
|
+
|
|
51
|
+
Annotation.prototype.computeScale = function() {
|
|
52
|
+
var cm = this.cm;
|
|
53
|
+
var hScale = (cm.getWrapperElement().clientHeight - cm.display.barHeight - this.buttonHeight * 2) /
|
|
54
|
+
cm.getScrollerElement().scrollHeight
|
|
55
|
+
if (hScale != this.hScale) {
|
|
56
|
+
this.hScale = hScale;
|
|
57
|
+
return true;
|
|
58
|
+
}
|
|
59
|
+
};
|
|
60
|
+
|
|
61
|
+
Annotation.prototype.update = function(annotations) {
|
|
62
|
+
this.annotations = annotations;
|
|
63
|
+
this.redraw();
|
|
64
|
+
};
|
|
65
|
+
|
|
66
|
+
Annotation.prototype.redraw = function(compute) {
|
|
67
|
+
if (compute !== false) this.computeScale();
|
|
68
|
+
var cm = this.cm, hScale = this.hScale;
|
|
69
|
+
|
|
70
|
+
var frag = document.createDocumentFragment(), anns = this.annotations;
|
|
71
|
+
|
|
72
|
+
var wrapping = cm.getOption("lineWrapping");
|
|
73
|
+
var singleLineH = wrapping && cm.defaultTextHeight() * 1.5;
|
|
74
|
+
var curLine = null, curLineObj = null;
|
|
75
|
+
|
|
76
|
+
function getY(pos, top) {
|
|
77
|
+
if (curLine != pos.line) {
|
|
78
|
+
curLine = pos.line
|
|
79
|
+
curLineObj = cm.getLineHandle(pos.line)
|
|
80
|
+
var visual = cm.getLineHandleVisualStart(curLineObj)
|
|
81
|
+
if (visual != curLineObj) {
|
|
82
|
+
curLine = cm.getLineNumber(visual)
|
|
83
|
+
curLineObj = visual
|
|
84
|
+
}
|
|
85
|
+
}
|
|
86
|
+
if ((curLineObj.widgets && curLineObj.widgets.length) ||
|
|
87
|
+
(wrapping && curLineObj.height > singleLineH))
|
|
88
|
+
return cm.charCoords(pos, "local")[top ? "top" : "bottom"];
|
|
89
|
+
var topY = cm.heightAtLine(curLineObj, "local");
|
|
90
|
+
return topY + (top ? 0 : curLineObj.height);
|
|
91
|
+
}
|
|
92
|
+
|
|
93
|
+
var lastLine = cm.lastLine()
|
|
94
|
+
if (cm.display.barWidth) for (var i = 0, nextTop; i < anns.length; i++) {
|
|
95
|
+
var ann = anns[i];
|
|
96
|
+
if (ann.to.line > lastLine) continue;
|
|
97
|
+
var top = nextTop || getY(ann.from, true) * hScale;
|
|
98
|
+
var bottom = getY(ann.to, false) * hScale;
|
|
99
|
+
while (i < anns.length - 1) {
|
|
100
|
+
if (anns[i + 1].to.line > lastLine) break;
|
|
101
|
+
nextTop = getY(anns[i + 1].from, true) * hScale;
|
|
102
|
+
if (nextTop > bottom + .9) break;
|
|
103
|
+
ann = anns[++i];
|
|
104
|
+
bottom = getY(ann.to, false) * hScale;
|
|
105
|
+
}
|
|
106
|
+
if (bottom == top) continue;
|
|
107
|
+
var height = Math.max(bottom - top, 3);
|
|
108
|
+
|
|
109
|
+
var elt = frag.appendChild(document.createElement("div"));
|
|
110
|
+
elt.style.cssText = "position: absolute; right: 0px; width: " + Math.max(cm.display.barWidth - 1, 2) + "px; top: "
|
|
111
|
+
+ (top + this.buttonHeight) + "px; height: " + height + "px";
|
|
112
|
+
elt.className = this.options.className;
|
|
113
|
+
if (ann.id) {
|
|
114
|
+
elt.setAttribute("annotation-id", ann.id);
|
|
115
|
+
}
|
|
116
|
+
}
|
|
117
|
+
this.div.textContent = "";
|
|
118
|
+
this.div.appendChild(frag);
|
|
119
|
+
};
|
|
120
|
+
|
|
121
|
+
Annotation.prototype.clear = function() {
|
|
122
|
+
this.cm.off("refresh", this.resizeHandler);
|
|
123
|
+
this.cm.off("markerAdded", this.resizeHandler);
|
|
124
|
+
this.cm.off("markerCleared", this.resizeHandler);
|
|
125
|
+
if (this.changeHandler) this.cm.off("changes", this.changeHandler);
|
|
126
|
+
this.div.parentNode.removeChild(this.div);
|
|
127
|
+
};
|
|
128
|
+
});
|
|
@@ -0,0 +1,48 @@
|
|
|
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.defineOption("scrollPastEnd", false, function(cm, val, old) {
|
|
15
|
+
if (old && old != CodeMirror.Init) {
|
|
16
|
+
cm.off("change", onChange);
|
|
17
|
+
cm.off("refresh", updateBottomMargin);
|
|
18
|
+
cm.display.lineSpace.parentNode.style.paddingBottom = "";
|
|
19
|
+
cm.state.scrollPastEndPadding = null;
|
|
20
|
+
}
|
|
21
|
+
if (val) {
|
|
22
|
+
cm.on("change", onChange);
|
|
23
|
+
cm.on("refresh", updateBottomMargin);
|
|
24
|
+
updateBottomMargin(cm);
|
|
25
|
+
}
|
|
26
|
+
});
|
|
27
|
+
|
|
28
|
+
function onChange(cm, change) {
|
|
29
|
+
if (CodeMirror.changeEnd(change).line == cm.lastLine())
|
|
30
|
+
updateBottomMargin(cm);
|
|
31
|
+
}
|
|
32
|
+
|
|
33
|
+
function updateBottomMargin(cm) {
|
|
34
|
+
var padding = "";
|
|
35
|
+
if (cm.lineCount() > 1) {
|
|
36
|
+
var totalH = cm.display.scroller.clientHeight - 30,
|
|
37
|
+
lastLineH = cm.getLineHandle(cm.lastLine()).height;
|
|
38
|
+
padding = (totalH - lastLineH) + "px";
|
|
39
|
+
}
|
|
40
|
+
if (cm.state.scrollPastEndPadding != padding) {
|
|
41
|
+
cm.state.scrollPastEndPadding = padding;
|
|
42
|
+
cm.display.lineSpace.parentNode.style.paddingBottom = padding;
|
|
43
|
+
cm.off("refresh", updateBottomMargin);
|
|
44
|
+
cm.setSize();
|
|
45
|
+
cm.on("refresh", updateBottomMargin);
|
|
46
|
+
}
|
|
47
|
+
}
|
|
48
|
+
});
|
|
@@ -0,0 +1,66 @@
|
|
|
1
|
+
.CodeMirror-simplescroll-horizontal div, .CodeMirror-simplescroll-vertical div {
|
|
2
|
+
position: absolute;
|
|
3
|
+
background: #ccc;
|
|
4
|
+
-moz-box-sizing: border-box;
|
|
5
|
+
box-sizing: border-box;
|
|
6
|
+
border: 1px solid #bbb;
|
|
7
|
+
border-radius: 2px;
|
|
8
|
+
}
|
|
9
|
+
|
|
10
|
+
.CodeMirror-simplescroll-horizontal, .CodeMirror-simplescroll-vertical {
|
|
11
|
+
position: absolute;
|
|
12
|
+
z-index: 6;
|
|
13
|
+
background: #eee;
|
|
14
|
+
}
|
|
15
|
+
|
|
16
|
+
.CodeMirror-simplescroll-horizontal {
|
|
17
|
+
bottom: 0; left: 0;
|
|
18
|
+
height: 8px;
|
|
19
|
+
}
|
|
20
|
+
.CodeMirror-simplescroll-horizontal div {
|
|
21
|
+
bottom: 0;
|
|
22
|
+
height: 100%;
|
|
23
|
+
}
|
|
24
|
+
|
|
25
|
+
.CodeMirror-simplescroll-vertical {
|
|
26
|
+
right: 0; top: 0;
|
|
27
|
+
width: 8px;
|
|
28
|
+
}
|
|
29
|
+
.CodeMirror-simplescroll-vertical div {
|
|
30
|
+
right: 0;
|
|
31
|
+
width: 100%;
|
|
32
|
+
}
|
|
33
|
+
|
|
34
|
+
|
|
35
|
+
.CodeMirror-overlayscroll .CodeMirror-scrollbar-filler, .CodeMirror-overlayscroll .CodeMirror-gutter-filler {
|
|
36
|
+
display: none;
|
|
37
|
+
}
|
|
38
|
+
|
|
39
|
+
.CodeMirror-overlayscroll-horizontal div, .CodeMirror-overlayscroll-vertical div {
|
|
40
|
+
position: absolute;
|
|
41
|
+
background: #bcd;
|
|
42
|
+
border-radius: 3px;
|
|
43
|
+
}
|
|
44
|
+
|
|
45
|
+
.CodeMirror-overlayscroll-horizontal, .CodeMirror-overlayscroll-vertical {
|
|
46
|
+
position: absolute;
|
|
47
|
+
z-index: 6;
|
|
48
|
+
}
|
|
49
|
+
|
|
50
|
+
.CodeMirror-overlayscroll-horizontal {
|
|
51
|
+
bottom: 0; left: 0;
|
|
52
|
+
height: 6px;
|
|
53
|
+
}
|
|
54
|
+
.CodeMirror-overlayscroll-horizontal div {
|
|
55
|
+
bottom: 0;
|
|
56
|
+
height: 100%;
|
|
57
|
+
}
|
|
58
|
+
|
|
59
|
+
.CodeMirror-overlayscroll-vertical {
|
|
60
|
+
right: 0; top: 0;
|
|
61
|
+
width: 6px;
|
|
62
|
+
}
|
|
63
|
+
.CodeMirror-overlayscroll-vertical div {
|
|
64
|
+
right: 0;
|
|
65
|
+
width: 100%;
|
|
66
|
+
}
|