@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.
Files changed (366) hide show
  1. package/.dockerignore +8 -0
  2. package/.github/workflows/docker-build.yml +45 -0
  3. package/.gitignore~ +1 -0
  4. package/Dockerfile +60 -0
  5. package/LICENSE +21 -0
  6. package/README.md +99 -0
  7. package/data.jsontag +20 -0
  8. package/design/access-management.md +25 -0
  9. package/design/acid.md +31 -0
  10. package/design/commands.md +25 -0
  11. package/design/identity.md +71 -0
  12. package/design/immutability.md +26 -0
  13. package/design/jsontag-selector.md +365 -0
  14. package/design/multitasking.md +13 -0
  15. package/design/thoughts.md +32 -0
  16. package/docs/docker.md +129 -0
  17. package/package.json +29 -0
  18. package/package.json~ +29 -0
  19. package/src/run.mjs +3 -0
  20. package/src/server.mjs +323 -0
  21. package/src/triplestore.mjs +182 -0
  22. package/www/assets/css/style.css +2296 -0
  23. package/www/assets/feather-sprite.svg +1 -0
  24. package/www/assets/img/simplystore-narrow-white.svg +138 -0
  25. package/www/assets/img/simplystore-narrow.svg +138 -0
  26. package/www/assets/img/simplystore-white.svg +153 -0
  27. package/www/assets/img/simplystore.svg +153 -0
  28. package/www/codemirror/AUTHORS +979 -0
  29. package/www/codemirror/CHANGELOG.md +2208 -0
  30. package/www/codemirror/CONTRIBUTING.md +92 -0
  31. package/www/codemirror/LICENSE +21 -0
  32. package/www/codemirror/README.md +47 -0
  33. package/www/codemirror/addon/comment/comment.js +211 -0
  34. package/www/codemirror/addon/comment/continuecomment.js +114 -0
  35. package/www/codemirror/addon/dialog/dialog.css +32 -0
  36. package/www/codemirror/addon/dialog/dialog.js +163 -0
  37. package/www/codemirror/addon/display/autorefresh.js +47 -0
  38. package/www/codemirror/addon/display/fullscreen.css +6 -0
  39. package/www/codemirror/addon/display/fullscreen.js +41 -0
  40. package/www/codemirror/addon/display/panel.js +133 -0
  41. package/www/codemirror/addon/display/placeholder.js +78 -0
  42. package/www/codemirror/addon/display/rulers.js +51 -0
  43. package/www/codemirror/addon/edit/closebrackets.js +201 -0
  44. package/www/codemirror/addon/edit/closetag.js +185 -0
  45. package/www/codemirror/addon/edit/continuelist.js +101 -0
  46. package/www/codemirror/addon/edit/matchbrackets.js +160 -0
  47. package/www/codemirror/addon/edit/matchtags.js +66 -0
  48. package/www/codemirror/addon/edit/trailingspace.js +27 -0
  49. package/www/codemirror/addon/fold/brace-fold.js +119 -0
  50. package/www/codemirror/addon/fold/comment-fold.js +59 -0
  51. package/www/codemirror/addon/fold/foldcode.js +159 -0
  52. package/www/codemirror/addon/fold/foldgutter.css +20 -0
  53. package/www/codemirror/addon/fold/foldgutter.js +169 -0
  54. package/www/codemirror/addon/fold/indent-fold.js +48 -0
  55. package/www/codemirror/addon/fold/markdown-fold.js +49 -0
  56. package/www/codemirror/addon/fold/xml-fold.js +184 -0
  57. package/www/codemirror/addon/hint/anyword-hint.js +41 -0
  58. package/www/codemirror/addon/hint/css-hint.js +66 -0
  59. package/www/codemirror/addon/hint/html-hint.js +351 -0
  60. package/www/codemirror/addon/hint/javascript-hint.js +162 -0
  61. package/www/codemirror/addon/hint/show-hint.css +37 -0
  62. package/www/codemirror/addon/hint/show-hint.js +523 -0
  63. package/www/codemirror/addon/hint/sql-hint.js +304 -0
  64. package/www/codemirror/addon/hint/xml-hint.js +132 -0
  65. package/www/codemirror/addon/lint/coffeescript-lint.js +47 -0
  66. package/www/codemirror/addon/lint/css-lint.js +40 -0
  67. package/www/codemirror/addon/lint/html-lint.js +59 -0
  68. package/www/codemirror/addon/lint/javascript-lint.js +65 -0
  69. package/www/codemirror/addon/lint/json-lint.js +40 -0
  70. package/www/codemirror/addon/lint/lint.css +79 -0
  71. package/www/codemirror/addon/lint/lint.js +291 -0
  72. package/www/codemirror/addon/lint/yaml-lint.js +41 -0
  73. package/www/codemirror/addon/merge/merge.css +119 -0
  74. package/www/codemirror/addon/merge/merge.js +1018 -0
  75. package/www/codemirror/addon/mode/loadmode.js +66 -0
  76. package/www/codemirror/addon/mode/multiplex.js +136 -0
  77. package/www/codemirror/addon/mode/multiplex_test.js +49 -0
  78. package/www/codemirror/addon/mode/overlay.js +90 -0
  79. package/www/codemirror/addon/mode/simple.js +216 -0
  80. package/www/codemirror/addon/runmode/colorize.js +40 -0
  81. package/www/codemirror/addon/runmode/runmode-standalone.js +334 -0
  82. package/www/codemirror/addon/runmode/runmode.js +76 -0
  83. package/www/codemirror/addon/runmode/runmode.node.js +329 -0
  84. package/www/codemirror/addon/scroll/annotatescrollbar.js +128 -0
  85. package/www/codemirror/addon/scroll/scrollpastend.js +48 -0
  86. package/www/codemirror/addon/scroll/simplescrollbars.css +66 -0
  87. package/www/codemirror/addon/scroll/simplescrollbars.js +152 -0
  88. package/www/codemirror/addon/search/jump-to-line.js +53 -0
  89. package/www/codemirror/addon/search/match-highlighter.js +167 -0
  90. package/www/codemirror/addon/search/matchesonscrollbar.css +8 -0
  91. package/www/codemirror/addon/search/matchesonscrollbar.js +97 -0
  92. package/www/codemirror/addon/search/search.js +295 -0
  93. package/www/codemirror/addon/search/searchcursor.js +305 -0
  94. package/www/codemirror/addon/selection/active-line.js +72 -0
  95. package/www/codemirror/addon/selection/mark-selection.js +119 -0
  96. package/www/codemirror/addon/selection/selection-pointer.js +98 -0
  97. package/www/codemirror/addon/tern/tern.css +87 -0
  98. package/www/codemirror/addon/tern/tern.js +756 -0
  99. package/www/codemirror/addon/tern/worker.js +44 -0
  100. package/www/codemirror/addon/wrap/hardwrap.js +160 -0
  101. package/www/codemirror/bin/source-highlight +48 -0
  102. package/www/codemirror/keymap/emacs.js +545 -0
  103. package/www/codemirror/keymap/sublime.js +720 -0
  104. package/www/codemirror/keymap/vim.js +5978 -0
  105. package/www/codemirror/lib/codemirror.css +344 -0
  106. package/www/codemirror/lib/codemirror.js +9874 -0
  107. package/www/codemirror/mode/apl/apl.js +174 -0
  108. package/www/codemirror/mode/asciiarmor/asciiarmor.js +74 -0
  109. package/www/codemirror/mode/asn.1/asn.1.js +204 -0
  110. package/www/codemirror/mode/asterisk/asterisk.js +220 -0
  111. package/www/codemirror/mode/brainfuck/brainfuck.js +85 -0
  112. package/www/codemirror/mode/clike/clike.js +940 -0
  113. package/www/codemirror/mode/clojure/clojure.js +292 -0
  114. package/www/codemirror/mode/cmake/cmake.js +97 -0
  115. package/www/codemirror/mode/cobol/cobol.js +255 -0
  116. package/www/codemirror/mode/coffeescript/coffeescript.js +359 -0
  117. package/www/codemirror/mode/commonlisp/commonlisp.js +125 -0
  118. package/www/codemirror/mode/crystal/crystal.js +433 -0
  119. package/www/codemirror/mode/css/css.js +862 -0
  120. package/www/codemirror/mode/cypher/cypher.js +152 -0
  121. package/www/codemirror/mode/d/d.js +223 -0
  122. package/www/codemirror/mode/dart/dart.js +166 -0
  123. package/www/codemirror/mode/diff/diff.js +47 -0
  124. package/www/codemirror/mode/django/django.js +356 -0
  125. package/www/codemirror/mode/dockerfile/dockerfile.js +211 -0
  126. package/www/codemirror/mode/dtd/dtd.js +142 -0
  127. package/www/codemirror/mode/dylan/dylan.js +352 -0
  128. package/www/codemirror/mode/ebnf/ebnf.js +195 -0
  129. package/www/codemirror/mode/ecl/ecl.js +206 -0
  130. package/www/codemirror/mode/eiffel/eiffel.js +160 -0
  131. package/www/codemirror/mode/elm/elm.js +245 -0
  132. package/www/codemirror/mode/erlang/erlang.js +619 -0
  133. package/www/codemirror/mode/factor/factor.js +85 -0
  134. package/www/codemirror/mode/fcl/fcl.js +173 -0
  135. package/www/codemirror/mode/forth/forth.js +180 -0
  136. package/www/codemirror/mode/fortran/fortran.js +188 -0
  137. package/www/codemirror/mode/gas/gas.js +353 -0
  138. package/www/codemirror/mode/gfm/gfm.js +129 -0
  139. package/www/codemirror/mode/gherkin/gherkin.js +178 -0
  140. package/www/codemirror/mode/go/go.js +187 -0
  141. package/www/codemirror/mode/groovy/groovy.js +247 -0
  142. package/www/codemirror/mode/haml/haml.js +161 -0
  143. package/www/codemirror/mode/handlebars/handlebars.js +70 -0
  144. package/www/codemirror/mode/haskell/haskell.js +268 -0
  145. package/www/codemirror/mode/haskell-literate/haskell-literate.js +43 -0
  146. package/www/codemirror/mode/haxe/haxe.js +515 -0
  147. package/www/codemirror/mode/htmlembedded/htmlembedded.js +37 -0
  148. package/www/codemirror/mode/htmlmixed/htmlmixed.js +153 -0
  149. package/www/codemirror/mode/http/http.js +113 -0
  150. package/www/codemirror/mode/idl/idl.js +290 -0
  151. package/www/codemirror/mode/javascript/javascript.js +960 -0
  152. package/www/codemirror/mode/jinja2/jinja2.js +193 -0
  153. package/www/codemirror/mode/jsx/jsx.js +148 -0
  154. package/www/codemirror/mode/julia/julia.js +390 -0
  155. package/www/codemirror/mode/livescript/livescript.js +280 -0
  156. package/www/codemirror/mode/lua/lua.js +160 -0
  157. package/www/codemirror/mode/markdown/markdown.js +886 -0
  158. package/www/codemirror/mode/mathematica/mathematica.js +176 -0
  159. package/www/codemirror/mode/mbox/mbox.js +129 -0
  160. package/www/codemirror/mode/meta.js +221 -0
  161. package/www/codemirror/mode/mirc/mirc.js +193 -0
  162. package/www/codemirror/mode/mllike/mllike.js +359 -0
  163. package/www/codemirror/mode/modelica/modelica.js +245 -0
  164. package/www/codemirror/mode/mscgen/mscgen.js +175 -0
  165. package/www/codemirror/mode/mumps/mumps.js +148 -0
  166. package/www/codemirror/mode/nginx/nginx.js +178 -0
  167. package/www/codemirror/mode/nsis/nsis.js +95 -0
  168. package/www/codemirror/mode/ntriples/ntriples.js +195 -0
  169. package/www/codemirror/mode/octave/octave.js +139 -0
  170. package/www/codemirror/mode/oz/oz.js +252 -0
  171. package/www/codemirror/mode/pascal/pascal.js +136 -0
  172. package/www/codemirror/mode/pegjs/pegjs.js +111 -0
  173. package/www/codemirror/mode/perl/perl.js +836 -0
  174. package/www/codemirror/mode/php/php.js +234 -0
  175. package/www/codemirror/mode/pig/pig.js +178 -0
  176. package/www/codemirror/mode/powershell/powershell.js +398 -0
  177. package/www/codemirror/mode/properties/properties.js +78 -0
  178. package/www/codemirror/mode/protobuf/protobuf.js +72 -0
  179. package/www/codemirror/mode/pug/pug.js +591 -0
  180. package/www/codemirror/mode/puppet/puppet.js +220 -0
  181. package/www/codemirror/mode/python/python.js +402 -0
  182. package/www/codemirror/mode/q/q.js +139 -0
  183. package/www/codemirror/mode/r/r.js +190 -0
  184. package/www/codemirror/mode/rpm/changes/index.html +66 -0
  185. package/www/codemirror/mode/rpm/rpm.js +109 -0
  186. package/www/codemirror/mode/rst/rst.js +557 -0
  187. package/www/codemirror/mode/ruby/ruby.js +303 -0
  188. package/www/codemirror/mode/rust/rust.js +72 -0
  189. package/www/codemirror/mode/sas/sas.js +303 -0
  190. package/www/codemirror/mode/sass/sass.js +459 -0
  191. package/www/codemirror/mode/scheme/scheme.js +284 -0
  192. package/www/codemirror/mode/shell/shell.js +168 -0
  193. package/www/codemirror/mode/sieve/sieve.js +193 -0
  194. package/www/codemirror/mode/slim/slim.js +575 -0
  195. package/www/codemirror/mode/smalltalk/smalltalk.js +168 -0
  196. package/www/codemirror/mode/smarty/smarty.js +225 -0
  197. package/www/codemirror/mode/solr/solr.js +104 -0
  198. package/www/codemirror/mode/soy/soy.js +665 -0
  199. package/www/codemirror/mode/sparql/sparql.js +184 -0
  200. package/www/codemirror/mode/spreadsheet/spreadsheet.js +112 -0
  201. package/www/codemirror/mode/sql/sql.js +525 -0
  202. package/www/codemirror/mode/stex/stex.js +264 -0
  203. package/www/codemirror/mode/stylus/stylus.js +775 -0
  204. package/www/codemirror/mode/swift/swift.js +221 -0
  205. package/www/codemirror/mode/tcl/tcl.js +140 -0
  206. package/www/codemirror/mode/textile/textile.js +469 -0
  207. package/www/codemirror/mode/tiddlywiki/tiddlywiki.css +14 -0
  208. package/www/codemirror/mode/tiddlywiki/tiddlywiki.js +308 -0
  209. package/www/codemirror/mode/tiki/tiki.css +26 -0
  210. package/www/codemirror/mode/tiki/tiki.js +312 -0
  211. package/www/codemirror/mode/toml/toml.js +88 -0
  212. package/www/codemirror/mode/tornado/tornado.js +68 -0
  213. package/www/codemirror/mode/troff/troff.js +84 -0
  214. package/www/codemirror/mode/ttcn/ttcn.js +283 -0
  215. package/www/codemirror/mode/ttcn-cfg/ttcn-cfg.js +214 -0
  216. package/www/codemirror/mode/turtle/turtle.js +162 -0
  217. package/www/codemirror/mode/twig/twig.js +141 -0
  218. package/www/codemirror/mode/vb/vb.js +275 -0
  219. package/www/codemirror/mode/vbscript/vbscript.js +350 -0
  220. package/www/codemirror/mode/velocity/velocity.js +202 -0
  221. package/www/codemirror/mode/verilog/verilog.js +781 -0
  222. package/www/codemirror/mode/vhdl/vhdl.js +189 -0
  223. package/www/codemirror/mode/vue/vue.js +77 -0
  224. package/www/codemirror/mode/wast/wast.js +132 -0
  225. package/www/codemirror/mode/webidl/webidl.js +195 -0
  226. package/www/codemirror/mode/xml/xml.js +417 -0
  227. package/www/codemirror/mode/xquery/xquery.js +448 -0
  228. package/www/codemirror/mode/yacas/yacas.js +204 -0
  229. package/www/codemirror/mode/yaml/yaml.js +120 -0
  230. package/www/codemirror/mode/yaml-frontmatter/yaml-frontmatter.js +72 -0
  231. package/www/codemirror/mode/z80/z80.js +116 -0
  232. package/www/codemirror/package.json +52 -0
  233. package/www/codemirror/rollup.config.js +52 -0
  234. package/www/codemirror/src/addon/runmode/codemirror-standalone.js +24 -0
  235. package/www/codemirror/src/addon/runmode/codemirror.node.js +21 -0
  236. package/www/codemirror/src/addon/runmode/runmode-standalone.js +2 -0
  237. package/www/codemirror/src/addon/runmode/runmode.node.js +2 -0
  238. package/www/codemirror/src/codemirror.js +3 -0
  239. package/www/codemirror/src/display/Display.js +116 -0
  240. package/www/codemirror/src/display/focus.js +50 -0
  241. package/www/codemirror/src/display/gutters.js +44 -0
  242. package/www/codemirror/src/display/highlight_worker.js +55 -0
  243. package/www/codemirror/src/display/line_numbers.js +48 -0
  244. package/www/codemirror/src/display/mode_state.js +22 -0
  245. package/www/codemirror/src/display/operations.js +206 -0
  246. package/www/codemirror/src/display/scroll_events.js +132 -0
  247. package/www/codemirror/src/display/scrollbars.js +194 -0
  248. package/www/codemirror/src/display/scrolling.js +186 -0
  249. package/www/codemirror/src/display/selection.js +173 -0
  250. package/www/codemirror/src/display/update_display.js +267 -0
  251. package/www/codemirror/src/display/update_line.js +189 -0
  252. package/www/codemirror/src/display/update_lines.js +82 -0
  253. package/www/codemirror/src/display/view_tracking.js +153 -0
  254. package/www/codemirror/src/edit/CodeMirror.js +217 -0
  255. package/www/codemirror/src/edit/commands.js +178 -0
  256. package/www/codemirror/src/edit/deleteNearSelection.js +30 -0
  257. package/www/codemirror/src/edit/drop_events.js +130 -0
  258. package/www/codemirror/src/edit/fromTextArea.js +61 -0
  259. package/www/codemirror/src/edit/global_events.js +45 -0
  260. package/www/codemirror/src/edit/key_events.js +163 -0
  261. package/www/codemirror/src/edit/legacy.js +62 -0
  262. package/www/codemirror/src/edit/main.js +69 -0
  263. package/www/codemirror/src/edit/methods.js +555 -0
  264. package/www/codemirror/src/edit/mouse_events.js +417 -0
  265. package/www/codemirror/src/edit/options.js +194 -0
  266. package/www/codemirror/src/edit/utils.js +7 -0
  267. package/www/codemirror/src/input/ContentEditableInput.js +546 -0
  268. package/www/codemirror/src/input/TextareaInput.js +380 -0
  269. package/www/codemirror/src/input/indent.js +71 -0
  270. package/www/codemirror/src/input/input.js +134 -0
  271. package/www/codemirror/src/input/keymap.js +147 -0
  272. package/www/codemirror/src/input/keynames.js +17 -0
  273. package/www/codemirror/src/input/movement.js +111 -0
  274. package/www/codemirror/src/line/highlight.js +284 -0
  275. package/www/codemirror/src/line/line_data.js +349 -0
  276. package/www/codemirror/src/line/pos.js +40 -0
  277. package/www/codemirror/src/line/saw_special_spans.js +10 -0
  278. package/www/codemirror/src/line/spans.js +390 -0
  279. package/www/codemirror/src/line/utils_line.js +85 -0
  280. package/www/codemirror/src/measurement/position_measurement.js +702 -0
  281. package/www/codemirror/src/measurement/widgets.js +26 -0
  282. package/www/codemirror/src/model/Doc.js +436 -0
  283. package/www/codemirror/src/model/change_measurement.js +61 -0
  284. package/www/codemirror/src/model/changes.js +339 -0
  285. package/www/codemirror/src/model/chunk.js +167 -0
  286. package/www/codemirror/src/model/document_data.js +112 -0
  287. package/www/codemirror/src/model/history.js +228 -0
  288. package/www/codemirror/src/model/line_widget.js +78 -0
  289. package/www/codemirror/src/model/mark_text.js +293 -0
  290. package/www/codemirror/src/model/selection.js +84 -0
  291. package/www/codemirror/src/model/selection_updates.js +216 -0
  292. package/www/codemirror/src/modes.js +96 -0
  293. package/www/codemirror/src/util/StringStream.js +90 -0
  294. package/www/codemirror/src/util/bidi.js +215 -0
  295. package/www/codemirror/src/util/browser.js +34 -0
  296. package/www/codemirror/src/util/dom.js +101 -0
  297. package/www/codemirror/src/util/event.js +103 -0
  298. package/www/codemirror/src/util/feature_detection.js +84 -0
  299. package/www/codemirror/src/util/misc.js +168 -0
  300. package/www/codemirror/src/util/operation_group.js +72 -0
  301. package/www/codemirror/theme/3024-day.css +41 -0
  302. package/www/codemirror/theme/3024-night.css +39 -0
  303. package/www/codemirror/theme/abbott.css +268 -0
  304. package/www/codemirror/theme/abcdef.css +32 -0
  305. package/www/codemirror/theme/ambiance-mobile.css +5 -0
  306. package/www/codemirror/theme/ambiance.css +74 -0
  307. package/www/codemirror/theme/ayu-dark.css +44 -0
  308. package/www/codemirror/theme/ayu-mirage.css +45 -0
  309. package/www/codemirror/theme/base16-dark.css +40 -0
  310. package/www/codemirror/theme/base16-light.css +38 -0
  311. package/www/codemirror/theme/bespin.css +34 -0
  312. package/www/codemirror/theme/blackboard.css +32 -0
  313. package/www/codemirror/theme/cobalt.css +25 -0
  314. package/www/codemirror/theme/colorforth.css +33 -0
  315. package/www/codemirror/theme/darcula.css +53 -0
  316. package/www/codemirror/theme/dracula.css +40 -0
  317. package/www/codemirror/theme/duotone-dark.css +35 -0
  318. package/www/codemirror/theme/duotone-light.css +36 -0
  319. package/www/codemirror/theme/eclipse.css +23 -0
  320. package/www/codemirror/theme/elegant.css +13 -0
  321. package/www/codemirror/theme/erlang-dark.css +34 -0
  322. package/www/codemirror/theme/gruvbox-dark.css +39 -0
  323. package/www/codemirror/theme/hopscotch.css +34 -0
  324. package/www/codemirror/theme/icecoder.css +43 -0
  325. package/www/codemirror/theme/idea.css +42 -0
  326. package/www/codemirror/theme/isotope.css +34 -0
  327. package/www/codemirror/theme/juejin.css +30 -0
  328. package/www/codemirror/theme/lesser-dark.css +47 -0
  329. package/www/codemirror/theme/liquibyte.css +95 -0
  330. package/www/codemirror/theme/lucario.css +37 -0
  331. package/www/codemirror/theme/material-darker.css +135 -0
  332. package/www/codemirror/theme/material-ocean.css +141 -0
  333. package/www/codemirror/theme/material-palenight.css +141 -0
  334. package/www/codemirror/theme/material.css +141 -0
  335. package/www/codemirror/theme/mbo.css +37 -0
  336. package/www/codemirror/theme/mdn-like.css +46 -0
  337. package/www/codemirror/theme/midnight.css +39 -0
  338. package/www/codemirror/theme/monokai.css +41 -0
  339. package/www/codemirror/theme/moxer.css +143 -0
  340. package/www/codemirror/theme/neat.css +12 -0
  341. package/www/codemirror/theme/neo.css +43 -0
  342. package/www/codemirror/theme/night.css +27 -0
  343. package/www/codemirror/theme/nord.css +42 -0
  344. package/www/codemirror/theme/oceanic-next.css +46 -0
  345. package/www/codemirror/theme/panda-syntax.css +85 -0
  346. package/www/codemirror/theme/paraiso-dark.css +38 -0
  347. package/www/codemirror/theme/paraiso-light.css +38 -0
  348. package/www/codemirror/theme/pastel-on-dark.css +52 -0
  349. package/www/codemirror/theme/railscasts.css +34 -0
  350. package/www/codemirror/theme/rubyblue.css +25 -0
  351. package/www/codemirror/theme/seti.css +44 -0
  352. package/www/codemirror/theme/shadowfox.css +52 -0
  353. package/www/codemirror/theme/solarized.css +165 -0
  354. package/www/codemirror/theme/ssms.css +16 -0
  355. package/www/codemirror/theme/the-matrix.css +30 -0
  356. package/www/codemirror/theme/tomorrow-night-bright.css +35 -0
  357. package/www/codemirror/theme/tomorrow-night-eighties.css +38 -0
  358. package/www/codemirror/theme/ttcn.css +64 -0
  359. package/www/codemirror/theme/twilight.css +32 -0
  360. package/www/codemirror/theme/vibrant-ink.css +34 -0
  361. package/www/codemirror/theme/xq-dark.css +53 -0
  362. package/www/codemirror/theme/xq-light.css +43 -0
  363. package/www/codemirror/theme/yeti.css +44 -0
  364. package/www/codemirror/theme/yonce.css +59 -0
  365. package/www/codemirror/theme/zenburn.css +37 -0
  366. package/www/index.html +216 -0
@@ -0,0 +1,47 @@
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("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
+ });
@@ -0,0 +1,6 @@
1
+ .CodeMirror-fullscreen {
2
+ position: fixed;
3
+ top: 0; left: 0; right: 0; bottom: 0;
4
+ height: auto;
5
+ z-index: 9;
6
+ }
@@ -0,0 +1,41 @@
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("fullScreen", false, function(cm, val, old) {
15
+ if (old == CodeMirror.Init) old = false;
16
+ if (!old == !val) return;
17
+ if (val) setFullscreen(cm);
18
+ else setNormal(cm);
19
+ });
20
+
21
+ function setFullscreen(cm) {
22
+ var wrap = cm.getWrapperElement();
23
+ cm.state.fullScreenRestore = {scrollTop: window.pageYOffset, scrollLeft: window.pageXOffset,
24
+ width: wrap.style.width, height: wrap.style.height};
25
+ wrap.style.width = "";
26
+ wrap.style.height = "auto";
27
+ wrap.className += " CodeMirror-fullscreen";
28
+ document.documentElement.style.overflow = "hidden";
29
+ cm.refresh();
30
+ }
31
+
32
+ function setNormal(cm) {
33
+ var wrap = cm.getWrapperElement();
34
+ wrap.className = wrap.className.replace(/\s*CodeMirror-fullscreen\b/, "");
35
+ document.documentElement.style.overflow = "";
36
+ var info = cm.state.fullScreenRestore;
37
+ wrap.style.width = info.width; wrap.style.height = info.height;
38
+ window.scrollTo(info.scrollLeft, info.scrollTop);
39
+ cm.refresh();
40
+ }
41
+ });
@@ -0,0 +1,133 @@
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
+ CodeMirror.defineExtension("addPanel", function (node, options) {
13
+ options = options || {};
14
+
15
+ if (!this.state.panels) initPanels(this);
16
+
17
+ var info = this.state.panels;
18
+ var wrapper = info.wrapper;
19
+ var cmWrapper = this.getWrapperElement();
20
+ var replace = options.replace instanceof Panel && !options.replace.cleared;
21
+
22
+ if (options.after instanceof Panel && !options.after.cleared) {
23
+ wrapper.insertBefore(node, options.before.node.nextSibling);
24
+ } else if (options.before instanceof Panel && !options.before.cleared) {
25
+ wrapper.insertBefore(node, options.before.node);
26
+ } else if (replace) {
27
+ wrapper.insertBefore(node, options.replace.node);
28
+ options.replace.clear(true);
29
+ } else if (options.position == "bottom") {
30
+ wrapper.appendChild(node);
31
+ } else if (options.position == "before-bottom") {
32
+ wrapper.insertBefore(node, cmWrapper.nextSibling);
33
+ } else if (options.position == "after-top") {
34
+ wrapper.insertBefore(node, cmWrapper);
35
+ } else {
36
+ wrapper.insertBefore(node, wrapper.firstChild);
37
+ }
38
+
39
+ var height = (options && options.height) || node.offsetHeight;
40
+
41
+ var panel = new Panel(this, node, options, height);
42
+ info.panels.push(panel);
43
+
44
+ this.setSize();
45
+ if (options.stable && isAtTop(this, node))
46
+ this.scrollTo(null, this.getScrollInfo().top + height);
47
+
48
+ return panel;
49
+ });
50
+
51
+ function Panel(cm, node, options, height) {
52
+ this.cm = cm;
53
+ this.node = node;
54
+ this.options = options;
55
+ this.height = height;
56
+ this.cleared = false;
57
+ }
58
+
59
+ /* when skipRemove is true, clear() was called from addPanel().
60
+ * Thus removePanels() should not be called (issue 5518) */
61
+ Panel.prototype.clear = function (skipRemove) {
62
+ if (this.cleared) return;
63
+ this.cleared = true;
64
+ var info = this.cm.state.panels;
65
+ info.panels.splice(info.panels.indexOf(this), 1);
66
+ this.cm.setSize();
67
+ if (this.options.stable && isAtTop(this.cm, this.node))
68
+ this.cm.scrollTo(null, this.cm.getScrollInfo().top - this.height)
69
+ info.wrapper.removeChild(this.node);
70
+ if (info.panels.length == 0 && !skipRemove) removePanels(this.cm);
71
+ };
72
+
73
+ Panel.prototype.changed = function () {
74
+ this.height = this.node.getBoundingClientRect().height;
75
+ this.cm.setSize();
76
+ };
77
+
78
+ function initPanels(cm) {
79
+ var wrap = cm.getWrapperElement()
80
+ var style = window.getComputedStyle ? window.getComputedStyle(wrap) : wrap.currentStyle;
81
+ var height = parseInt(style.height);
82
+ var info = cm.state.panels = {
83
+ setHeight: wrap.style.height,
84
+ panels: [],
85
+ wrapper: document.createElement("div")
86
+ };
87
+ var hasFocus = cm.hasFocus(), scrollPos = cm.getScrollInfo()
88
+ wrap.parentNode.insertBefore(info.wrapper, wrap);
89
+ info.wrapper.appendChild(wrap);
90
+ cm.scrollTo(scrollPos.left, scrollPos.top)
91
+ if (hasFocus) cm.focus();
92
+
93
+ cm._setSize = cm.setSize;
94
+ if (height != null) cm.setSize = function (width, newHeight) {
95
+ if (!newHeight) newHeight = info.wrapper.offsetHeight;
96
+ info.setHeight = newHeight;
97
+ if (typeof newHeight != "number") {
98
+ var px = /^(\d+\.?\d*)px$/.exec(newHeight);
99
+ if (px) {
100
+ newHeight = Number(px[1]);
101
+ } else {
102
+ info.wrapper.style.height = newHeight;
103
+ newHeight = info.wrapper.offsetHeight;
104
+ }
105
+ }
106
+ var editorheight = newHeight - info.panels
107
+ .map(function (p) { return p.node.getBoundingClientRect().height; })
108
+ .reduce(function (a, b) { return a + b; }, 0);
109
+ cm._setSize(width, editorheight);
110
+ height = newHeight;
111
+ };
112
+ }
113
+
114
+ function removePanels(cm) {
115
+ var info = cm.state.panels;
116
+ cm.state.panels = null;
117
+
118
+ var wrap = cm.getWrapperElement()
119
+ var hasFocus = cm.hasFocus(), scrollPos = cm.getScrollInfo()
120
+ info.wrapper.parentNode.replaceChild(wrap, info.wrapper);
121
+ cm.scrollTo(scrollPos.left, scrollPos.top)
122
+ if (hasFocus) cm.focus();
123
+ wrap.style.height = info.setHeight;
124
+ cm.setSize = cm._setSize;
125
+ cm.setSize();
126
+ }
127
+
128
+ function isAtTop(cm, dom) {
129
+ for (var sibling = dom.nextSibling; sibling; sibling = sibling.nextSibling)
130
+ if (sibling == cm.getWrapperElement()) return true
131
+ return false
132
+ }
133
+ });
@@ -0,0 +1,78 @@
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
+ CodeMirror.defineOption("placeholder", "", function(cm, val, old) {
13
+ var prev = old && old != CodeMirror.Init;
14
+ if (val && !prev) {
15
+ cm.on("blur", onBlur);
16
+ cm.on("change", onChange);
17
+ cm.on("swapDoc", onChange);
18
+ CodeMirror.on(cm.getInputField(), "compositionupdate", cm.state.placeholderCompose = function() { onComposition(cm) })
19
+ onChange(cm);
20
+ } else if (!val && prev) {
21
+ cm.off("blur", onBlur);
22
+ cm.off("change", onChange);
23
+ cm.off("swapDoc", onChange);
24
+ CodeMirror.off(cm.getInputField(), "compositionupdate", cm.state.placeholderCompose)
25
+ clearPlaceholder(cm);
26
+ var wrapper = cm.getWrapperElement();
27
+ wrapper.className = wrapper.className.replace(" CodeMirror-empty", "");
28
+ }
29
+
30
+ if (val && !cm.hasFocus()) onBlur(cm);
31
+ });
32
+
33
+ function clearPlaceholder(cm) {
34
+ if (cm.state.placeholder) {
35
+ cm.state.placeholder.parentNode.removeChild(cm.state.placeholder);
36
+ cm.state.placeholder = null;
37
+ }
38
+ }
39
+ function setPlaceholder(cm) {
40
+ clearPlaceholder(cm);
41
+ var elt = cm.state.placeholder = document.createElement("pre");
42
+ elt.style.cssText = "height: 0; overflow: visible";
43
+ elt.style.direction = cm.getOption("direction");
44
+ elt.className = "CodeMirror-placeholder CodeMirror-line-like";
45
+ var placeHolder = cm.getOption("placeholder")
46
+ if (typeof placeHolder == "string") placeHolder = document.createTextNode(placeHolder)
47
+ elt.appendChild(placeHolder)
48
+ cm.display.lineSpace.insertBefore(elt, cm.display.lineSpace.firstChild);
49
+ }
50
+
51
+ function onComposition(cm) {
52
+ setTimeout(function() {
53
+ var empty = false
54
+ if (cm.lineCount() == 1) {
55
+ var input = cm.getInputField()
56
+ empty = input.nodeName == "TEXTAREA" ? !cm.getLine(0).length
57
+ : !/[^\u200b]/.test(input.querySelector(".CodeMirror-line").textContent)
58
+ }
59
+ if (empty) setPlaceholder(cm)
60
+ else clearPlaceholder(cm)
61
+ }, 20)
62
+ }
63
+
64
+ function onBlur(cm) {
65
+ if (isEmpty(cm)) setPlaceholder(cm);
66
+ }
67
+ function onChange(cm) {
68
+ var wrapper = cm.getWrapperElement(), empty = isEmpty(cm);
69
+ wrapper.className = wrapper.className.replace(" CodeMirror-empty", "") + (empty ? " CodeMirror-empty" : "");
70
+
71
+ if (empty) setPlaceholder(cm);
72
+ else clearPlaceholder(cm);
73
+ }
74
+
75
+ function isEmpty(cm) {
76
+ return (cm.lineCount() === 1) && (cm.getLine(0) === "");
77
+ }
78
+ });
@@ -0,0 +1,51 @@
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("rulers", false, function(cm, val) {
15
+ if (cm.state.rulerDiv) {
16
+ cm.state.rulerDiv.parentElement.removeChild(cm.state.rulerDiv)
17
+ cm.state.rulerDiv = null
18
+ cm.off("refresh", drawRulers)
19
+ }
20
+ if (val && val.length) {
21
+ cm.state.rulerDiv = cm.display.lineSpace.parentElement.insertBefore(document.createElement("div"), cm.display.lineSpace)
22
+ cm.state.rulerDiv.className = "CodeMirror-rulers"
23
+ drawRulers(cm)
24
+ cm.on("refresh", drawRulers)
25
+ }
26
+ });
27
+
28
+ function drawRulers(cm) {
29
+ cm.state.rulerDiv.textContent = ""
30
+ var val = cm.getOption("rulers");
31
+ var cw = cm.defaultCharWidth();
32
+ var left = cm.charCoords(CodeMirror.Pos(cm.firstLine(), 0), "div").left;
33
+ cm.state.rulerDiv.style.minHeight = (cm.display.scroller.offsetHeight + 30) + "px";
34
+ for (var i = 0; i < val.length; i++) {
35
+ var elt = document.createElement("div");
36
+ elt.className = "CodeMirror-ruler";
37
+ var col, conf = val[i];
38
+ if (typeof conf == "number") {
39
+ col = conf;
40
+ } else {
41
+ col = conf.column;
42
+ if (conf.className) elt.className += " " + conf.className;
43
+ if (conf.color) elt.style.borderColor = conf.color;
44
+ if (conf.lineStyle) elt.style.borderLeftStyle = conf.lineStyle;
45
+ if (conf.width) elt.style.borderLeftWidth = conf.width;
46
+ }
47
+ elt.style.left = (left + col * cw) + "px";
48
+ cm.state.rulerDiv.appendChild(elt)
49
+ }
50
+ }
51
+ });
@@ -0,0 +1,201 @@
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
+ var defaults = {
13
+ pairs: "()[]{}''\"\"",
14
+ closeBefore: ")]}'\":;>",
15
+ triples: "",
16
+ explode: "[]{}"
17
+ };
18
+
19
+ var Pos = CodeMirror.Pos;
20
+
21
+ CodeMirror.defineOption("autoCloseBrackets", false, function(cm, val, old) {
22
+ if (old && old != CodeMirror.Init) {
23
+ cm.removeKeyMap(keyMap);
24
+ cm.state.closeBrackets = null;
25
+ }
26
+ if (val) {
27
+ ensureBound(getOption(val, "pairs"))
28
+ cm.state.closeBrackets = val;
29
+ cm.addKeyMap(keyMap);
30
+ }
31
+ });
32
+
33
+ function getOption(conf, name) {
34
+ if (name == "pairs" && typeof conf == "string") return conf;
35
+ if (typeof conf == "object" && conf[name] != null) return conf[name];
36
+ return defaults[name];
37
+ }
38
+
39
+ var keyMap = {Backspace: handleBackspace, Enter: handleEnter};
40
+ function ensureBound(chars) {
41
+ for (var i = 0; i < chars.length; i++) {
42
+ var ch = chars.charAt(i), key = "'" + ch + "'"
43
+ if (!keyMap[key]) keyMap[key] = handler(ch)
44
+ }
45
+ }
46
+ ensureBound(defaults.pairs + "`")
47
+
48
+ function handler(ch) {
49
+ return function(cm) { return handleChar(cm, ch); };
50
+ }
51
+
52
+ function getConfig(cm) {
53
+ var deflt = cm.state.closeBrackets;
54
+ if (!deflt || deflt.override) return deflt;
55
+ var mode = cm.getModeAt(cm.getCursor());
56
+ return mode.closeBrackets || deflt;
57
+ }
58
+
59
+ function handleBackspace(cm) {
60
+ var conf = getConfig(cm);
61
+ if (!conf || cm.getOption("disableInput")) return CodeMirror.Pass;
62
+
63
+ var pairs = getOption(conf, "pairs");
64
+ var ranges = cm.listSelections();
65
+ for (var i = 0; i < ranges.length; i++) {
66
+ if (!ranges[i].empty()) return CodeMirror.Pass;
67
+ var around = charsAround(cm, ranges[i].head);
68
+ if (!around || pairs.indexOf(around) % 2 != 0) return CodeMirror.Pass;
69
+ }
70
+ for (var i = ranges.length - 1; i >= 0; i--) {
71
+ var cur = ranges[i].head;
72
+ cm.replaceRange("", Pos(cur.line, cur.ch - 1), Pos(cur.line, cur.ch + 1), "+delete");
73
+ }
74
+ }
75
+
76
+ function handleEnter(cm) {
77
+ var conf = getConfig(cm);
78
+ var explode = conf && getOption(conf, "explode");
79
+ if (!explode || cm.getOption("disableInput")) return CodeMirror.Pass;
80
+
81
+ var ranges = cm.listSelections();
82
+ for (var i = 0; i < ranges.length; i++) {
83
+ if (!ranges[i].empty()) return CodeMirror.Pass;
84
+ var around = charsAround(cm, ranges[i].head);
85
+ if (!around || explode.indexOf(around) % 2 != 0) return CodeMirror.Pass;
86
+ }
87
+ cm.operation(function() {
88
+ var linesep = cm.lineSeparator() || "\n";
89
+ cm.replaceSelection(linesep + linesep, null);
90
+ moveSel(cm, -1)
91
+ ranges = cm.listSelections();
92
+ for (var i = 0; i < ranges.length; i++) {
93
+ var line = ranges[i].head.line;
94
+ cm.indentLine(line, null, true);
95
+ cm.indentLine(line + 1, null, true);
96
+ }
97
+ });
98
+ }
99
+
100
+ function moveSel(cm, dir) {
101
+ var newRanges = [], ranges = cm.listSelections(), primary = 0
102
+ for (var i = 0; i < ranges.length; i++) {
103
+ var range = ranges[i]
104
+ if (range.head == cm.getCursor()) primary = i
105
+ var pos = range.head.ch || dir > 0 ? {line: range.head.line, ch: range.head.ch + dir} : {line: range.head.line - 1}
106
+ newRanges.push({anchor: pos, head: pos})
107
+ }
108
+ cm.setSelections(newRanges, primary)
109
+ }
110
+
111
+ function contractSelection(sel) {
112
+ var inverted = CodeMirror.cmpPos(sel.anchor, sel.head) > 0;
113
+ return {anchor: new Pos(sel.anchor.line, sel.anchor.ch + (inverted ? -1 : 1)),
114
+ head: new Pos(sel.head.line, sel.head.ch + (inverted ? 1 : -1))};
115
+ }
116
+
117
+ function handleChar(cm, ch) {
118
+ var conf = getConfig(cm);
119
+ if (!conf || cm.getOption("disableInput")) return CodeMirror.Pass;
120
+
121
+ var pairs = getOption(conf, "pairs");
122
+ var pos = pairs.indexOf(ch);
123
+ if (pos == -1) return CodeMirror.Pass;
124
+
125
+ var closeBefore = getOption(conf,"closeBefore");
126
+
127
+ var triples = getOption(conf, "triples");
128
+
129
+ var identical = pairs.charAt(pos + 1) == ch;
130
+ var ranges = cm.listSelections();
131
+ var opening = pos % 2 == 0;
132
+
133
+ var type;
134
+ for (var i = 0; i < ranges.length; i++) {
135
+ var range = ranges[i], cur = range.head, curType;
136
+ var next = cm.getRange(cur, Pos(cur.line, cur.ch + 1));
137
+ if (opening && !range.empty()) {
138
+ curType = "surround";
139
+ } else if ((identical || !opening) && next == ch) {
140
+ if (identical && stringStartsAfter(cm, cur))
141
+ curType = "both";
142
+ else if (triples.indexOf(ch) >= 0 && cm.getRange(cur, Pos(cur.line, cur.ch + 3)) == ch + ch + ch)
143
+ curType = "skipThree";
144
+ else
145
+ curType = "skip";
146
+ } else if (identical && cur.ch > 1 && triples.indexOf(ch) >= 0 &&
147
+ cm.getRange(Pos(cur.line, cur.ch - 2), cur) == ch + ch) {
148
+ if (cur.ch > 2 && /\bstring/.test(cm.getTokenTypeAt(Pos(cur.line, cur.ch - 2)))) return CodeMirror.Pass;
149
+ curType = "addFour";
150
+ } else if (identical) {
151
+ var prev = cur.ch == 0 ? " " : cm.getRange(Pos(cur.line, cur.ch - 1), cur)
152
+ if (!CodeMirror.isWordChar(next) && prev != ch && !CodeMirror.isWordChar(prev)) curType = "both";
153
+ else return CodeMirror.Pass;
154
+ } else if (opening && (next.length === 0 || /\s/.test(next) || closeBefore.indexOf(next) > -1)) {
155
+ curType = "both";
156
+ } else {
157
+ return CodeMirror.Pass;
158
+ }
159
+ if (!type) type = curType;
160
+ else if (type != curType) return CodeMirror.Pass;
161
+ }
162
+
163
+ var left = pos % 2 ? pairs.charAt(pos - 1) : ch;
164
+ var right = pos % 2 ? ch : pairs.charAt(pos + 1);
165
+ cm.operation(function() {
166
+ if (type == "skip") {
167
+ moveSel(cm, 1)
168
+ } else if (type == "skipThree") {
169
+ moveSel(cm, 3)
170
+ } else if (type == "surround") {
171
+ var sels = cm.getSelections();
172
+ for (var i = 0; i < sels.length; i++)
173
+ sels[i] = left + sels[i] + right;
174
+ cm.replaceSelections(sels, "around");
175
+ sels = cm.listSelections().slice();
176
+ for (var i = 0; i < sels.length; i++)
177
+ sels[i] = contractSelection(sels[i]);
178
+ cm.setSelections(sels);
179
+ } else if (type == "both") {
180
+ cm.replaceSelection(left + right, null);
181
+ cm.triggerElectric(left + right);
182
+ moveSel(cm, -1)
183
+ } else if (type == "addFour") {
184
+ cm.replaceSelection(left + left + left + left, "before");
185
+ moveSel(cm, 1)
186
+ }
187
+ });
188
+ }
189
+
190
+ function charsAround(cm, pos) {
191
+ var str = cm.getRange(Pos(pos.line, pos.ch - 1),
192
+ Pos(pos.line, pos.ch + 1));
193
+ return str.length == 2 ? str : null;
194
+ }
195
+
196
+ function stringStartsAfter(cm, pos) {
197
+ var token = cm.getTokenAt(Pos(pos.line, pos.ch + 1))
198
+ return /\bstring/.test(token.type) && token.start == pos.ch &&
199
+ (pos.ch == 0 || !/\bstring/.test(cm.getTokenTypeAt(pos)))
200
+ }
201
+ });