@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,92 @@
1
+ # How to contribute
2
+
3
+ - [Getting help](#getting-help)
4
+ - [Submitting bug reports](#submitting-bug-reports)
5
+ - [Contributing code](#contributing-code)
6
+
7
+ ## Getting help
8
+
9
+ Community discussion, questions, and informal bug reporting is done on the
10
+ [discuss.CodeMirror forum](http://discuss.codemirror.net).
11
+
12
+ ## Submitting bug reports
13
+
14
+ The preferred way to report bugs is to use the
15
+ [GitHub issue tracker](http://github.com/codemirror/CodeMirror/issues). Before
16
+ reporting a bug, read these pointers.
17
+
18
+ **Note:** The issue tracker is for *bugs*, not requests for help. Questions
19
+ should be asked on the
20
+ [discuss.CodeMirror forum](http://discuss.codemirror.net) instead.
21
+
22
+ ### Reporting bugs effectively
23
+
24
+ - CodeMirror is maintained by volunteers. They don't owe you anything, so be
25
+ polite. Reports with an indignant or belligerent tone tend to be moved to the
26
+ bottom of the pile.
27
+
28
+ - Include information about **the browser in which the problem occurred**. Even
29
+ if you tested several browsers, and the problem occurred in all of them,
30
+ mention this fact in the bug report. Also include browser version numbers and
31
+ the operating system that you're on.
32
+
33
+ - Mention which release of CodeMirror you're using. Preferably, try also with
34
+ the current development snapshot, to ensure the problem has not already been
35
+ fixed.
36
+
37
+ - Mention very precisely what went wrong. "X is broken" is not a good bug
38
+ report. What did you expect to happen? What happened instead? Describe the
39
+ exact steps a maintainer has to take to make the problem occur. We can not
40
+ fix something that we can not observe.
41
+
42
+ - If the problem can not be reproduced in any of the demos included in the
43
+ CodeMirror distribution, please provide an HTML document that demonstrates
44
+ the problem. The best way to do this is to go to
45
+ [jsbin.com](http://jsbin.com/ihunin/edit), enter it there, press save, and
46
+ include the resulting link in your bug report.
47
+
48
+ ## Contributing code
49
+
50
+ Note that we are not accepting any new addons or modes into the main
51
+ distribution. If you've written such a module, please distribute it as
52
+ a separate NPM package.
53
+
54
+ - Make sure you have a [GitHub Account](https://github.com/signup/free)
55
+ - Fork [CodeMirror](https://github.com/codemirror/CodeMirror/)
56
+ ([how to fork a repo](https://help.github.com/articles/fork-a-repo))
57
+ - Make your changes
58
+ - If your changes are easy to test or likely to regress, add tests.
59
+ Tests for the core go into `test/test.js`, some modes have their own
60
+ test suite under `mode/XXX/test.js`. Feel free to add new test
61
+ suites to modes that don't have one yet (be sure to link the new
62
+ tests into `test/index.html`).
63
+ - Follow the general code style of the rest of the project (see
64
+ below). Run `bin/lint` to verify that the linter is happy.
65
+ - Make sure all tests pass. Visit `test/index.html` in your browser to
66
+ run them.
67
+ - Submit a pull request
68
+ ([how to create a pull request](https://help.github.com/articles/fork-a-repo)).
69
+ Don't put more than one feature/fix in a single pull request.
70
+
71
+ By contributing code to CodeMirror you
72
+
73
+ - agree to license the contributed code under CodeMirror's [MIT
74
+ license](https://codemirror.net/5/LICENSE).
75
+
76
+ - confirm that you have the right to contribute and license the code
77
+ in question. (Either you hold all rights on the code, or the rights
78
+ holder has explicitly granted the right to use it like this,
79
+ through a compatible open source license or through a direct
80
+ agreement with you.)
81
+
82
+ ### Coding standards
83
+
84
+ - 2 spaces per indentation level, no tabs.
85
+
86
+ - Note that the linter (`bin/lint`) which is run after each commit
87
+ complains about unused variables and functions. Prefix their names
88
+ with an underscore to muffle it.
89
+
90
+ - CodeMirror does *not* follow JSHint or JSLint prescribed style.
91
+ Patches that try to 'fix' code to pass one of these linters will be
92
+ unceremoniously discarded.
@@ -0,0 +1,21 @@
1
+ MIT License
2
+
3
+ Copyright (C) 2017 by Marijn Haverbeke <marijnh@gmail.com> and others
4
+
5
+ Permission is hereby granted, free of charge, to any person obtaining a copy
6
+ of this software and associated documentation files (the "Software"), to deal
7
+ in the Software without restriction, including without limitation the rights
8
+ to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
9
+ copies of the Software, and to permit persons to whom the Software is
10
+ furnished to do so, subject to the following conditions:
11
+
12
+ The above copyright notice and this permission notice shall be included in
13
+ all copies or substantial portions of the Software.
14
+
15
+ THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16
+ IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17
+ FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
18
+ AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19
+ LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
20
+ OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
21
+ THE SOFTWARE.
@@ -0,0 +1,47 @@
1
+ # CodeMirror
2
+
3
+ [![Build Status](https://github.com/codemirror/codemirror5/workflows/main/badge.svg)](https://github.com/codemirror/codemirror5/actions)
4
+ [![NPM version](https://img.shields.io/npm/v/codemirror.svg)](https://www.npmjs.org/package/codemirror)
5
+
6
+ CodeMirror is a versatile text editor implemented in JavaScript for
7
+ the browser. It is specialized for editing code, and comes with over
8
+ 100 language modes and various addons that implement more advanced
9
+ editing functionality. Every language comes with fully-featured code
10
+ and syntax highlighting to help with reading and editing complex code.
11
+
12
+ A rich programming API and a CSS theming system are available for
13
+ customizing CodeMirror to fit your application, and extending it with
14
+ new functionality.
15
+
16
+ You can find more information (and the
17
+ [manual](https://codemirror.net/5/doc/manual.html)) on the [project
18
+ page](https://codemirror.net/5/). For questions and discussion, use the
19
+ [discussion forum](https://discuss.codemirror.net/).
20
+
21
+ See
22
+ [CONTRIBUTING.md](https://github.com/codemirror/CodeMirror/blob/master/CONTRIBUTING.md)
23
+ for contributing guidelines.
24
+
25
+ The CodeMirror community aims to be welcoming to everybody. We use the
26
+ [Contributor Covenant
27
+ (1.1)](http://contributor-covenant.org/version/1/1/0/) as our code of
28
+ conduct.
29
+
30
+ ### Installation
31
+
32
+ Either get the [zip file](https://codemirror.net/5/codemirror.zip) with
33
+ the latest version, or make sure you have [Node](https://nodejs.org/)
34
+ installed and run:
35
+
36
+ npm install codemirror
37
+
38
+ **NOTE**: This is the source repository for the library, and not the
39
+ distribution channel. Cloning it is not the recommended way to install
40
+ the library, and will in fact not work unless you also run the build
41
+ step.
42
+
43
+ ### Quickstart
44
+
45
+ To build the project, make sure you have Node.js installed (at least version 6)
46
+ and then `npm install`. To run, just open `index.html` in your
47
+ browser (you don't need to run a webserver). Run the tests with `npm test`.
@@ -0,0 +1,211 @@
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
+ var noOptions = {};
15
+ var nonWS = /[^\s\u00a0]/;
16
+ var Pos = CodeMirror.Pos, cmp = CodeMirror.cmpPos;
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.search(nonWS) === -1 ? line : 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
+ var atCursor = cmp(self.getCursor("to"), to) == 0, empty = !self.somethingSelected()
130
+ self.replaceRange(endString, to);
131
+ if (atCursor) self.setSelection(empty ? to : self.getCursor("from"), to)
132
+ self.replaceRange(startString, from);
133
+ }
134
+ });
135
+ });
136
+
137
+ CodeMirror.defineExtension("uncomment", function(from, to, options) {
138
+ if (!options) options = noOptions;
139
+ var self = this, mode = getMode(self, from);
140
+ var end = Math.min(to.ch != 0 || to.line == from.line ? to.line : to.line - 1, self.lastLine()), start = Math.min(from.line, end);
141
+
142
+ // Try finding line comments
143
+ var lineString = options.lineComment || mode.lineComment, lines = [];
144
+ var pad = options.padding == null ? " " : options.padding, didSomething;
145
+ lineComment: {
146
+ if (!lineString) break lineComment;
147
+ for (var i = start; i <= end; ++i) {
148
+ var line = self.getLine(i);
149
+ var found = line.indexOf(lineString);
150
+ if (found > -1 && !/comment/.test(self.getTokenTypeAt(Pos(i, found + 1)))) found = -1;
151
+ if (found == -1 && nonWS.test(line)) break lineComment;
152
+ if (found > -1 && nonWS.test(line.slice(0, found))) break lineComment;
153
+ lines.push(line);
154
+ }
155
+ self.operation(function() {
156
+ for (var i = start; i <= end; ++i) {
157
+ var line = lines[i - start];
158
+ var pos = line.indexOf(lineString), endPos = pos + lineString.length;
159
+ if (pos < 0) continue;
160
+ if (line.slice(endPos, endPos + pad.length) == pad) endPos += pad.length;
161
+ didSomething = true;
162
+ self.replaceRange("", Pos(i, pos), Pos(i, endPos));
163
+ }
164
+ });
165
+ if (didSomething) return true;
166
+ }
167
+
168
+ // Try block comments
169
+ var startString = options.blockCommentStart || mode.blockCommentStart;
170
+ var endString = options.blockCommentEnd || mode.blockCommentEnd;
171
+ if (!startString || !endString) return false;
172
+ var lead = options.blockCommentLead || mode.blockCommentLead;
173
+ var startLine = self.getLine(start), open = startLine.indexOf(startString)
174
+ if (open == -1) return false
175
+ var endLine = end == start ? startLine : self.getLine(end)
176
+ var close = endLine.indexOf(endString, end == start ? open + startString.length : 0);
177
+ var insideStart = Pos(start, open + 1), insideEnd = Pos(end, close + 1)
178
+ if (close == -1 ||
179
+ !/comment/.test(self.getTokenTypeAt(insideStart)) ||
180
+ !/comment/.test(self.getTokenTypeAt(insideEnd)) ||
181
+ self.getRange(insideStart, insideEnd, "\n").indexOf(endString) > -1)
182
+ return false;
183
+
184
+ // Avoid killing block comments completely outside the selection.
185
+ // Positions of the last startString before the start of the selection, and the first endString after it.
186
+ var lastStart = startLine.lastIndexOf(startString, from.ch);
187
+ var firstEnd = lastStart == -1 ? -1 : startLine.slice(0, from.ch).indexOf(endString, lastStart + startString.length);
188
+ if (lastStart != -1 && firstEnd != -1 && firstEnd + endString.length != from.ch) return false;
189
+ // Positions of the first endString after the end of the selection, and the last startString before it.
190
+ firstEnd = endLine.indexOf(endString, to.ch);
191
+ var almostLastStart = endLine.slice(to.ch).lastIndexOf(startString, firstEnd - to.ch);
192
+ lastStart = (firstEnd == -1 || almostLastStart == -1) ? -1 : to.ch + almostLastStart;
193
+ if (firstEnd != -1 && lastStart != -1 && lastStart != to.ch) return false;
194
+
195
+ self.operation(function() {
196
+ self.replaceRange("", Pos(end, close - (pad && endLine.slice(close - pad.length, close) == pad ? pad.length : 0)),
197
+ Pos(end, close + endString.length));
198
+ var openEnd = open + startString.length;
199
+ if (pad && startLine.slice(openEnd, openEnd + pad.length) == pad) openEnd += pad.length;
200
+ self.replaceRange("", Pos(start, open), Pos(start, openEnd));
201
+ if (lead) for (var i = start + 1; i <= end; ++i) {
202
+ var line = self.getLine(i), found = line.indexOf(lead);
203
+ if (found == -1 || nonWS.test(line.slice(0, found))) continue;
204
+ var foundEnd = found + lead.length;
205
+ if (pad && line.slice(foundEnd, foundEnd + pad.length) == pad) foundEnd += pad.length;
206
+ self.replaceRange("", Pos(i, found), Pos(i, foundEnd));
207
+ }
208
+ });
209
+ return true;
210
+ });
211
+ });
@@ -0,0 +1,114 @@
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 nonspace = /\S/g;
13
+ var repeat = String.prototype.repeat || function (n) { return Array(n + 1).join(this); };
14
+ function continueComment(cm) {
15
+ if (cm.getOption("disableInput")) return CodeMirror.Pass;
16
+ var ranges = cm.listSelections(), mode, inserts = [];
17
+ for (var i = 0; i < ranges.length; i++) {
18
+ var pos = ranges[i].head
19
+ if (!/\bcomment\b/.test(cm.getTokenTypeAt(pos))) return CodeMirror.Pass;
20
+ var modeHere = cm.getModeAt(pos)
21
+ if (!mode) mode = modeHere;
22
+ else if (mode != modeHere) return CodeMirror.Pass;
23
+
24
+ var insert = null, line, found;
25
+ var blockStart = mode.blockCommentStart, lineCmt = mode.lineComment;
26
+ if (blockStart && mode.blockCommentContinue) {
27
+ line = cm.getLine(pos.line);
28
+ var end = line.lastIndexOf(mode.blockCommentEnd, pos.ch - mode.blockCommentEnd.length);
29
+ // 1. if this block comment ended
30
+ // 2. if this is actually inside a line comment
31
+ if (end != -1 && end == pos.ch - mode.blockCommentEnd.length ||
32
+ lineCmt && (found = line.lastIndexOf(lineCmt, pos.ch - 1)) > -1 &&
33
+ /\bcomment\b/.test(cm.getTokenTypeAt({line: pos.line, ch: found + 1}))) {
34
+ // ...then don't continue it
35
+ } else if (pos.ch >= blockStart.length &&
36
+ (found = line.lastIndexOf(blockStart, pos.ch - blockStart.length)) > -1 &&
37
+ found > end) {
38
+ // reuse the existing leading spaces/tabs/mixed
39
+ // or build the correct indent using CM's tab/indent options
40
+ if (nonspaceAfter(0, line) >= found) {
41
+ insert = line.slice(0, found);
42
+ } else {
43
+ var tabSize = cm.options.tabSize, numTabs;
44
+ found = CodeMirror.countColumn(line, found, tabSize);
45
+ insert = !cm.options.indentWithTabs ? repeat.call(" ", found) :
46
+ repeat.call("\t", (numTabs = Math.floor(found / tabSize))) +
47
+ repeat.call(" ", found - tabSize * numTabs);
48
+ }
49
+ } else if ((found = line.indexOf(mode.blockCommentContinue)) > -1 &&
50
+ found <= pos.ch &&
51
+ found <= nonspaceAfter(0, line)) {
52
+ insert = line.slice(0, found);
53
+ }
54
+ if (insert != null) insert += mode.blockCommentContinue
55
+ }
56
+ if (insert == null && lineCmt && continueLineCommentEnabled(cm)) {
57
+ if (line == null) line = cm.getLine(pos.line);
58
+ found = line.indexOf(lineCmt);
59
+ // cursor at pos 0, line comment also at pos 0 => shift it down, don't continue
60
+ if (!pos.ch && !found) insert = "";
61
+ // continue only if the line starts with an optional space + line comment
62
+ else if (found > -1 && nonspaceAfter(0, line) >= found) {
63
+ // don't continue if there's only space(s) after cursor or the end of the line
64
+ insert = nonspaceAfter(pos.ch, line) > -1;
65
+ // but always continue if the next line starts with a line comment too
66
+ if (!insert) {
67
+ var next = cm.getLine(pos.line + 1) || '',
68
+ nextFound = next.indexOf(lineCmt);
69
+ insert = nextFound > -1 && nonspaceAfter(0, next) >= nextFound || null;
70
+ }
71
+ if (insert) {
72
+ insert = line.slice(0, found) + lineCmt +
73
+ line.slice(found + lineCmt.length).match(/^\s*/)[0];
74
+ }
75
+ }
76
+ }
77
+ if (insert == null) return CodeMirror.Pass;
78
+ inserts[i] = "\n" + insert;
79
+ }
80
+
81
+ cm.operation(function() {
82
+ for (var i = ranges.length - 1; i >= 0; i--)
83
+ cm.replaceRange(inserts[i], ranges[i].from(), ranges[i].to(), "+insert");
84
+ });
85
+ }
86
+
87
+ function nonspaceAfter(ch, str) {
88
+ nonspace.lastIndex = ch;
89
+ var m = nonspace.exec(str);
90
+ return m ? m.index : -1;
91
+ }
92
+
93
+ function continueLineCommentEnabled(cm) {
94
+ var opt = cm.getOption("continueComments");
95
+ if (opt && typeof opt == "object")
96
+ return opt.continueLineComment !== false;
97
+ return true;
98
+ }
99
+
100
+ CodeMirror.defineOption("continueComments", null, function(cm, val, prev) {
101
+ if (prev && prev != CodeMirror.Init)
102
+ cm.removeKeyMap("continueComment");
103
+ if (val) {
104
+ var key = "Enter";
105
+ if (typeof val == "string")
106
+ key = val;
107
+ else if (typeof val == "object" && val.key)
108
+ key = val.key;
109
+ var map = {name: "continueComment"};
110
+ map[key] = continueComment;
111
+ cm.addKeyMap(map);
112
+ }
113
+ });
114
+ });
@@ -0,0 +1,32 @@
1
+ .CodeMirror-dialog {
2
+ position: absolute;
3
+ left: 0; right: 0;
4
+ background: inherit;
5
+ z-index: 15;
6
+ padding: .1em .8em;
7
+ overflow: hidden;
8
+ color: inherit;
9
+ }
10
+
11
+ .CodeMirror-dialog-top {
12
+ border-bottom: 1px solid #eee;
13
+ top: 0;
14
+ }
15
+
16
+ .CodeMirror-dialog-bottom {
17
+ border-top: 1px solid #eee;
18
+ bottom: 0;
19
+ }
20
+
21
+ .CodeMirror-dialog input {
22
+ border: none;
23
+ outline: none;
24
+ background: transparent;
25
+ width: 20em;
26
+ color: inherit;
27
+ font-family: monospace;
28
+ }
29
+
30
+ .CodeMirror-dialog button {
31
+ font-size: 70%;
32
+ }
@@ -0,0 +1,163 @@
1
+ // CodeMirror, copyright (c) by Marijn Haverbeke and others
2
+ // Distributed under an MIT license: https://codemirror.net/5/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(dialog, "focusout", function (evt) {
86
+ if (evt.relatedTarget !== null) close();
87
+ });
88
+ } else if (button = dialog.getElementsByTagName("button")[0]) {
89
+ CodeMirror.on(button, "click", function() {
90
+ close();
91
+ me.focus();
92
+ });
93
+
94
+ if (options.closeOnBlur !== false) CodeMirror.on(button, "blur", close);
95
+
96
+ button.focus();
97
+ }
98
+ return close;
99
+ });
100
+
101
+ CodeMirror.defineExtension("openConfirm", function(template, callbacks, options) {
102
+ closeNotification(this, null);
103
+ var dialog = dialogDiv(this, template, options && options.bottom);
104
+ var buttons = dialog.getElementsByTagName("button");
105
+ var closed = false, me = this, blurring = 1;
106
+ function close() {
107
+ if (closed) return;
108
+ closed = true;
109
+ CodeMirror.rmClass(dialog.parentNode, 'dialog-opened');
110
+ dialog.parentNode.removeChild(dialog);
111
+ me.focus();
112
+ }
113
+ buttons[0].focus();
114
+ for (var i = 0; i < buttons.length; ++i) {
115
+ var b = buttons[i];
116
+ (function(callback) {
117
+ CodeMirror.on(b, "click", function(e) {
118
+ CodeMirror.e_preventDefault(e);
119
+ close();
120
+ if (callback) callback(me);
121
+ });
122
+ })(callbacks[i]);
123
+ CodeMirror.on(b, "blur", function() {
124
+ --blurring;
125
+ setTimeout(function() { if (blurring <= 0) close(); }, 200);
126
+ });
127
+ CodeMirror.on(b, "focus", function() { ++blurring; });
128
+ }
129
+ });
130
+
131
+ /*
132
+ * openNotification
133
+ * Opens a notification, that can be closed with an optional timer
134
+ * (default 5000ms timer) and always closes on click.
135
+ *
136
+ * If a notification is opened while another is opened, it will close the
137
+ * currently opened one and open the new one immediately.
138
+ */
139
+ CodeMirror.defineExtension("openNotification", function(template, options) {
140
+ closeNotification(this, close);
141
+ var dialog = dialogDiv(this, template, options && options.bottom);
142
+ var closed = false, doneTimer;
143
+ var duration = options && typeof options.duration !== "undefined" ? options.duration : 5000;
144
+
145
+ function close() {
146
+ if (closed) return;
147
+ closed = true;
148
+ clearTimeout(doneTimer);
149
+ CodeMirror.rmClass(dialog.parentNode, 'dialog-opened');
150
+ dialog.parentNode.removeChild(dialog);
151
+ }
152
+
153
+ CodeMirror.on(dialog, 'click', function(e) {
154
+ CodeMirror.e_preventDefault(e);
155
+ close();
156
+ });
157
+
158
+ if (duration)
159
+ doneTimer = setTimeout(close, duration);
160
+
161
+ return close;
162
+ });
163
+ });