rails_db 2.1.0 → 2.1.1
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/Gemfile.lock +1 -1
- data/app/assets/javascripts/codemirror/codemirror.js +9762 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/comment/comment.js +209 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/comment/continuecomment.js +78 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/dialog/dialog.js +161 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/display/autorefresh.js +47 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/display/fullscreen.js +41 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/display/panel.js +127 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/display/placeholder.js +63 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/display/rulers.js +51 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/edit/closebrackets.js +191 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/edit/closetag.js +183 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/edit/continuelist.js +99 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/edit/matchbrackets.js +150 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/edit/matchtags.js +66 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/edit/trailingspace.js +27 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/fold/brace-fold.js +105 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/fold/comment-fold.js +59 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/fold/foldcode.js +152 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/fold/foldgutter.js +146 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/fold/indent-fold.js +48 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/fold/markdown-fold.js +49 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/fold/xml-fold.js +184 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/hint/anyword-hint.js +41 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/hint/css-hint.js +60 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/hint/html-hint.js +350 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/hint/javascript-hint.js +157 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/hint/show-hint.js +460 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/hint/sql-hint.js +304 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/hint/xml-hint.js +120 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/lint/coffeescript-lint.js +47 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/lint/css-lint.js +40 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/lint/html-lint.js +59 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/lint/javascript-lint.js +63 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/lint/json-lint.js +40 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/lint/lint.js +252 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/lint/yaml-lint.js +41 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/merge/merge.js +1002 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/mode/loadmode.js +64 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/mode/multiplex.js +131 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/mode/multiplex_test.js +33 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/mode/overlay.js +90 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/mode/simple.js +216 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/runmode/colorize.js +40 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/runmode/runmode-standalone.js +158 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/runmode/runmode.js +72 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/runmode/runmode.node.js +197 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/scroll/annotatescrollbar.js +122 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/scroll/scrollpastend.js +48 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/scroll/simplescrollbars.js +152 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/search/jump-to-line.js +50 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/search/match-highlighter.js +165 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/search/matchesonscrollbar.js +97 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/search/search.js +260 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/search/searchcursor.js +293 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/selection/active-line.js +72 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/selection/mark-selection.js +119 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/selection/selection-pointer.js +98 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/tern/tern.js +718 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/tern/worker.js +44 -0
- data/app/assets/javascripts/codemirror/codemirror/addons/wrap/hardwrap.js +145 -0
- data/app/assets/javascripts/codemirror/codemirror/keymaps/emacs.js +418 -0
- data/app/assets/javascripts/codemirror/codemirror/keymaps/sublime.js +691 -0
- data/app/assets/javascripts/codemirror/codemirror/keymaps/vim.js +5494 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/apl.js +174 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/asciiarmor.js +74 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/asn.1.js +204 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/asterisk.js +196 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/brainfuck.js +85 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/clike.js +884 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/clojure.js +292 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/cmake.js +97 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/cobol.js +255 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/coffeescript.js +359 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/commonlisp.js +124 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/crystal.js +433 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/css.js +831 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/cypher.js +150 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/d.js +223 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/dart.js +157 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/diff.js +47 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/django.js +356 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/dockerfile.js +211 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/dtd.js +142 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/dylan.js +352 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/ebnf.js +195 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/ecl.js +206 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/eiffel.js +160 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/elm.js +205 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/erlang.js +619 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/factor.js +85 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/fcl.js +173 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/forth.js +180 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/fortran.js +188 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/gas.js +345 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/gfm.js +129 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/gherkin.js +178 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/go.js +187 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/groovy.js +233 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/haml.js +161 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/handlebars.js +66 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/haskell-literate.js +43 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/haskell.js +268 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/haxe.js +515 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/htmlembedded.js +37 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/htmlmixed.js +152 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/http.js +113 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/idl.js +290 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/jade.js +590 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/javascript.js +927 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/jinja2.js +146 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/jsx.js +148 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/julia.js +431 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/livescript.js +280 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/lua.js +159 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/markdown.js +884 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/mathematica.js +176 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/mbox.js +129 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/meta.js +218 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/mirc.js +193 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/mllike.js +359 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/modelica.js +245 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/mscgen.js +175 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/mumps.js +148 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/nginx.js +178 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/nsis.js +95 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/ntriples.js +195 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/octave.js +139 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/oz.js +252 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/pascal.js +121 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/pegjs.js +114 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/perl.js +837 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/php.js +234 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/pig.js +178 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/powershell.js +398 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/properties.js +78 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/protobuf.js +69 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/pug.js +591 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/puppet.js +220 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/python.js +399 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/q.js +139 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/r.js +190 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/rpm.js +109 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/rst.js +557 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/ruby.js +298 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/rust.js +72 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/sas.js +303 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/sass.js +454 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/scheme.js +265 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/shell.js +152 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/sieve.js +193 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/slim.js +575 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/smalltalk.js +168 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/smarty.js +225 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/solr.js +104 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/soy.js +435 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/sparql.js +180 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/spreadsheet.js +112 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/sql.js +494 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/stex.js +264 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/stylus.js +771 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/swift.js +223 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/tcl.js +139 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/textile.js +469 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/tiddlywiki.js +308 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/tiki.js +312 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/toml.js +88 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/tornado.js +68 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/troff.js +84 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/ttcn-cfg.js +214 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/ttcn.js +283 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/turtle.js +162 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/twig.js +141 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/vb.js +275 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/vbscript.js +350 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/velocity.js +201 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/verilog.js +675 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/vhdl.js +189 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/vue.js +77 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/webidl.js +195 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/xml.js +402 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/xquery.js +448 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/yacas.js +204 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/yaml-frontmatter.js +68 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/yaml.js +120 -0
- data/app/assets/javascripts/codemirror/codemirror/modes/z80.js +116 -0
- data/app/assets/javascripts/rails_db/application.js +4 -4
- data/app/assets/stylesheets/codemirror/codemirror.css +346 -0
- data/app/assets/stylesheets/codemirror/codemirror/addons/dialog/dialog.css +32 -0
- data/app/assets/stylesheets/codemirror/codemirror/addons/display/fullscreen.css +6 -0
- data/app/assets/stylesheets/codemirror/codemirror/addons/fold/foldgutter.css +20 -0
- data/app/assets/stylesheets/codemirror/codemirror/addons/hint/show-hint.css +36 -0
- data/app/assets/stylesheets/codemirror/codemirror/addons/lint/lint.css +73 -0
- data/app/assets/stylesheets/codemirror/codemirror/addons/merge/merge.css +119 -0
- data/app/assets/stylesheets/codemirror/codemirror/addons/scroll/simplescrollbars.css +66 -0
- data/app/assets/stylesheets/codemirror/codemirror/addons/search/matchesonscrollbar.css +8 -0
- data/app/assets/stylesheets/codemirror/codemirror/addons/tern/tern.css +87 -0
- data/app/assets/stylesheets/codemirror/codemirror/modes/tiddlywiki.css +14 -0
- data/app/assets/stylesheets/codemirror/codemirror/modes/tiki.css +26 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/3024-day.css +41 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/3024-night.css +39 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/abcdef.css +32 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/ambiance-mobile.css +5 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/ambiance.css +74 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/base16-dark.css +38 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/base16-light.css +38 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/bespin.css +34 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/blackboard.css +32 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/cobalt.css +25 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/colorforth.css +33 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/darcula.css +51 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/dracula.css +40 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/duotone-dark.css +35 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/duotone-light.css +36 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/eclipse.css +23 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/elegant.css +13 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/erlang-dark.css +34 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/gruvbox-dark.css +37 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/hopscotch.css +34 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/icecoder.css +43 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/idea.css +42 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/isotope.css +34 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/lesser-dark.css +47 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/liquibyte.css +95 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/lucario.css +37 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/material.css +53 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/mbo.css +37 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/mdn-like.css +46 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/midnight.css +39 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/monokai.css +41 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/neat.css +12 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/neo.css +43 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/night.css +27 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/nord.css +42 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/oceanic-next.css +44 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/panda-syntax.css +85 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/paraiso-dark.css +38 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/paraiso-light.css +38 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/pastel-on-dark.css +52 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/railscasts.css +34 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/rubyblue.css +25 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/seti.css +44 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/shadowfox.css +52 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/solarized.css +168 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/ssms.css +16 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/the-matrix.css +30 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/tomorrow-night-bright.css +35 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/tomorrow-night-eighties.css +38 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/ttcn.css +64 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/twilight.css +32 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/vibrant-ink.css +34 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/xq-dark.css +53 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/xq-light.css +43 -0
- data/app/assets/stylesheets/codemirror/codemirror/themes/zenburn.css +37 -0
- data/app/assets/stylesheets/rails_db/application.css +3 -3
- data/lib/rails_db/engine.rb +1 -1
- data/lib/rails_db/version.rb +1 -1
- metadata +253 -1
@@ -0,0 +1,209 @@
|
|
1
|
+
// CodeMirror, copyright (c) by Marijn Haverbeke and others
|
2
|
+
// Distributed under an MIT license: https://codemirror.net/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
|
+
var noOptions = {};
|
15
|
+
var nonWS = /[^\s\u00a0]/;
|
16
|
+
var Pos = CodeMirror.Pos;
|
17
|
+
|
18
|
+
function firstNonWS(str) {
|
19
|
+
var found = str.search(nonWS);
|
20
|
+
return found == -1 ? 0 : found;
|
21
|
+
}
|
22
|
+
|
23
|
+
CodeMirror.commands.toggleComment = function(cm) {
|
24
|
+
cm.toggleComment();
|
25
|
+
};
|
26
|
+
|
27
|
+
CodeMirror.defineExtension("toggleComment", function(options) {
|
28
|
+
if (!options) options = noOptions;
|
29
|
+
var cm = this;
|
30
|
+
var minLine = Infinity, ranges = this.listSelections(), mode = null;
|
31
|
+
for (var i = ranges.length - 1; i >= 0; i--) {
|
32
|
+
var from = ranges[i].from(), to = ranges[i].to();
|
33
|
+
if (from.line >= minLine) continue;
|
34
|
+
if (to.line >= minLine) to = Pos(minLine, 0);
|
35
|
+
minLine = from.line;
|
36
|
+
if (mode == null) {
|
37
|
+
if (cm.uncomment(from, to, options)) mode = "un";
|
38
|
+
else { cm.lineComment(from, to, options); mode = "line"; }
|
39
|
+
} else if (mode == "un") {
|
40
|
+
cm.uncomment(from, to, options);
|
41
|
+
} else {
|
42
|
+
cm.lineComment(from, to, options);
|
43
|
+
}
|
44
|
+
}
|
45
|
+
});
|
46
|
+
|
47
|
+
// Rough heuristic to try and detect lines that are part of multi-line string
|
48
|
+
function probablyInsideString(cm, pos, line) {
|
49
|
+
return /\bstring\b/.test(cm.getTokenTypeAt(Pos(pos.line, 0))) && !/^[\'\"\`]/.test(line)
|
50
|
+
}
|
51
|
+
|
52
|
+
function getMode(cm, pos) {
|
53
|
+
var mode = cm.getMode()
|
54
|
+
return mode.useInnerComments === false || !mode.innerMode ? mode : cm.getModeAt(pos)
|
55
|
+
}
|
56
|
+
|
57
|
+
CodeMirror.defineExtension("lineComment", function(from, to, options) {
|
58
|
+
if (!options) options = noOptions;
|
59
|
+
var self = this, mode = getMode(self, from);
|
60
|
+
var firstLine = self.getLine(from.line);
|
61
|
+
if (firstLine == null || probablyInsideString(self, from, firstLine)) return;
|
62
|
+
|
63
|
+
var commentString = options.lineComment || mode.lineComment;
|
64
|
+
if (!commentString) {
|
65
|
+
if (options.blockCommentStart || mode.blockCommentStart) {
|
66
|
+
options.fullLines = true;
|
67
|
+
self.blockComment(from, to, options);
|
68
|
+
}
|
69
|
+
return;
|
70
|
+
}
|
71
|
+
|
72
|
+
var end = Math.min(to.ch != 0 || to.line == from.line ? to.line + 1 : to.line, self.lastLine() + 1);
|
73
|
+
var pad = options.padding == null ? " " : options.padding;
|
74
|
+
var blankLines = options.commentBlankLines || from.line == to.line;
|
75
|
+
|
76
|
+
self.operation(function() {
|
77
|
+
if (options.indent) {
|
78
|
+
var baseString = null;
|
79
|
+
for (var i = from.line; i < end; ++i) {
|
80
|
+
var line = self.getLine(i);
|
81
|
+
var whitespace = line.slice(0, firstNonWS(line));
|
82
|
+
if (baseString == null || baseString.length > whitespace.length) {
|
83
|
+
baseString = whitespace;
|
84
|
+
}
|
85
|
+
}
|
86
|
+
for (var i = from.line; i < end; ++i) {
|
87
|
+
var line = self.getLine(i), cut = baseString.length;
|
88
|
+
if (!blankLines && !nonWS.test(line)) continue;
|
89
|
+
if (line.slice(0, cut) != baseString) cut = firstNonWS(line);
|
90
|
+
self.replaceRange(baseString + commentString + pad, Pos(i, 0), Pos(i, cut));
|
91
|
+
}
|
92
|
+
} else {
|
93
|
+
for (var i = from.line; i < end; ++i) {
|
94
|
+
if (blankLines || nonWS.test(self.getLine(i)))
|
95
|
+
self.replaceRange(commentString + pad, Pos(i, 0));
|
96
|
+
}
|
97
|
+
}
|
98
|
+
});
|
99
|
+
});
|
100
|
+
|
101
|
+
CodeMirror.defineExtension("blockComment", function(from, to, options) {
|
102
|
+
if (!options) options = noOptions;
|
103
|
+
var self = this, mode = getMode(self, from);
|
104
|
+
var startString = options.blockCommentStart || mode.blockCommentStart;
|
105
|
+
var endString = options.blockCommentEnd || mode.blockCommentEnd;
|
106
|
+
if (!startString || !endString) {
|
107
|
+
if ((options.lineComment || mode.lineComment) && options.fullLines != false)
|
108
|
+
self.lineComment(from, to, options);
|
109
|
+
return;
|
110
|
+
}
|
111
|
+
if (/\bcomment\b/.test(self.getTokenTypeAt(Pos(from.line, 0)))) return
|
112
|
+
|
113
|
+
var end = Math.min(to.line, self.lastLine());
|
114
|
+
if (end != from.line && to.ch == 0 && nonWS.test(self.getLine(end))) --end;
|
115
|
+
|
116
|
+
var pad = options.padding == null ? " " : options.padding;
|
117
|
+
if (from.line > end) return;
|
118
|
+
|
119
|
+
self.operation(function() {
|
120
|
+
if (options.fullLines != false) {
|
121
|
+
var lastLineHasText = nonWS.test(self.getLine(end));
|
122
|
+
self.replaceRange(pad + endString, Pos(end));
|
123
|
+
self.replaceRange(startString + pad, Pos(from.line, 0));
|
124
|
+
var lead = options.blockCommentLead || mode.blockCommentLead;
|
125
|
+
if (lead != null) for (var i = from.line + 1; i <= end; ++i)
|
126
|
+
if (i != end || lastLineHasText)
|
127
|
+
self.replaceRange(lead + pad, Pos(i, 0));
|
128
|
+
} else {
|
129
|
+
self.replaceRange(endString, to);
|
130
|
+
self.replaceRange(startString, from);
|
131
|
+
}
|
132
|
+
});
|
133
|
+
});
|
134
|
+
|
135
|
+
CodeMirror.defineExtension("uncomment", function(from, to, options) {
|
136
|
+
if (!options) options = noOptions;
|
137
|
+
var self = this, mode = getMode(self, from);
|
138
|
+
var end = Math.min(to.ch != 0 || to.line == from.line ? to.line : to.line - 1, self.lastLine()), start = Math.min(from.line, end);
|
139
|
+
|
140
|
+
// Try finding line comments
|
141
|
+
var lineString = options.lineComment || mode.lineComment, lines = [];
|
142
|
+
var pad = options.padding == null ? " " : options.padding, didSomething;
|
143
|
+
lineComment: {
|
144
|
+
if (!lineString) break lineComment;
|
145
|
+
for (var i = start; i <= end; ++i) {
|
146
|
+
var line = self.getLine(i);
|
147
|
+
var found = line.indexOf(lineString);
|
148
|
+
if (found > -1 && !/comment/.test(self.getTokenTypeAt(Pos(i, found + 1)))) found = -1;
|
149
|
+
if (found == -1 && nonWS.test(line)) break lineComment;
|
150
|
+
if (found > -1 && nonWS.test(line.slice(0, found))) break lineComment;
|
151
|
+
lines.push(line);
|
152
|
+
}
|
153
|
+
self.operation(function() {
|
154
|
+
for (var i = start; i <= end; ++i) {
|
155
|
+
var line = lines[i - start];
|
156
|
+
var pos = line.indexOf(lineString), endPos = pos + lineString.length;
|
157
|
+
if (pos < 0) continue;
|
158
|
+
if (line.slice(endPos, endPos + pad.length) == pad) endPos += pad.length;
|
159
|
+
didSomething = true;
|
160
|
+
self.replaceRange("", Pos(i, pos), Pos(i, endPos));
|
161
|
+
}
|
162
|
+
});
|
163
|
+
if (didSomething) return true;
|
164
|
+
}
|
165
|
+
|
166
|
+
// Try block comments
|
167
|
+
var startString = options.blockCommentStart || mode.blockCommentStart;
|
168
|
+
var endString = options.blockCommentEnd || mode.blockCommentEnd;
|
169
|
+
if (!startString || !endString) return false;
|
170
|
+
var lead = options.blockCommentLead || mode.blockCommentLead;
|
171
|
+
var startLine = self.getLine(start), open = startLine.indexOf(startString)
|
172
|
+
if (open == -1) return false
|
173
|
+
var endLine = end == start ? startLine : self.getLine(end)
|
174
|
+
var close = endLine.indexOf(endString, end == start ? open + startString.length : 0);
|
175
|
+
var insideStart = Pos(start, open + 1), insideEnd = Pos(end, close + 1)
|
176
|
+
if (close == -1 ||
|
177
|
+
!/comment/.test(self.getTokenTypeAt(insideStart)) ||
|
178
|
+
!/comment/.test(self.getTokenTypeAt(insideEnd)) ||
|
179
|
+
self.getRange(insideStart, insideEnd, "\n").indexOf(endString) > -1)
|
180
|
+
return false;
|
181
|
+
|
182
|
+
// Avoid killing block comments completely outside the selection.
|
183
|
+
// Positions of the last startString before the start of the selection, and the first endString after it.
|
184
|
+
var lastStart = startLine.lastIndexOf(startString, from.ch);
|
185
|
+
var firstEnd = lastStart == -1 ? -1 : startLine.slice(0, from.ch).indexOf(endString, lastStart + startString.length);
|
186
|
+
if (lastStart != -1 && firstEnd != -1 && firstEnd + endString.length != from.ch) return false;
|
187
|
+
// Positions of the first endString after the end of the selection, and the last startString before it.
|
188
|
+
firstEnd = endLine.indexOf(endString, to.ch);
|
189
|
+
var almostLastStart = endLine.slice(to.ch).lastIndexOf(startString, firstEnd - to.ch);
|
190
|
+
lastStart = (firstEnd == -1 || almostLastStart == -1) ? -1 : to.ch + almostLastStart;
|
191
|
+
if (firstEnd != -1 && lastStart != -1 && lastStart != to.ch) return false;
|
192
|
+
|
193
|
+
self.operation(function() {
|
194
|
+
self.replaceRange("", Pos(end, close - (pad && endLine.slice(close - pad.length, close) == pad ? pad.length : 0)),
|
195
|
+
Pos(end, close + endString.length));
|
196
|
+
var openEnd = open + startString.length;
|
197
|
+
if (pad && startLine.slice(openEnd, openEnd + pad.length) == pad) openEnd += pad.length;
|
198
|
+
self.replaceRange("", Pos(start, open), Pos(start, openEnd));
|
199
|
+
if (lead) for (var i = start + 1; i <= end; ++i) {
|
200
|
+
var line = self.getLine(i), found = line.indexOf(lead);
|
201
|
+
if (found == -1 || nonWS.test(line.slice(0, found))) continue;
|
202
|
+
var foundEnd = found + lead.length;
|
203
|
+
if (pad && line.slice(foundEnd, foundEnd + pad.length) == pad) foundEnd += pad.length;
|
204
|
+
self.replaceRange("", Pos(i, found), Pos(i, foundEnd));
|
205
|
+
}
|
206
|
+
});
|
207
|
+
return true;
|
208
|
+
});
|
209
|
+
});
|
@@ -0,0 +1,78 @@
|
|
1
|
+
// CodeMirror, copyright (c) by Marijn Haverbeke and others
|
2
|
+
// Distributed under an MIT license: https://codemirror.net/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
|
+
function continueComment(cm) {
|
13
|
+
if (cm.getOption("disableInput")) return CodeMirror.Pass;
|
14
|
+
var ranges = cm.listSelections(), mode, inserts = [];
|
15
|
+
for (var i = 0; i < ranges.length; i++) {
|
16
|
+
var pos = ranges[i].head
|
17
|
+
if (!/\bcomment\b/.test(cm.getTokenTypeAt(pos))) return CodeMirror.Pass;
|
18
|
+
var modeHere = cm.getModeAt(pos)
|
19
|
+
if (!mode) mode = modeHere;
|
20
|
+
else if (mode != modeHere) return CodeMirror.Pass;
|
21
|
+
|
22
|
+
var insert = null;
|
23
|
+
if (mode.blockCommentStart && mode.blockCommentContinue) {
|
24
|
+
var line = cm.getLine(pos.line).slice(0, pos.ch)
|
25
|
+
var end = line.lastIndexOf(mode.blockCommentEnd), found
|
26
|
+
if (end != -1 && end == pos.ch - mode.blockCommentEnd.length) {
|
27
|
+
// Comment ended, don't continue it
|
28
|
+
} else if ((found = line.lastIndexOf(mode.blockCommentStart)) > -1 && found > end) {
|
29
|
+
insert = line.slice(0, found)
|
30
|
+
if (/\S/.test(insert)) {
|
31
|
+
insert = ""
|
32
|
+
for (var j = 0; j < found; ++j) insert += " "
|
33
|
+
}
|
34
|
+
} else if ((found = line.indexOf(mode.blockCommentContinue)) > -1 && !/\S/.test(line.slice(0, found))) {
|
35
|
+
insert = line.slice(0, found)
|
36
|
+
}
|
37
|
+
if (insert != null) insert += mode.blockCommentContinue
|
38
|
+
}
|
39
|
+
if (insert == null && mode.lineComment && continueLineCommentEnabled(cm)) {
|
40
|
+
var line = cm.getLine(pos.line), found = line.indexOf(mode.lineComment);
|
41
|
+
if (found > -1) {
|
42
|
+
insert = line.slice(0, found);
|
43
|
+
if (/\S/.test(insert)) insert = null;
|
44
|
+
else insert += mode.lineComment + line.slice(found + mode.lineComment.length).match(/^\s*/)[0];
|
45
|
+
}
|
46
|
+
}
|
47
|
+
if (insert == null) return CodeMirror.Pass;
|
48
|
+
inserts[i] = "\n" + insert;
|
49
|
+
}
|
50
|
+
|
51
|
+
cm.operation(function() {
|
52
|
+
for (var i = ranges.length - 1; i >= 0; i--)
|
53
|
+
cm.replaceRange(inserts[i], ranges[i].from(), ranges[i].to(), "+insert");
|
54
|
+
});
|
55
|
+
}
|
56
|
+
|
57
|
+
function continueLineCommentEnabled(cm) {
|
58
|
+
var opt = cm.getOption("continueComments");
|
59
|
+
if (opt && typeof opt == "object")
|
60
|
+
return opt.continueLineComment !== false;
|
61
|
+
return true;
|
62
|
+
}
|
63
|
+
|
64
|
+
CodeMirror.defineOption("continueComments", null, function(cm, val, prev) {
|
65
|
+
if (prev && prev != CodeMirror.Init)
|
66
|
+
cm.removeKeyMap("continueComment");
|
67
|
+
if (val) {
|
68
|
+
var key = "Enter";
|
69
|
+
if (typeof val == "string")
|
70
|
+
key = val;
|
71
|
+
else if (typeof val == "object" && val.key)
|
72
|
+
key = val.key;
|
73
|
+
var map = {name: "continueComment"};
|
74
|
+
map[key] = continueComment;
|
75
|
+
cm.addKeyMap(map);
|
76
|
+
}
|
77
|
+
});
|
78
|
+
});
|
@@ -0,0 +1,161 @@
|
|
1
|
+
// CodeMirror, copyright (c) by Marijn Haverbeke and others
|
2
|
+
// Distributed under an MIT license: https://codemirror.net/LICENSE
|
3
|
+
|
4
|
+
// Open simple dialogs on top of an editor. Relies on dialog.css.
|
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
|
+
function dialogDiv(cm, template, bottom) {
|
15
|
+
var wrap = cm.getWrapperElement();
|
16
|
+
var dialog;
|
17
|
+
dialog = wrap.appendChild(document.createElement("div"));
|
18
|
+
if (bottom)
|
19
|
+
dialog.className = "CodeMirror-dialog CodeMirror-dialog-bottom";
|
20
|
+
else
|
21
|
+
dialog.className = "CodeMirror-dialog CodeMirror-dialog-top";
|
22
|
+
|
23
|
+
if (typeof template == "string") {
|
24
|
+
dialog.innerHTML = template;
|
25
|
+
} else { // Assuming it's a detached DOM element.
|
26
|
+
dialog.appendChild(template);
|
27
|
+
}
|
28
|
+
CodeMirror.addClass(wrap, 'dialog-opened');
|
29
|
+
return dialog;
|
30
|
+
}
|
31
|
+
|
32
|
+
function closeNotification(cm, newVal) {
|
33
|
+
if (cm.state.currentNotificationClose)
|
34
|
+
cm.state.currentNotificationClose();
|
35
|
+
cm.state.currentNotificationClose = newVal;
|
36
|
+
}
|
37
|
+
|
38
|
+
CodeMirror.defineExtension("openDialog", function(template, callback, options) {
|
39
|
+
if (!options) options = {};
|
40
|
+
|
41
|
+
closeNotification(this, null);
|
42
|
+
|
43
|
+
var dialog = dialogDiv(this, template, options.bottom);
|
44
|
+
var closed = false, me = this;
|
45
|
+
function close(newVal) {
|
46
|
+
if (typeof newVal == 'string') {
|
47
|
+
inp.value = newVal;
|
48
|
+
} else {
|
49
|
+
if (closed) return;
|
50
|
+
closed = true;
|
51
|
+
CodeMirror.rmClass(dialog.parentNode, 'dialog-opened');
|
52
|
+
dialog.parentNode.removeChild(dialog);
|
53
|
+
me.focus();
|
54
|
+
|
55
|
+
if (options.onClose) options.onClose(dialog);
|
56
|
+
}
|
57
|
+
}
|
58
|
+
|
59
|
+
var inp = dialog.getElementsByTagName("input")[0], button;
|
60
|
+
if (inp) {
|
61
|
+
inp.focus();
|
62
|
+
|
63
|
+
if (options.value) {
|
64
|
+
inp.value = options.value;
|
65
|
+
if (options.selectValueOnOpen !== false) {
|
66
|
+
inp.select();
|
67
|
+
}
|
68
|
+
}
|
69
|
+
|
70
|
+
if (options.onInput)
|
71
|
+
CodeMirror.on(inp, "input", function(e) { options.onInput(e, inp.value, close);});
|
72
|
+
if (options.onKeyUp)
|
73
|
+
CodeMirror.on(inp, "keyup", function(e) {options.onKeyUp(e, inp.value, close);});
|
74
|
+
|
75
|
+
CodeMirror.on(inp, "keydown", function(e) {
|
76
|
+
if (options && options.onKeyDown && options.onKeyDown(e, inp.value, close)) { return; }
|
77
|
+
if (e.keyCode == 27 || (options.closeOnEnter !== false && e.keyCode == 13)) {
|
78
|
+
inp.blur();
|
79
|
+
CodeMirror.e_stop(e);
|
80
|
+
close();
|
81
|
+
}
|
82
|
+
if (e.keyCode == 13) callback(inp.value, e);
|
83
|
+
});
|
84
|
+
|
85
|
+
if (options.closeOnBlur !== false) CodeMirror.on(inp, "blur", close);
|
86
|
+
} else if (button = dialog.getElementsByTagName("button")[0]) {
|
87
|
+
CodeMirror.on(button, "click", function() {
|
88
|
+
close();
|
89
|
+
me.focus();
|
90
|
+
});
|
91
|
+
|
92
|
+
if (options.closeOnBlur !== false) CodeMirror.on(button, "blur", close);
|
93
|
+
|
94
|
+
button.focus();
|
95
|
+
}
|
96
|
+
return close;
|
97
|
+
});
|
98
|
+
|
99
|
+
CodeMirror.defineExtension("openConfirm", function(template, callbacks, options) {
|
100
|
+
closeNotification(this, null);
|
101
|
+
var dialog = dialogDiv(this, template, options && options.bottom);
|
102
|
+
var buttons = dialog.getElementsByTagName("button");
|
103
|
+
var closed = false, me = this, blurring = 1;
|
104
|
+
function close() {
|
105
|
+
if (closed) return;
|
106
|
+
closed = true;
|
107
|
+
CodeMirror.rmClass(dialog.parentNode, 'dialog-opened');
|
108
|
+
dialog.parentNode.removeChild(dialog);
|
109
|
+
me.focus();
|
110
|
+
}
|
111
|
+
buttons[0].focus();
|
112
|
+
for (var i = 0; i < buttons.length; ++i) {
|
113
|
+
var b = buttons[i];
|
114
|
+
(function(callback) {
|
115
|
+
CodeMirror.on(b, "click", function(e) {
|
116
|
+
CodeMirror.e_preventDefault(e);
|
117
|
+
close();
|
118
|
+
if (callback) callback(me);
|
119
|
+
});
|
120
|
+
})(callbacks[i]);
|
121
|
+
CodeMirror.on(b, "blur", function() {
|
122
|
+
--blurring;
|
123
|
+
setTimeout(function() { if (blurring <= 0) close(); }, 200);
|
124
|
+
});
|
125
|
+
CodeMirror.on(b, "focus", function() { ++blurring; });
|
126
|
+
}
|
127
|
+
});
|
128
|
+
|
129
|
+
/*
|
130
|
+
* openNotification
|
131
|
+
* Opens a notification, that can be closed with an optional timer
|
132
|
+
* (default 5000ms timer) and always closes on click.
|
133
|
+
*
|
134
|
+
* If a notification is opened while another is opened, it will close the
|
135
|
+
* currently opened one and open the new one immediately.
|
136
|
+
*/
|
137
|
+
CodeMirror.defineExtension("openNotification", function(template, options) {
|
138
|
+
closeNotification(this, close);
|
139
|
+
var dialog = dialogDiv(this, template, options && options.bottom);
|
140
|
+
var closed = false, doneTimer;
|
141
|
+
var duration = options && typeof options.duration !== "undefined" ? options.duration : 5000;
|
142
|
+
|
143
|
+
function close() {
|
144
|
+
if (closed) return;
|
145
|
+
closed = true;
|
146
|
+
clearTimeout(doneTimer);
|
147
|
+
CodeMirror.rmClass(dialog.parentNode, 'dialog-opened');
|
148
|
+
dialog.parentNode.removeChild(dialog);
|
149
|
+
}
|
150
|
+
|
151
|
+
CodeMirror.on(dialog, 'click', function(e) {
|
152
|
+
CodeMirror.e_preventDefault(e);
|
153
|
+
close();
|
154
|
+
});
|
155
|
+
|
156
|
+
if (duration)
|
157
|
+
doneTimer = setTimeout(close, duration);
|
158
|
+
|
159
|
+
return close;
|
160
|
+
});
|
161
|
+
});
|
@@ -0,0 +1,47 @@
|
|
1
|
+
// CodeMirror, copyright (c) by Marijn Haverbeke and others
|
2
|
+
// Distributed under an MIT license: https://codemirror.net/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("autoRefresh", false, function(cm, val) {
|
15
|
+
if (cm.state.autoRefresh) {
|
16
|
+
stopListening(cm, cm.state.autoRefresh)
|
17
|
+
cm.state.autoRefresh = null
|
18
|
+
}
|
19
|
+
if (val && cm.display.wrapper.offsetHeight == 0)
|
20
|
+
startListening(cm, cm.state.autoRefresh = {delay: val.delay || 250})
|
21
|
+
})
|
22
|
+
|
23
|
+
function startListening(cm, state) {
|
24
|
+
function check() {
|
25
|
+
if (cm.display.wrapper.offsetHeight) {
|
26
|
+
stopListening(cm, state)
|
27
|
+
if (cm.display.lastWrapHeight != cm.display.wrapper.clientHeight)
|
28
|
+
cm.refresh()
|
29
|
+
} else {
|
30
|
+
state.timeout = setTimeout(check, state.delay)
|
31
|
+
}
|
32
|
+
}
|
33
|
+
state.timeout = setTimeout(check, state.delay)
|
34
|
+
state.hurry = function() {
|
35
|
+
clearTimeout(state.timeout)
|
36
|
+
state.timeout = setTimeout(check, 50)
|
37
|
+
}
|
38
|
+
CodeMirror.on(window, "mouseup", state.hurry)
|
39
|
+
CodeMirror.on(window, "keyup", state.hurry)
|
40
|
+
}
|
41
|
+
|
42
|
+
function stopListening(_cm, state) {
|
43
|
+
clearTimeout(state.timeout)
|
44
|
+
CodeMirror.off(window, "mouseup", state.hurry)
|
45
|
+
CodeMirror.off(window, "keyup", state.hurry)
|
46
|
+
}
|
47
|
+
});
|