@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,152 @@
|
|
|
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
|
+
function Bar(cls, orientation, scroll) {
|
|
15
|
+
this.orientation = orientation;
|
|
16
|
+
this.scroll = scroll;
|
|
17
|
+
this.screen = this.total = this.size = 1;
|
|
18
|
+
this.pos = 0;
|
|
19
|
+
|
|
20
|
+
this.node = document.createElement("div");
|
|
21
|
+
this.node.className = cls + "-" + orientation;
|
|
22
|
+
this.inner = this.node.appendChild(document.createElement("div"));
|
|
23
|
+
|
|
24
|
+
var self = this;
|
|
25
|
+
CodeMirror.on(this.inner, "mousedown", function(e) {
|
|
26
|
+
if (e.which != 1) return;
|
|
27
|
+
CodeMirror.e_preventDefault(e);
|
|
28
|
+
var axis = self.orientation == "horizontal" ? "pageX" : "pageY";
|
|
29
|
+
var start = e[axis], startpos = self.pos;
|
|
30
|
+
function done() {
|
|
31
|
+
CodeMirror.off(document, "mousemove", move);
|
|
32
|
+
CodeMirror.off(document, "mouseup", done);
|
|
33
|
+
}
|
|
34
|
+
function move(e) {
|
|
35
|
+
if (e.which != 1) return done();
|
|
36
|
+
self.moveTo(startpos + (e[axis] - start) * (self.total / self.size));
|
|
37
|
+
}
|
|
38
|
+
CodeMirror.on(document, "mousemove", move);
|
|
39
|
+
CodeMirror.on(document, "mouseup", done);
|
|
40
|
+
});
|
|
41
|
+
|
|
42
|
+
CodeMirror.on(this.node, "click", function(e) {
|
|
43
|
+
CodeMirror.e_preventDefault(e);
|
|
44
|
+
var innerBox = self.inner.getBoundingClientRect(), where;
|
|
45
|
+
if (self.orientation == "horizontal")
|
|
46
|
+
where = e.clientX < innerBox.left ? -1 : e.clientX > innerBox.right ? 1 : 0;
|
|
47
|
+
else
|
|
48
|
+
where = e.clientY < innerBox.top ? -1 : e.clientY > innerBox.bottom ? 1 : 0;
|
|
49
|
+
self.moveTo(self.pos + where * self.screen);
|
|
50
|
+
});
|
|
51
|
+
|
|
52
|
+
function onWheel(e) {
|
|
53
|
+
var moved = CodeMirror.wheelEventPixels(e)[self.orientation == "horizontal" ? "x" : "y"];
|
|
54
|
+
var oldPos = self.pos;
|
|
55
|
+
self.moveTo(self.pos + moved);
|
|
56
|
+
if (self.pos != oldPos) CodeMirror.e_preventDefault(e);
|
|
57
|
+
}
|
|
58
|
+
CodeMirror.on(this.node, "mousewheel", onWheel);
|
|
59
|
+
CodeMirror.on(this.node, "DOMMouseScroll", onWheel);
|
|
60
|
+
}
|
|
61
|
+
|
|
62
|
+
Bar.prototype.setPos = function(pos, force) {
|
|
63
|
+
if (pos < 0) pos = 0;
|
|
64
|
+
if (pos > this.total - this.screen) pos = this.total - this.screen;
|
|
65
|
+
if (!force && pos == this.pos) return false;
|
|
66
|
+
this.pos = pos;
|
|
67
|
+
this.inner.style[this.orientation == "horizontal" ? "left" : "top"] =
|
|
68
|
+
(pos * (this.size / this.total)) + "px";
|
|
69
|
+
return true
|
|
70
|
+
};
|
|
71
|
+
|
|
72
|
+
Bar.prototype.moveTo = function(pos) {
|
|
73
|
+
if (this.setPos(pos)) this.scroll(pos, this.orientation);
|
|
74
|
+
}
|
|
75
|
+
|
|
76
|
+
var minButtonSize = 10;
|
|
77
|
+
|
|
78
|
+
Bar.prototype.update = function(scrollSize, clientSize, barSize) {
|
|
79
|
+
var sizeChanged = this.screen != clientSize || this.total != scrollSize || this.size != barSize
|
|
80
|
+
if (sizeChanged) {
|
|
81
|
+
this.screen = clientSize;
|
|
82
|
+
this.total = scrollSize;
|
|
83
|
+
this.size = barSize;
|
|
84
|
+
}
|
|
85
|
+
|
|
86
|
+
var buttonSize = this.screen * (this.size / this.total);
|
|
87
|
+
if (buttonSize < minButtonSize) {
|
|
88
|
+
this.size -= minButtonSize - buttonSize;
|
|
89
|
+
buttonSize = minButtonSize;
|
|
90
|
+
}
|
|
91
|
+
this.inner.style[this.orientation == "horizontal" ? "width" : "height"] =
|
|
92
|
+
buttonSize + "px";
|
|
93
|
+
this.setPos(this.pos, sizeChanged);
|
|
94
|
+
};
|
|
95
|
+
|
|
96
|
+
function SimpleScrollbars(cls, place, scroll) {
|
|
97
|
+
this.addClass = cls;
|
|
98
|
+
this.horiz = new Bar(cls, "horizontal", scroll);
|
|
99
|
+
place(this.horiz.node);
|
|
100
|
+
this.vert = new Bar(cls, "vertical", scroll);
|
|
101
|
+
place(this.vert.node);
|
|
102
|
+
this.width = null;
|
|
103
|
+
}
|
|
104
|
+
|
|
105
|
+
SimpleScrollbars.prototype.update = function(measure) {
|
|
106
|
+
if (this.width == null) {
|
|
107
|
+
var style = window.getComputedStyle ? window.getComputedStyle(this.horiz.node) : this.horiz.node.currentStyle;
|
|
108
|
+
if (style) this.width = parseInt(style.height);
|
|
109
|
+
}
|
|
110
|
+
var width = this.width || 0;
|
|
111
|
+
|
|
112
|
+
var needsH = measure.scrollWidth > measure.clientWidth + 1;
|
|
113
|
+
var needsV = measure.scrollHeight > measure.clientHeight + 1;
|
|
114
|
+
this.vert.node.style.display = needsV ? "block" : "none";
|
|
115
|
+
this.horiz.node.style.display = needsH ? "block" : "none";
|
|
116
|
+
|
|
117
|
+
if (needsV) {
|
|
118
|
+
this.vert.update(measure.scrollHeight, measure.clientHeight,
|
|
119
|
+
measure.viewHeight - (needsH ? width : 0));
|
|
120
|
+
this.vert.node.style.bottom = needsH ? width + "px" : "0";
|
|
121
|
+
}
|
|
122
|
+
if (needsH) {
|
|
123
|
+
this.horiz.update(measure.scrollWidth, measure.clientWidth,
|
|
124
|
+
measure.viewWidth - (needsV ? width : 0) - measure.barLeft);
|
|
125
|
+
this.horiz.node.style.right = needsV ? width + "px" : "0";
|
|
126
|
+
this.horiz.node.style.left = measure.barLeft + "px";
|
|
127
|
+
}
|
|
128
|
+
|
|
129
|
+
return {right: needsV ? width : 0, bottom: needsH ? width : 0};
|
|
130
|
+
};
|
|
131
|
+
|
|
132
|
+
SimpleScrollbars.prototype.setScrollTop = function(pos) {
|
|
133
|
+
this.vert.setPos(pos);
|
|
134
|
+
};
|
|
135
|
+
|
|
136
|
+
SimpleScrollbars.prototype.setScrollLeft = function(pos) {
|
|
137
|
+
this.horiz.setPos(pos);
|
|
138
|
+
};
|
|
139
|
+
|
|
140
|
+
SimpleScrollbars.prototype.clear = function() {
|
|
141
|
+
var parent = this.horiz.node.parentNode;
|
|
142
|
+
parent.removeChild(this.horiz.node);
|
|
143
|
+
parent.removeChild(this.vert.node);
|
|
144
|
+
};
|
|
145
|
+
|
|
146
|
+
CodeMirror.scrollbarModel.simple = function(place, scroll) {
|
|
147
|
+
return new SimpleScrollbars("CodeMirror-simplescroll", place, scroll);
|
|
148
|
+
};
|
|
149
|
+
CodeMirror.scrollbarModel.overlay = function(place, scroll) {
|
|
150
|
+
return new SimpleScrollbars("CodeMirror-overlayscroll", place, scroll);
|
|
151
|
+
};
|
|
152
|
+
});
|
|
@@ -0,0 +1,53 @@
|
|
|
1
|
+
// CodeMirror, copyright (c) by Marijn Haverbeke and others
|
|
2
|
+
// Distributed under an MIT license: https://codemirror.net/5/LICENSE
|
|
3
|
+
|
|
4
|
+
// Defines jumpToLine command. Uses dialog.js if present.
|
|
5
|
+
|
|
6
|
+
(function(mod) {
|
|
7
|
+
if (typeof exports == "object" && typeof module == "object") // CommonJS
|
|
8
|
+
mod(require("../../lib/codemirror"), require("../dialog/dialog"));
|
|
9
|
+
else if (typeof define == "function" && define.amd) // AMD
|
|
10
|
+
define(["../../lib/codemirror", "../dialog/dialog"], mod);
|
|
11
|
+
else // Plain browser env
|
|
12
|
+
mod(CodeMirror);
|
|
13
|
+
})(function(CodeMirror) {
|
|
14
|
+
"use strict";
|
|
15
|
+
|
|
16
|
+
// default search panel location
|
|
17
|
+
CodeMirror.defineOption("search", {bottom: false});
|
|
18
|
+
|
|
19
|
+
function dialog(cm, text, shortText, deflt, f) {
|
|
20
|
+
if (cm.openDialog) cm.openDialog(text, f, {value: deflt, selectValueOnOpen: true, bottom: cm.options.search.bottom});
|
|
21
|
+
else f(prompt(shortText, deflt));
|
|
22
|
+
}
|
|
23
|
+
|
|
24
|
+
function getJumpDialog(cm) {
|
|
25
|
+
return cm.phrase("Jump to line:") + ' <input type="text" style="width: 10em" class="CodeMirror-search-field"/> <span style="color: #888" class="CodeMirror-search-hint">' + cm.phrase("(Use line:column or scroll% syntax)") + '</span>';
|
|
26
|
+
}
|
|
27
|
+
|
|
28
|
+
function interpretLine(cm, string) {
|
|
29
|
+
var num = Number(string)
|
|
30
|
+
if (/^[-+]/.test(string)) return cm.getCursor().line + num
|
|
31
|
+
else return num - 1
|
|
32
|
+
}
|
|
33
|
+
|
|
34
|
+
CodeMirror.commands.jumpToLine = function(cm) {
|
|
35
|
+
var cur = cm.getCursor();
|
|
36
|
+
dialog(cm, getJumpDialog(cm), cm.phrase("Jump to line:"), (cur.line + 1) + ":" + cur.ch, function(posStr) {
|
|
37
|
+
if (!posStr) return;
|
|
38
|
+
|
|
39
|
+
var match;
|
|
40
|
+
if (match = /^\s*([\+\-]?\d+)\s*\:\s*(\d+)\s*$/.exec(posStr)) {
|
|
41
|
+
cm.setCursor(interpretLine(cm, match[1]), Number(match[2]))
|
|
42
|
+
} else if (match = /^\s*([\+\-]?\d+(\.\d+)?)\%\s*/.exec(posStr)) {
|
|
43
|
+
var line = Math.round(cm.lineCount() * Number(match[1]) / 100);
|
|
44
|
+
if (/^[-+]/.test(match[1])) line = cur.line + line + 1;
|
|
45
|
+
cm.setCursor(line - 1, cur.ch);
|
|
46
|
+
} else if (match = /^\s*\:?\s*([\+\-]?\d+)\s*/.exec(posStr)) {
|
|
47
|
+
cm.setCursor(interpretLine(cm, match[1]), cur.ch);
|
|
48
|
+
}
|
|
49
|
+
});
|
|
50
|
+
};
|
|
51
|
+
|
|
52
|
+
CodeMirror.keyMap["default"]["Alt-G"] = "jumpToLine";
|
|
53
|
+
});
|
|
@@ -0,0 +1,167 @@
|
|
|
1
|
+
// CodeMirror, copyright (c) by Marijn Haverbeke and others
|
|
2
|
+
// Distributed under an MIT license: https://codemirror.net/5/LICENSE
|
|
3
|
+
|
|
4
|
+
// Highlighting text that matches the selection
|
|
5
|
+
//
|
|
6
|
+
// Defines an option highlightSelectionMatches, which, when enabled,
|
|
7
|
+
// will style strings that match the selection throughout the
|
|
8
|
+
// document.
|
|
9
|
+
//
|
|
10
|
+
// The option can be set to true to simply enable it, or to a
|
|
11
|
+
// {minChars, style, wordsOnly, showToken, delay} object to explicitly
|
|
12
|
+
// configure it. minChars is the minimum amount of characters that should be
|
|
13
|
+
// selected for the behavior to occur, and style is the token style to
|
|
14
|
+
// apply to the matches. This will be prefixed by "cm-" to create an
|
|
15
|
+
// actual CSS class name. If wordsOnly is enabled, the matches will be
|
|
16
|
+
// highlighted only if the selected text is a word. showToken, when enabled,
|
|
17
|
+
// will cause the current token to be highlighted when nothing is selected.
|
|
18
|
+
// delay is used to specify how much time to wait, in milliseconds, before
|
|
19
|
+
// highlighting the matches. If annotateScrollbar is enabled, the occurrences
|
|
20
|
+
// will be highlighted on the scrollbar via the matchesonscrollbar addon.
|
|
21
|
+
|
|
22
|
+
(function(mod) {
|
|
23
|
+
if (typeof exports == "object" && typeof module == "object") // CommonJS
|
|
24
|
+
mod(require("../../lib/codemirror"), require("./matchesonscrollbar"));
|
|
25
|
+
else if (typeof define == "function" && define.amd) // AMD
|
|
26
|
+
define(["../../lib/codemirror", "./matchesonscrollbar"], mod);
|
|
27
|
+
else // Plain browser env
|
|
28
|
+
mod(CodeMirror);
|
|
29
|
+
})(function(CodeMirror) {
|
|
30
|
+
"use strict";
|
|
31
|
+
|
|
32
|
+
var defaults = {
|
|
33
|
+
style: "matchhighlight",
|
|
34
|
+
minChars: 2,
|
|
35
|
+
delay: 100,
|
|
36
|
+
wordsOnly: false,
|
|
37
|
+
annotateScrollbar: false,
|
|
38
|
+
showToken: false,
|
|
39
|
+
trim: true
|
|
40
|
+
}
|
|
41
|
+
|
|
42
|
+
function State(options) {
|
|
43
|
+
this.options = {}
|
|
44
|
+
for (var name in defaults)
|
|
45
|
+
this.options[name] = (options && options.hasOwnProperty(name) ? options : defaults)[name]
|
|
46
|
+
this.overlay = this.timeout = null;
|
|
47
|
+
this.matchesonscroll = null;
|
|
48
|
+
this.active = false;
|
|
49
|
+
}
|
|
50
|
+
|
|
51
|
+
CodeMirror.defineOption("highlightSelectionMatches", false, function(cm, val, old) {
|
|
52
|
+
if (old && old != CodeMirror.Init) {
|
|
53
|
+
removeOverlay(cm);
|
|
54
|
+
clearTimeout(cm.state.matchHighlighter.timeout);
|
|
55
|
+
cm.state.matchHighlighter = null;
|
|
56
|
+
cm.off("cursorActivity", cursorActivity);
|
|
57
|
+
cm.off("focus", onFocus)
|
|
58
|
+
}
|
|
59
|
+
if (val) {
|
|
60
|
+
var state = cm.state.matchHighlighter = new State(val);
|
|
61
|
+
if (cm.hasFocus()) {
|
|
62
|
+
state.active = true
|
|
63
|
+
highlightMatches(cm)
|
|
64
|
+
} else {
|
|
65
|
+
cm.on("focus", onFocus)
|
|
66
|
+
}
|
|
67
|
+
cm.on("cursorActivity", cursorActivity);
|
|
68
|
+
}
|
|
69
|
+
});
|
|
70
|
+
|
|
71
|
+
function cursorActivity(cm) {
|
|
72
|
+
var state = cm.state.matchHighlighter;
|
|
73
|
+
if (state.active || cm.hasFocus()) scheduleHighlight(cm, state)
|
|
74
|
+
}
|
|
75
|
+
|
|
76
|
+
function onFocus(cm) {
|
|
77
|
+
var state = cm.state.matchHighlighter
|
|
78
|
+
if (!state.active) {
|
|
79
|
+
state.active = true
|
|
80
|
+
scheduleHighlight(cm, state)
|
|
81
|
+
}
|
|
82
|
+
}
|
|
83
|
+
|
|
84
|
+
function scheduleHighlight(cm, state) {
|
|
85
|
+
clearTimeout(state.timeout);
|
|
86
|
+
state.timeout = setTimeout(function() {highlightMatches(cm);}, state.options.delay);
|
|
87
|
+
}
|
|
88
|
+
|
|
89
|
+
function addOverlay(cm, query, hasBoundary, style) {
|
|
90
|
+
var state = cm.state.matchHighlighter;
|
|
91
|
+
cm.addOverlay(state.overlay = makeOverlay(query, hasBoundary, style));
|
|
92
|
+
if (state.options.annotateScrollbar && cm.showMatchesOnScrollbar) {
|
|
93
|
+
var searchFor = hasBoundary ? new RegExp((/\w/.test(query.charAt(0)) ? "\\b" : "") +
|
|
94
|
+
query.replace(/[\\\[.+*?(){|^$]/g, "\\$&") +
|
|
95
|
+
(/\w/.test(query.charAt(query.length - 1)) ? "\\b" : "")) : query;
|
|
96
|
+
state.matchesonscroll = cm.showMatchesOnScrollbar(searchFor, false,
|
|
97
|
+
{className: "CodeMirror-selection-highlight-scrollbar"});
|
|
98
|
+
}
|
|
99
|
+
}
|
|
100
|
+
|
|
101
|
+
function removeOverlay(cm) {
|
|
102
|
+
var state = cm.state.matchHighlighter;
|
|
103
|
+
if (state.overlay) {
|
|
104
|
+
cm.removeOverlay(state.overlay);
|
|
105
|
+
state.overlay = null;
|
|
106
|
+
if (state.matchesonscroll) {
|
|
107
|
+
state.matchesonscroll.clear();
|
|
108
|
+
state.matchesonscroll = null;
|
|
109
|
+
}
|
|
110
|
+
}
|
|
111
|
+
}
|
|
112
|
+
|
|
113
|
+
function highlightMatches(cm) {
|
|
114
|
+
cm.operation(function() {
|
|
115
|
+
var state = cm.state.matchHighlighter;
|
|
116
|
+
removeOverlay(cm);
|
|
117
|
+
if (!cm.somethingSelected() && state.options.showToken) {
|
|
118
|
+
var re = state.options.showToken === true ? /[\w$]/ : state.options.showToken;
|
|
119
|
+
var cur = cm.getCursor(), line = cm.getLine(cur.line), start = cur.ch, end = start;
|
|
120
|
+
while (start && re.test(line.charAt(start - 1))) --start;
|
|
121
|
+
while (end < line.length && re.test(line.charAt(end))) ++end;
|
|
122
|
+
if (start < end)
|
|
123
|
+
addOverlay(cm, line.slice(start, end), re, state.options.style);
|
|
124
|
+
return;
|
|
125
|
+
}
|
|
126
|
+
var from = cm.getCursor("from"), to = cm.getCursor("to");
|
|
127
|
+
if (from.line != to.line) return;
|
|
128
|
+
if (state.options.wordsOnly && !isWord(cm, from, to)) return;
|
|
129
|
+
var selection = cm.getRange(from, to)
|
|
130
|
+
if (state.options.trim) selection = selection.replace(/^\s+|\s+$/g, "")
|
|
131
|
+
if (selection.length >= state.options.minChars)
|
|
132
|
+
addOverlay(cm, selection, false, state.options.style);
|
|
133
|
+
});
|
|
134
|
+
}
|
|
135
|
+
|
|
136
|
+
function isWord(cm, from, to) {
|
|
137
|
+
var str = cm.getRange(from, to);
|
|
138
|
+
if (str.match(/^\w+$/) !== null) {
|
|
139
|
+
if (from.ch > 0) {
|
|
140
|
+
var pos = {line: from.line, ch: from.ch - 1};
|
|
141
|
+
var chr = cm.getRange(pos, from);
|
|
142
|
+
if (chr.match(/\W/) === null) return false;
|
|
143
|
+
}
|
|
144
|
+
if (to.ch < cm.getLine(from.line).length) {
|
|
145
|
+
var pos = {line: to.line, ch: to.ch + 1};
|
|
146
|
+
var chr = cm.getRange(to, pos);
|
|
147
|
+
if (chr.match(/\W/) === null) return false;
|
|
148
|
+
}
|
|
149
|
+
return true;
|
|
150
|
+
} else return false;
|
|
151
|
+
}
|
|
152
|
+
|
|
153
|
+
function boundariesAround(stream, re) {
|
|
154
|
+
return (!stream.start || !re.test(stream.string.charAt(stream.start - 1))) &&
|
|
155
|
+
(stream.pos == stream.string.length || !re.test(stream.string.charAt(stream.pos)));
|
|
156
|
+
}
|
|
157
|
+
|
|
158
|
+
function makeOverlay(query, hasBoundary, style) {
|
|
159
|
+
return {token: function(stream) {
|
|
160
|
+
if (stream.match(query) &&
|
|
161
|
+
(!hasBoundary || boundariesAround(stream, hasBoundary)))
|
|
162
|
+
return style;
|
|
163
|
+
stream.next();
|
|
164
|
+
stream.skipTo(query.charAt(0)) || stream.skipToEnd();
|
|
165
|
+
}};
|
|
166
|
+
}
|
|
167
|
+
});
|
|
@@ -0,0 +1,97 @@
|
|
|
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"), require("./searchcursor"), require("../scroll/annotatescrollbar"));
|
|
7
|
+
else if (typeof define == "function" && define.amd) // AMD
|
|
8
|
+
define(["../../lib/codemirror", "./searchcursor", "../scroll/annotatescrollbar"], mod);
|
|
9
|
+
else // Plain browser env
|
|
10
|
+
mod(CodeMirror);
|
|
11
|
+
})(function(CodeMirror) {
|
|
12
|
+
"use strict";
|
|
13
|
+
|
|
14
|
+
CodeMirror.defineExtension("showMatchesOnScrollbar", function(query, caseFold, options) {
|
|
15
|
+
if (typeof options == "string") options = {className: options};
|
|
16
|
+
if (!options) options = {};
|
|
17
|
+
return new SearchAnnotation(this, query, caseFold, options);
|
|
18
|
+
});
|
|
19
|
+
|
|
20
|
+
function SearchAnnotation(cm, query, caseFold, options) {
|
|
21
|
+
this.cm = cm;
|
|
22
|
+
this.options = options;
|
|
23
|
+
var annotateOptions = {listenForChanges: false};
|
|
24
|
+
for (var prop in options) annotateOptions[prop] = options[prop];
|
|
25
|
+
if (!annotateOptions.className) annotateOptions.className = "CodeMirror-search-match";
|
|
26
|
+
this.annotation = cm.annotateScrollbar(annotateOptions);
|
|
27
|
+
this.query = query;
|
|
28
|
+
this.caseFold = caseFold;
|
|
29
|
+
this.gap = {from: cm.firstLine(), to: cm.lastLine() + 1};
|
|
30
|
+
this.matches = [];
|
|
31
|
+
this.update = null;
|
|
32
|
+
|
|
33
|
+
this.findMatches();
|
|
34
|
+
this.annotation.update(this.matches);
|
|
35
|
+
|
|
36
|
+
var self = this;
|
|
37
|
+
cm.on("change", this.changeHandler = function(_cm, change) { self.onChange(change); });
|
|
38
|
+
}
|
|
39
|
+
|
|
40
|
+
var MAX_MATCHES = 1000;
|
|
41
|
+
|
|
42
|
+
SearchAnnotation.prototype.findMatches = function() {
|
|
43
|
+
if (!this.gap) return;
|
|
44
|
+
for (var i = 0; i < this.matches.length; i++) {
|
|
45
|
+
var match = this.matches[i];
|
|
46
|
+
if (match.from.line >= this.gap.to) break;
|
|
47
|
+
if (match.to.line >= this.gap.from) this.matches.splice(i--, 1);
|
|
48
|
+
}
|
|
49
|
+
var cursor = this.cm.getSearchCursor(this.query, CodeMirror.Pos(this.gap.from, 0), {caseFold: this.caseFold, multiline: this.options.multiline});
|
|
50
|
+
var maxMatches = this.options && this.options.maxMatches || MAX_MATCHES;
|
|
51
|
+
while (cursor.findNext()) {
|
|
52
|
+
var match = {from: cursor.from(), to: cursor.to()};
|
|
53
|
+
if (match.from.line >= this.gap.to) break;
|
|
54
|
+
this.matches.splice(i++, 0, match);
|
|
55
|
+
if (this.matches.length > maxMatches) break;
|
|
56
|
+
}
|
|
57
|
+
this.gap = null;
|
|
58
|
+
};
|
|
59
|
+
|
|
60
|
+
function offsetLine(line, changeStart, sizeChange) {
|
|
61
|
+
if (line <= changeStart) return line;
|
|
62
|
+
return Math.max(changeStart, line + sizeChange);
|
|
63
|
+
}
|
|
64
|
+
|
|
65
|
+
SearchAnnotation.prototype.onChange = function(change) {
|
|
66
|
+
var startLine = change.from.line;
|
|
67
|
+
var endLine = CodeMirror.changeEnd(change).line;
|
|
68
|
+
var sizeChange = endLine - change.to.line;
|
|
69
|
+
if (this.gap) {
|
|
70
|
+
this.gap.from = Math.min(offsetLine(this.gap.from, startLine, sizeChange), change.from.line);
|
|
71
|
+
this.gap.to = Math.max(offsetLine(this.gap.to, startLine, sizeChange), change.from.line);
|
|
72
|
+
} else {
|
|
73
|
+
this.gap = {from: change.from.line, to: endLine + 1};
|
|
74
|
+
}
|
|
75
|
+
|
|
76
|
+
if (sizeChange) for (var i = 0; i < this.matches.length; i++) {
|
|
77
|
+
var match = this.matches[i];
|
|
78
|
+
var newFrom = offsetLine(match.from.line, startLine, sizeChange);
|
|
79
|
+
if (newFrom != match.from.line) match.from = CodeMirror.Pos(newFrom, match.from.ch);
|
|
80
|
+
var newTo = offsetLine(match.to.line, startLine, sizeChange);
|
|
81
|
+
if (newTo != match.to.line) match.to = CodeMirror.Pos(newTo, match.to.ch);
|
|
82
|
+
}
|
|
83
|
+
clearTimeout(this.update);
|
|
84
|
+
var self = this;
|
|
85
|
+
this.update = setTimeout(function() { self.updateAfterChange(); }, 250);
|
|
86
|
+
};
|
|
87
|
+
|
|
88
|
+
SearchAnnotation.prototype.updateAfterChange = function() {
|
|
89
|
+
this.findMatches();
|
|
90
|
+
this.annotation.update(this.matches);
|
|
91
|
+
};
|
|
92
|
+
|
|
93
|
+
SearchAnnotation.prototype.clear = function() {
|
|
94
|
+
this.cm.off("change", this.changeHandler);
|
|
95
|
+
this.annotation.clear();
|
|
96
|
+
};
|
|
97
|
+
});
|