@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,79 @@
1
+ /* The lint marker gutter */
2
+ .CodeMirror-lint-markers {
3
+ width: 16px;
4
+ }
5
+
6
+ .CodeMirror-lint-tooltip {
7
+ background-color: #ffd;
8
+ border: 1px solid black;
9
+ border-radius: 4px 4px 4px 4px;
10
+ color: black;
11
+ font-family: monospace;
12
+ font-size: 10pt;
13
+ overflow: hidden;
14
+ padding: 2px 5px;
15
+ position: fixed;
16
+ white-space: pre;
17
+ white-space: pre-wrap;
18
+ z-index: 100;
19
+ max-width: 600px;
20
+ opacity: 0;
21
+ transition: opacity .4s;
22
+ -moz-transition: opacity .4s;
23
+ -webkit-transition: opacity .4s;
24
+ -o-transition: opacity .4s;
25
+ -ms-transition: opacity .4s;
26
+ }
27
+
28
+ .CodeMirror-lint-mark {
29
+ background-position: left bottom;
30
+ background-repeat: repeat-x;
31
+ }
32
+
33
+ .CodeMirror-lint-mark-warning {
34
+ background-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAQAAAADCAYAAAC09K7GAAAAAXNSR0IArs4c6QAAAAZiS0dEAP8A/wD/oL2nkwAAAAlwSFlzAAALEwAACxMBAJqcGAAAAAd0SU1FB9sJFhQXEbhTg7YAAAAZdEVYdENvbW1lbnQAQ3JlYXRlZCB3aXRoIEdJTVBXgQ4XAAAAMklEQVQI12NkgIIvJ3QXMjAwdDN+OaEbysDA4MPAwNDNwMCwiOHLCd1zX07o6kBVGQEAKBANtobskNMAAAAASUVORK5CYII=");
35
+ }
36
+
37
+ .CodeMirror-lint-mark-error {
38
+ background-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAQAAAADCAYAAAC09K7GAAAAAXNSR0IArs4c6QAAAAZiS0dEAP8A/wD/oL2nkwAAAAlwSFlzAAALEwAACxMBAJqcGAAAAAd0SU1FB9sJDw4cOCW1/KIAAAAZdEVYdENvbW1lbnQAQ3JlYXRlZCB3aXRoIEdJTVBXgQ4XAAAAHElEQVQI12NggIL/DAz/GdA5/xkY/qPKMDAwAADLZwf5rvm+LQAAAABJRU5ErkJggg==");
39
+ }
40
+
41
+ .CodeMirror-lint-marker {
42
+ background-position: center center;
43
+ background-repeat: no-repeat;
44
+ cursor: pointer;
45
+ display: inline-block;
46
+ height: 16px;
47
+ width: 16px;
48
+ vertical-align: middle;
49
+ position: relative;
50
+ }
51
+
52
+ .CodeMirror-lint-message {
53
+ padding-left: 18px;
54
+ background-position: top left;
55
+ background-repeat: no-repeat;
56
+ }
57
+
58
+ .CodeMirror-lint-marker-warning, .CodeMirror-lint-message-warning {
59
+ background-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAMAAAAoLQ9TAAAANlBMVEX/uwDvrwD/uwD/uwD/uwD/uwD/uwD/uwD/uwD6twD/uwAAAADurwD2tQD7uAD+ugAAAAD/uwDhmeTRAAAADHRSTlMJ8mN1EYcbmiixgACm7WbuAAAAVklEQVR42n3PUQqAIBBFUU1LLc3u/jdbOJoW1P08DA9Gba8+YWJ6gNJoNYIBzAA2chBth5kLmG9YUoG0NHAUwFXwO9LuBQL1giCQb8gC9Oro2vp5rncCIY8L8uEx5ZkAAAAASUVORK5CYII=");
60
+ }
61
+
62
+ .CodeMirror-lint-marker-error, .CodeMirror-lint-message-error {
63
+ background-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAMAAAAoLQ9TAAAAHlBMVEW7AAC7AACxAAC7AAC7AAAAAAC4AAC5AAD///+7AAAUdclpAAAABnRSTlMXnORSiwCK0ZKSAAAATUlEQVR42mWPOQ7AQAgDuQLx/z8csYRmPRIFIwRGnosRrpamvkKi0FTIiMASR3hhKW+hAN6/tIWhu9PDWiTGNEkTtIOucA5Oyr9ckPgAWm0GPBog6v4AAAAASUVORK5CYII=");
64
+ }
65
+
66
+ .CodeMirror-lint-marker-multiple {
67
+ background-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAcAAAAHCAMAAADzjKfhAAAACVBMVEUAAAAAAAC/v7914kyHAAAAAXRSTlMAQObYZgAAACNJREFUeNo1ioEJAAAIwmz/H90iFFSGJgFMe3gaLZ0od+9/AQZ0ADosbYraAAAAAElFTkSuQmCC");
68
+ background-repeat: no-repeat;
69
+ background-position: right bottom;
70
+ width: 100%; height: 100%;
71
+ }
72
+
73
+ .CodeMirror-lint-line-error {
74
+ background-color: rgba(183, 76, 81, 0.08);
75
+ }
76
+
77
+ .CodeMirror-lint-line-warning {
78
+ background-color: rgba(255, 211, 0, 0.1);
79
+ }
@@ -0,0 +1,291 @@
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
+ var GUTTER_ID = "CodeMirror-lint-markers";
14
+ var LINT_LINE_ID = "CodeMirror-lint-line-";
15
+
16
+ function showTooltip(cm, e, content) {
17
+ var tt = document.createElement("div");
18
+ tt.className = "CodeMirror-lint-tooltip cm-s-" + cm.options.theme;
19
+ tt.appendChild(content.cloneNode(true));
20
+ if (cm.state.lint.options.selfContain)
21
+ cm.getWrapperElement().appendChild(tt);
22
+ else
23
+ document.body.appendChild(tt);
24
+
25
+ function position(e) {
26
+ if (!tt.parentNode) return CodeMirror.off(document, "mousemove", position);
27
+ tt.style.top = Math.max(0, e.clientY - tt.offsetHeight - 5) + "px";
28
+ tt.style.left = (e.clientX + 5) + "px";
29
+ }
30
+ CodeMirror.on(document, "mousemove", position);
31
+ position(e);
32
+ if (tt.style.opacity != null) tt.style.opacity = 1;
33
+ return tt;
34
+ }
35
+ function rm(elt) {
36
+ if (elt.parentNode) elt.parentNode.removeChild(elt);
37
+ }
38
+ function hideTooltip(tt) {
39
+ if (!tt.parentNode) return;
40
+ if (tt.style.opacity == null) rm(tt);
41
+ tt.style.opacity = 0;
42
+ setTimeout(function() { rm(tt); }, 600);
43
+ }
44
+
45
+ function showTooltipFor(cm, e, content, node) {
46
+ var tooltip = showTooltip(cm, e, content);
47
+ function hide() {
48
+ CodeMirror.off(node, "mouseout", hide);
49
+ if (tooltip) { hideTooltip(tooltip); tooltip = null; }
50
+ }
51
+ var poll = setInterval(function() {
52
+ if (tooltip) for (var n = node;; n = n.parentNode) {
53
+ if (n && n.nodeType == 11) n = n.host;
54
+ if (n == document.body) return;
55
+ if (!n) { hide(); break; }
56
+ }
57
+ if (!tooltip) return clearInterval(poll);
58
+ }, 400);
59
+ CodeMirror.on(node, "mouseout", hide);
60
+ }
61
+
62
+ function LintState(cm, conf, hasGutter) {
63
+ this.marked = [];
64
+ if (conf instanceof Function) conf = {getAnnotations: conf};
65
+ if (!conf || conf === true) conf = {};
66
+ this.options = {};
67
+ this.linterOptions = conf.options || {};
68
+ for (var prop in defaults) this.options[prop] = defaults[prop];
69
+ for (var prop in conf) {
70
+ if (defaults.hasOwnProperty(prop)) {
71
+ if (conf[prop] != null) this.options[prop] = conf[prop];
72
+ } else if (!conf.options) {
73
+ this.linterOptions[prop] = conf[prop];
74
+ }
75
+ }
76
+ this.timeout = null;
77
+ this.hasGutter = hasGutter;
78
+ this.onMouseOver = function(e) { onMouseOver(cm, e); };
79
+ this.waitingFor = 0
80
+ }
81
+
82
+ var defaults = {
83
+ highlightLines: false,
84
+ tooltips: true,
85
+ delay: 500,
86
+ lintOnChange: true,
87
+ getAnnotations: null,
88
+ async: false,
89
+ selfContain: null,
90
+ formatAnnotation: null,
91
+ onUpdateLinting: null
92
+ }
93
+
94
+ function clearMarks(cm) {
95
+ var state = cm.state.lint;
96
+ if (state.hasGutter) cm.clearGutter(GUTTER_ID);
97
+ if (state.options.highlightLines) clearErrorLines(cm);
98
+ for (var i = 0; i < state.marked.length; ++i)
99
+ state.marked[i].clear();
100
+ state.marked.length = 0;
101
+ }
102
+
103
+ function clearErrorLines(cm) {
104
+ cm.eachLine(function(line) {
105
+ var has = line.wrapClass && /\bCodeMirror-lint-line-\w+\b/.exec(line.wrapClass);
106
+ if (has) cm.removeLineClass(line, "wrap", has[0]);
107
+ })
108
+ }
109
+
110
+ function makeMarker(cm, labels, severity, multiple, tooltips) {
111
+ var marker = document.createElement("div"), inner = marker;
112
+ marker.className = "CodeMirror-lint-marker CodeMirror-lint-marker-" + severity;
113
+ if (multiple) {
114
+ inner = marker.appendChild(document.createElement("div"));
115
+ inner.className = "CodeMirror-lint-marker CodeMirror-lint-marker-multiple";
116
+ }
117
+
118
+ if (tooltips != false) CodeMirror.on(inner, "mouseover", function(e) {
119
+ showTooltipFor(cm, e, labels, inner);
120
+ });
121
+
122
+ return marker;
123
+ }
124
+
125
+ function getMaxSeverity(a, b) {
126
+ if (a == "error") return a;
127
+ else return b;
128
+ }
129
+
130
+ function groupByLine(annotations) {
131
+ var lines = [];
132
+ for (var i = 0; i < annotations.length; ++i) {
133
+ var ann = annotations[i], line = ann.from.line;
134
+ (lines[line] || (lines[line] = [])).push(ann);
135
+ }
136
+ return lines;
137
+ }
138
+
139
+ function annotationTooltip(ann) {
140
+ var severity = ann.severity;
141
+ if (!severity) severity = "error";
142
+ var tip = document.createElement("div");
143
+ tip.className = "CodeMirror-lint-message CodeMirror-lint-message-" + severity;
144
+ if (typeof ann.messageHTML != 'undefined') {
145
+ tip.innerHTML = ann.messageHTML;
146
+ } else {
147
+ tip.appendChild(document.createTextNode(ann.message));
148
+ }
149
+ return tip;
150
+ }
151
+
152
+ function lintAsync(cm, getAnnotations) {
153
+ var state = cm.state.lint
154
+ var id = ++state.waitingFor
155
+ function abort() {
156
+ id = -1
157
+ cm.off("change", abort)
158
+ }
159
+ cm.on("change", abort)
160
+ getAnnotations(cm.getValue(), function(annotations, arg2) {
161
+ cm.off("change", abort)
162
+ if (state.waitingFor != id) return
163
+ if (arg2 && annotations instanceof CodeMirror) annotations = arg2
164
+ cm.operation(function() {updateLinting(cm, annotations)})
165
+ }, state.linterOptions, cm);
166
+ }
167
+
168
+ function startLinting(cm) {
169
+ var state = cm.state.lint;
170
+ if (!state) return;
171
+ var options = state.options;
172
+ /*
173
+ * Passing rules in `options` property prevents JSHint (and other linters) from complaining
174
+ * about unrecognized rules like `onUpdateLinting`, `delay`, `lintOnChange`, etc.
175
+ */
176
+ var getAnnotations = options.getAnnotations || cm.getHelper(CodeMirror.Pos(0, 0), "lint");
177
+ if (!getAnnotations) return;
178
+ if (options.async || getAnnotations.async) {
179
+ lintAsync(cm, getAnnotations)
180
+ } else {
181
+ var annotations = getAnnotations(cm.getValue(), state.linterOptions, cm);
182
+ if (!annotations) return;
183
+ if (annotations.then) annotations.then(function(issues) {
184
+ cm.operation(function() {updateLinting(cm, issues)})
185
+ });
186
+ else cm.operation(function() {updateLinting(cm, annotations)})
187
+ }
188
+ }
189
+
190
+ function updateLinting(cm, annotationsNotSorted) {
191
+ var state = cm.state.lint;
192
+ if (!state) return;
193
+ var options = state.options;
194
+ clearMarks(cm);
195
+
196
+ var annotations = groupByLine(annotationsNotSorted);
197
+
198
+ for (var line = 0; line < annotations.length; ++line) {
199
+ var anns = annotations[line];
200
+ if (!anns) continue;
201
+
202
+ // filter out duplicate messages
203
+ var message = [];
204
+ anns = anns.filter(function(item) { return message.indexOf(item.message) > -1 ? false : message.push(item.message) });
205
+
206
+ var maxSeverity = null;
207
+ var tipLabel = state.hasGutter && document.createDocumentFragment();
208
+
209
+ for (var i = 0; i < anns.length; ++i) {
210
+ var ann = anns[i];
211
+ var severity = ann.severity;
212
+ if (!severity) severity = "error";
213
+ maxSeverity = getMaxSeverity(maxSeverity, severity);
214
+
215
+ if (options.formatAnnotation) ann = options.formatAnnotation(ann);
216
+ if (state.hasGutter) tipLabel.appendChild(annotationTooltip(ann));
217
+
218
+ if (ann.to) state.marked.push(cm.markText(ann.from, ann.to, {
219
+ className: "CodeMirror-lint-mark CodeMirror-lint-mark-" + severity,
220
+ __annotation: ann
221
+ }));
222
+ }
223
+ // use original annotations[line] to show multiple messages
224
+ if (state.hasGutter)
225
+ cm.setGutterMarker(line, GUTTER_ID, makeMarker(cm, tipLabel, maxSeverity, annotations[line].length > 1,
226
+ options.tooltips));
227
+
228
+ if (options.highlightLines)
229
+ cm.addLineClass(line, "wrap", LINT_LINE_ID + maxSeverity);
230
+ }
231
+ if (options.onUpdateLinting) options.onUpdateLinting(annotationsNotSorted, annotations, cm);
232
+ }
233
+
234
+ function onChange(cm) {
235
+ var state = cm.state.lint;
236
+ if (!state) return;
237
+ clearTimeout(state.timeout);
238
+ state.timeout = setTimeout(function(){startLinting(cm);}, state.options.delay);
239
+ }
240
+
241
+ function popupTooltips(cm, annotations, e) {
242
+ var target = e.target || e.srcElement;
243
+ var tooltip = document.createDocumentFragment();
244
+ for (var i = 0; i < annotations.length; i++) {
245
+ var ann = annotations[i];
246
+ tooltip.appendChild(annotationTooltip(ann));
247
+ }
248
+ showTooltipFor(cm, e, tooltip, target);
249
+ }
250
+
251
+ function onMouseOver(cm, e) {
252
+ var target = e.target || e.srcElement;
253
+ if (!/\bCodeMirror-lint-mark-/.test(target.className)) return;
254
+ var box = target.getBoundingClientRect(), x = (box.left + box.right) / 2, y = (box.top + box.bottom) / 2;
255
+ var spans = cm.findMarksAt(cm.coordsChar({left: x, top: y}, "client"));
256
+
257
+ var annotations = [];
258
+ for (var i = 0; i < spans.length; ++i) {
259
+ var ann = spans[i].__annotation;
260
+ if (ann) annotations.push(ann);
261
+ }
262
+ if (annotations.length) popupTooltips(cm, annotations, e);
263
+ }
264
+
265
+ CodeMirror.defineOption("lint", false, function(cm, val, old) {
266
+ if (old && old != CodeMirror.Init) {
267
+ clearMarks(cm);
268
+ if (cm.state.lint.options.lintOnChange !== false)
269
+ cm.off("change", onChange);
270
+ CodeMirror.off(cm.getWrapperElement(), "mouseover", cm.state.lint.onMouseOver);
271
+ clearTimeout(cm.state.lint.timeout);
272
+ delete cm.state.lint;
273
+ }
274
+
275
+ if (val) {
276
+ var gutters = cm.getOption("gutters"), hasLintGutter = false;
277
+ for (var i = 0; i < gutters.length; ++i) if (gutters[i] == GUTTER_ID) hasLintGutter = true;
278
+ var state = cm.state.lint = new LintState(cm, val, hasLintGutter);
279
+ if (state.options.lintOnChange)
280
+ cm.on("change", onChange);
281
+ if (state.options.tooltips != false && state.options.tooltips != "gutter")
282
+ CodeMirror.on(cm.getWrapperElement(), "mouseover", state.onMouseOver);
283
+
284
+ startLinting(cm);
285
+ }
286
+ });
287
+
288
+ CodeMirror.defineExtension("performLint", function() {
289
+ startLinting(this);
290
+ });
291
+ });
@@ -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
+ // Depends on js-yaml.js from https://github.com/nodeca/js-yaml
15
+
16
+ // declare global: jsyaml
17
+
18
+ CodeMirror.registerHelper("lint", "yaml", function(text) {
19
+ var found = [];
20
+ if (!window.jsyaml) {
21
+ if (window.console) {
22
+ window.console.error("Error: window.jsyaml not defined, CodeMirror YAML linting cannot run.");
23
+ }
24
+ return found;
25
+ }
26
+ try { jsyaml.loadAll(text); }
27
+ catch(e) {
28
+ var loc = e.mark,
29
+ // js-yaml YAMLException doesn't always provide an accurate lineno
30
+ // e.g., when there are multiple yaml docs
31
+ // ---
32
+ // ---
33
+ // foo:bar
34
+ from = loc ? CodeMirror.Pos(loc.line, loc.column) : CodeMirror.Pos(0, 0),
35
+ to = from;
36
+ found.push({ from: from, to: to, message: e.message });
37
+ }
38
+ return found;
39
+ });
40
+
41
+ });
@@ -0,0 +1,119 @@
1
+ .CodeMirror-merge {
2
+ position: relative;
3
+ border: 1px solid #ddd;
4
+ white-space: pre;
5
+ }
6
+
7
+ .CodeMirror-merge, .CodeMirror-merge .CodeMirror {
8
+ height: 350px;
9
+ }
10
+
11
+ .CodeMirror-merge-2pane .CodeMirror-merge-pane { width: 47%; }
12
+ .CodeMirror-merge-2pane .CodeMirror-merge-gap { width: 6%; }
13
+ .CodeMirror-merge-3pane .CodeMirror-merge-pane { width: 31%; }
14
+ .CodeMirror-merge-3pane .CodeMirror-merge-gap { width: 3.5%; }
15
+
16
+ .CodeMirror-merge-pane {
17
+ display: inline-block;
18
+ white-space: normal;
19
+ vertical-align: top;
20
+ }
21
+ .CodeMirror-merge-pane-rightmost {
22
+ position: absolute;
23
+ right: 0px;
24
+ z-index: 1;
25
+ }
26
+
27
+ .CodeMirror-merge-gap {
28
+ z-index: 2;
29
+ display: inline-block;
30
+ height: 100%;
31
+ -moz-box-sizing: border-box;
32
+ box-sizing: border-box;
33
+ overflow: hidden;
34
+ border-left: 1px solid #ddd;
35
+ border-right: 1px solid #ddd;
36
+ position: relative;
37
+ background: #f8f8f8;
38
+ }
39
+
40
+ .CodeMirror-merge-scrolllock-wrap {
41
+ position: absolute;
42
+ bottom: 0; left: 50%;
43
+ }
44
+ .CodeMirror-merge-scrolllock {
45
+ position: relative;
46
+ left: -50%;
47
+ cursor: pointer;
48
+ color: #555;
49
+ line-height: 1;
50
+ }
51
+ .CodeMirror-merge-scrolllock:after {
52
+ content: "\21db\00a0\00a0\21da";
53
+ }
54
+ .CodeMirror-merge-scrolllock.CodeMirror-merge-scrolllock-enabled:after {
55
+ content: "\21db\21da";
56
+ }
57
+
58
+ .CodeMirror-merge-copybuttons-left, .CodeMirror-merge-copybuttons-right {
59
+ position: absolute;
60
+ left: 0; top: 0;
61
+ right: 0; bottom: 0;
62
+ line-height: 1;
63
+ }
64
+
65
+ .CodeMirror-merge-copy {
66
+ position: absolute;
67
+ cursor: pointer;
68
+ color: #44c;
69
+ z-index: 3;
70
+ }
71
+
72
+ .CodeMirror-merge-copy-reverse {
73
+ position: absolute;
74
+ cursor: pointer;
75
+ color: #44c;
76
+ }
77
+
78
+ .CodeMirror-merge-copybuttons-left .CodeMirror-merge-copy { left: 2px; }
79
+ .CodeMirror-merge-copybuttons-right .CodeMirror-merge-copy { right: 2px; }
80
+
81
+ .CodeMirror-merge-r-inserted, .CodeMirror-merge-l-inserted {
82
+ background-image: url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAMAAAACCAYAAACddGYaAAAAGUlEQVQI12MwuCXy3+CWyH8GBgYGJgYkAABZbAQ9ELXurwAAAABJRU5ErkJggg==);
83
+ background-position: bottom left;
84
+ background-repeat: repeat-x;
85
+ }
86
+
87
+ .CodeMirror-merge-r-deleted, .CodeMirror-merge-l-deleted {
88
+ background-image: url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAMAAAACCAYAAACddGYaAAAAGUlEQVQI12M4Kyb2/6yY2H8GBgYGJgYkAABURgPz6Ks7wQAAAABJRU5ErkJggg==);
89
+ background-position: bottom left;
90
+ background-repeat: repeat-x;
91
+ }
92
+
93
+ .CodeMirror-merge-r-chunk { background: #ffffe0; }
94
+ .CodeMirror-merge-r-chunk-start { border-top: 1px solid #ee8; }
95
+ .CodeMirror-merge-r-chunk-end { border-bottom: 1px solid #ee8; }
96
+ .CodeMirror-merge-r-connect { fill: #ffffe0; stroke: #ee8; stroke-width: 1px; }
97
+
98
+ .CodeMirror-merge-l-chunk { background: #eef; }
99
+ .CodeMirror-merge-l-chunk-start { border-top: 1px solid #88e; }
100
+ .CodeMirror-merge-l-chunk-end { border-bottom: 1px solid #88e; }
101
+ .CodeMirror-merge-l-connect { fill: #eef; stroke: #88e; stroke-width: 1px; }
102
+
103
+ .CodeMirror-merge-l-chunk.CodeMirror-merge-r-chunk { background: #dfd; }
104
+ .CodeMirror-merge-l-chunk-start.CodeMirror-merge-r-chunk-start { border-top: 1px solid #4e4; }
105
+ .CodeMirror-merge-l-chunk-end.CodeMirror-merge-r-chunk-end { border-bottom: 1px solid #4e4; }
106
+
107
+ .CodeMirror-merge-collapsed-widget:before {
108
+ content: "(...)";
109
+ }
110
+ .CodeMirror-merge-collapsed-widget {
111
+ cursor: pointer;
112
+ color: #88b;
113
+ background: #eef;
114
+ border: 1px solid #ddf;
115
+ font-size: 90%;
116
+ padding: 0 3px;
117
+ border-radius: 4px;
118
+ }
119
+ .CodeMirror-merge-collapsed-line .CodeMirror-gutter-elt { display: none; }