@impermeable/waterproof-editor 0.9.0

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 (165) hide show
  1. package/LICENSE +21 -0
  2. package/README.md +20 -0
  3. package/dist/api/Completions.d.ts +21 -0
  4. package/dist/api/Completions.d.ts.map +1 -0
  5. package/dist/api/DocChange.d.ts +19 -0
  6. package/dist/api/DocChange.d.ts.map +1 -0
  7. package/dist/api/FileFormat.d.ts +10 -0
  8. package/dist/api/FileFormat.d.ts.map +1 -0
  9. package/dist/api/InputAreaStatus.d.ts +14 -0
  10. package/dist/api/InputAreaStatus.d.ts.map +1 -0
  11. package/dist/api/LineNumber.d.ts +10 -0
  12. package/dist/api/LineNumber.d.ts.map +1 -0
  13. package/dist/api/ServerStatus.d.ts +18 -0
  14. package/dist/api/ServerStatus.d.ts.map +1 -0
  15. package/dist/api/Severity.d.ts +12 -0
  16. package/dist/api/Severity.d.ts.map +1 -0
  17. package/dist/api/index.d.ts +12 -0
  18. package/dist/api/index.d.ts.map +1 -0
  19. package/dist/api/types.d.ts +105 -0
  20. package/dist/api/types.d.ts.map +1 -0
  21. package/dist/autocomplete/coqTerms.d.ts +3 -0
  22. package/dist/autocomplete/coqTerms.d.ts.map +1 -0
  23. package/dist/autocomplete/emojis.d.ts +10 -0
  24. package/dist/autocomplete/emojis.d.ts.map +1 -0
  25. package/dist/autocomplete/index.d.ts +2 -0
  26. package/dist/autocomplete/index.d.ts.map +1 -0
  27. package/dist/autocomplete/renderSymbol.d.ts +7 -0
  28. package/dist/autocomplete/renderSymbol.d.ts.map +1 -0
  29. package/dist/autocomplete/symbols.d.ts +7 -0
  30. package/dist/autocomplete/symbols.d.ts.map +1 -0
  31. package/dist/codeview/code-plugin.d.ts +27 -0
  32. package/dist/codeview/code-plugin.d.ts.map +1 -0
  33. package/dist/codeview/color-scheme.d.ts +6 -0
  34. package/dist/codeview/color-scheme.d.ts.map +1 -0
  35. package/dist/codeview/debouncer.d.ts +8 -0
  36. package/dist/codeview/debouncer.d.ts.map +1 -0
  37. package/dist/codeview/index.d.ts +3 -0
  38. package/dist/codeview/index.d.ts.map +1 -0
  39. package/dist/codeview/lang-pack/index.d.ts +7 -0
  40. package/dist/codeview/lang-pack/index.d.ts.map +1 -0
  41. package/dist/codeview/lang-pack/syntax.d.ts +3 -0
  42. package/dist/codeview/lang-pack/syntax.d.ts.map +1 -0
  43. package/dist/codeview/lang-pack/syntax.terms.d.ts +2 -0
  44. package/dist/codeview/lang-pack/syntax.terms.d.ts.map +1 -0
  45. package/dist/codeview/nodeview.d.ts +65 -0
  46. package/dist/codeview/nodeview.d.ts.map +1 -0
  47. package/dist/commands/command-helpers.d.ts +48 -0
  48. package/dist/commands/command-helpers.d.ts.map +1 -0
  49. package/dist/commands/commands.d.ts +30 -0
  50. package/dist/commands/commands.d.ts.map +1 -0
  51. package/dist/commands/delete-command.d.ts +4 -0
  52. package/dist/commands/delete-command.d.ts.map +1 -0
  53. package/dist/commands/index.d.ts +4 -0
  54. package/dist/commands/index.d.ts.map +1 -0
  55. package/dist/commands/insert-command.d.ts +34 -0
  56. package/dist/commands/insert-command.d.ts.map +1 -0
  57. package/dist/commands/types.d.ts +15 -0
  58. package/dist/commands/types.d.ts.map +1 -0
  59. package/dist/context-menu/index.d.ts +2 -0
  60. package/dist/context-menu/index.d.ts.map +1 -0
  61. package/dist/context-menu/menu.d.ts +8 -0
  62. package/dist/context-menu/menu.d.ts.map +1 -0
  63. package/dist/document/blocks/block.d.ts +24 -0
  64. package/dist/document/blocks/block.d.ts.map +1 -0
  65. package/dist/document/blocks/blocktypes.d.ts +78 -0
  66. package/dist/document/blocks/blocktypes.d.ts.map +1 -0
  67. package/dist/document/blocks/index.d.ts +3 -0
  68. package/dist/document/blocks/index.d.ts.map +1 -0
  69. package/dist/document/blocks/schema.d.ts +21 -0
  70. package/dist/document/blocks/schema.d.ts.map +1 -0
  71. package/dist/document/blocks/typeguards.d.ts +11 -0
  72. package/dist/document/blocks/typeguards.d.ts.map +1 -0
  73. package/dist/document/construct-document.d.ts +4 -0
  74. package/dist/document/construct-document.d.ts.map +1 -0
  75. package/dist/document/index.d.ts +5 -0
  76. package/dist/document/index.d.ts.map +1 -0
  77. package/dist/document/utils.d.ts +49 -0
  78. package/dist/document/utils.d.ts.map +1 -0
  79. package/dist/documentProgressDecorator.d.ts +9 -0
  80. package/dist/documentProgressDecorator.d.ts.map +1 -0
  81. package/dist/editor.d.ts +117 -0
  82. package/dist/editor.d.ts.map +1 -0
  83. package/dist/embedded-codemirror/embedded-codemirror-keymap.d.ts +9 -0
  84. package/dist/embedded-codemirror/embedded-codemirror-keymap.d.ts.map +1 -0
  85. package/dist/embedded-codemirror/embeddedCodemirror.d.ts +40 -0
  86. package/dist/embedded-codemirror/embeddedCodemirror.d.ts.map +1 -0
  87. package/dist/embedded-codemirror/index.d.ts +3 -0
  88. package/dist/embedded-codemirror/index.d.ts.map +1 -0
  89. package/dist/embedded-codemirror/types.d.ts +9 -0
  90. package/dist/embedded-codemirror/types.d.ts.map +1 -0
  91. package/dist/hinting/hint-plugin.d.ts +9 -0
  92. package/dist/hinting/hint-plugin.d.ts.map +1 -0
  93. package/dist/hinting/index.d.ts +2 -0
  94. package/dist/hinting/index.d.ts.map +1 -0
  95. package/dist/index.css +2 -0
  96. package/dist/index.d.ts +6 -0
  97. package/dist/index.d.ts.map +1 -0
  98. package/dist/index.js +341 -0
  99. package/dist/inputArea.d.ts +14 -0
  100. package/dist/inputArea.d.ts.map +1 -0
  101. package/dist/markup-views/CoqdocPlugin.d.ts +19 -0
  102. package/dist/markup-views/CoqdocPlugin.d.ts.map +1 -0
  103. package/dist/markup-views/CoqdocView.d.ts +15 -0
  104. package/dist/markup-views/CoqdocView.d.ts.map +1 -0
  105. package/dist/markup-views/MarkdownPlugin.d.ts +21 -0
  106. package/dist/markup-views/MarkdownPlugin.d.ts.map +1 -0
  107. package/dist/markup-views/MarkdownView.d.ts +15 -0
  108. package/dist/markup-views/MarkdownView.d.ts.map +1 -0
  109. package/dist/markup-views/index.d.ts +5 -0
  110. package/dist/markup-views/index.d.ts.map +1 -0
  111. package/dist/markup-views/switchable-view/EditableView.d.ts +22 -0
  112. package/dist/markup-views/switchable-view/EditableView.d.ts.map +1 -0
  113. package/dist/markup-views/switchable-view/EditorTheme.d.ts +8 -0
  114. package/dist/markup-views/switchable-view/EditorTheme.d.ts.map +1 -0
  115. package/dist/markup-views/switchable-view/MarkdownSchema.d.ts +8 -0
  116. package/dist/markup-views/switchable-view/MarkdownSchema.d.ts.map +1 -0
  117. package/dist/markup-views/switchable-view/RenderedView.d.ts +13 -0
  118. package/dist/markup-views/switchable-view/RenderedView.d.ts.map +1 -0
  119. package/dist/markup-views/switchable-view/SwitchableView.d.ts +62 -0
  120. package/dist/markup-views/switchable-view/SwitchableView.d.ts.map +1 -0
  121. package/dist/markup-views/switchable-view/index.d.ts +2 -0
  122. package/dist/markup-views/switchable-view/index.d.ts.map +1 -0
  123. package/dist/math-integration/index.d.ts +2 -0
  124. package/dist/math-integration/index.d.ts.map +1 -0
  125. package/dist/math-integration/nodespecs.d.ts +4 -0
  126. package/dist/math-integration/nodespecs.d.ts.map +1 -0
  127. package/dist/menubar/index.d.ts +2 -0
  128. package/dist/menubar/index.d.ts.map +1 -0
  129. package/dist/menubar/menubar.d.ts +25 -0
  130. package/dist/menubar/menubar.d.ts.map +1 -0
  131. package/dist/osType.d.ts +8 -0
  132. package/dist/osType.d.ts.map +1 -0
  133. package/dist/progressBar.d.ts +13 -0
  134. package/dist/progressBar.d.ts.map +1 -0
  135. package/dist/qedStatus.d.ts +9 -0
  136. package/dist/qedStatus.d.ts.map +1 -0
  137. package/dist/schema/index.d.ts +2 -0
  138. package/dist/schema/index.d.ts.map +1 -0
  139. package/dist/schema/schema-nodes.d.ts +1 -0
  140. package/dist/schema/schema-nodes.d.ts.map +1 -0
  141. package/dist/schema/schema.d.ts +23 -0
  142. package/dist/schema/schema.d.ts.map +1 -0
  143. package/dist/styles/index.d.ts +16 -0
  144. package/dist/styles/index.d.ts.map +1 -0
  145. package/dist/themeStore.d.ts +4 -0
  146. package/dist/themeStore.d.ts.map +1 -0
  147. package/dist/translation/Translator.d.ts +12 -0
  148. package/dist/translation/Translator.d.ts.map +1 -0
  149. package/dist/translation/index.d.ts +2 -0
  150. package/dist/translation/index.d.ts.map +1 -0
  151. package/dist/translation/toProsemirror/index.d.ts +2 -0
  152. package/dist/translation/toProsemirror/index.d.ts.map +1 -0
  153. package/dist/translation/toProsemirror/mvFileToProsemirror.d.ts +2 -0
  154. package/dist/translation/toProsemirror/mvFileToProsemirror.d.ts.map +1 -0
  155. package/dist/translation/toProsemirror/parseAsMv.d.ts +7 -0
  156. package/dist/translation/toProsemirror/parseAsMv.d.ts.map +1 -0
  157. package/dist/translation/toProsemirror/parser.d.ts +3 -0
  158. package/dist/translation/toProsemirror/parser.d.ts.map +1 -0
  159. package/dist/translation/types.d.ts +12 -0
  160. package/dist/translation/types.d.ts.map +1 -0
  161. package/dist/utilities/index.d.ts +2 -0
  162. package/dist/utilities/index.d.ts.map +1 -0
  163. package/dist/utilities/prosemirror.d.ts +13 -0
  164. package/dist/utilities/prosemirror.d.ts.map +1 -0
  165. package/package.json +78 -0
package/package.json ADDED
@@ -0,0 +1,78 @@
1
+ {
2
+ "name": "@impermeable/waterproof-editor",
3
+ "version": "0.9.0",
4
+ "description": "Waterproof Editor ",
5
+ "homepage": "https://github.com/impermeable/waterproof-editor#readme",
6
+ "bugs": {
7
+ "url": "https://github.com/impermeable/waterproof-editor/issues"
8
+ },
9
+ "repository": {
10
+ "type": "git",
11
+ "url": "git+https://github.com/impermeable/waterproof-editor.git"
12
+ },
13
+ "license": "MIT",
14
+ "author": "impermeable",
15
+ "main": "./dist/index.js",
16
+ "exports": {
17
+ ".": "./dist/index.js",
18
+ "./styles.css": "./dist/index.css"
19
+ },
20
+ "typesVersions": {
21
+ "*": {
22
+ ".": [
23
+ "./dist/index.d.ts"
24
+ ]
25
+ }
26
+ },
27
+ "scripts": {
28
+ "watch:esbuild": "node esbuild.mjs --watch",
29
+ "watch:tsc": "npx tsc -b --watch",
30
+ "test": "npm run unit-tests",
31
+ "unit-tests": "npx jest",
32
+ "lezer-generator": "npx lezer-generator ./src/codeview/lang-pack/syntax.grammar -o ./src/codeview/lang-pack/syntax.ts",
33
+ "typecheck": "npx tsc -b",
34
+ "build": "npm run typecheck && node esbuild.mjs --minify",
35
+ "lint": "npx eslint .",
36
+ "lint-fix": "npx eslint . --fix"
37
+ },
38
+ "devDependencies": {
39
+ "@eslint/js": "^9.18.0",
40
+ "@lezer/generator": "^1.2.3",
41
+ "@types/glob": "^7.1.1",
42
+ "@types/jest": "^29.5.1",
43
+ "@types/jquery": "^3.5.16",
44
+ "@types/mocha": "^10.0.1",
45
+ "@types/node": "^16.11.7",
46
+ "esbuild": "^0.16.17",
47
+ "eslint": "^9.18.0",
48
+ "jest": "^29.5.0",
49
+ "jest-environment-jsdom": "^29.7.0",
50
+ "mocha": "^10.2.0",
51
+ "prettier": "^2.8.1",
52
+ "ts-jest": "^29.1.0",
53
+ "typescript": "^5.1.3",
54
+ "typescript-eslint": "^8.20.0"
55
+ },
56
+ "dependencies": {
57
+ "@benrbray/prosemirror-math": "1.0.0",
58
+ "@codemirror/autocomplete": "6.18.1",
59
+ "@codemirror/commands": "6.6.2",
60
+ "@codemirror/language": "6.10.3",
61
+ "@codemirror/lint": "6.8.2",
62
+ "@codemirror/view": "6.27.0",
63
+ "@lezer/highlight": "1.2.1",
64
+ "@lezer/lr": "1.4.2",
65
+ "jquery": "3.7.1",
66
+ "katex": "0.16.11",
67
+ "markdown-it": "13.0.2",
68
+ "prosemirror-commands": "1.6.0",
69
+ "prosemirror-history": "1.4.1",
70
+ "prosemirror-inputrules": "1.4.0",
71
+ "prosemirror-keymap": "1.2.2",
72
+ "prosemirror-markdown": "1.13.1",
73
+ "prosemirror-model": "1.22.3",
74
+ "prosemirror-state": "1.4.3",
75
+ "prosemirror-transform": "1.10.0",
76
+ "prosemirror-view": "1.34.3"
77
+ }
78
+ }