@impermeable/waterproof-editor 0.13.0 → 0.14.1

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 (256) hide show
  1. package/dist/api/InputAreaStatus.d.ts +7 -7
  2. package/dist/api/InputAreaStatus.d.ts.map +1 -1
  3. package/dist/api/MessageHandlerEditor.d.ts +30 -0
  4. package/dist/api/MessageHandlerEditor.d.ts.map +1 -0
  5. package/dist/api/index.d.ts +6 -7
  6. package/dist/api/index.d.ts.map +1 -1
  7. package/dist/api/types.d.ts +125 -54
  8. package/dist/api/types.d.ts.map +1 -1
  9. package/dist/autocomplete/renderSymbol.d.ts +1 -2
  10. package/dist/autocomplete/renderSymbol.d.ts.map +1 -1
  11. package/dist/codeview/busy-indicator.d.ts +113 -0
  12. package/dist/codeview/busy-indicator.d.ts.map +1 -0
  13. package/dist/codeview/code-plugin.d.ts +5 -5
  14. package/dist/codeview/code-plugin.d.ts.map +1 -1
  15. package/dist/codeview/nodeview.d.ts +11 -2
  16. package/dist/codeview/nodeview.d.ts.map +1 -1
  17. package/dist/commands/command-helpers.d.ts +7 -22
  18. package/dist/commands/command-helpers.d.ts.map +1 -1
  19. package/dist/commands/commands.d.ts +6 -28
  20. package/dist/commands/commands.d.ts.map +1 -1
  21. package/dist/commands/index.d.ts +1 -2
  22. package/dist/commands/index.d.ts.map +1 -1
  23. package/dist/commands/insert-command.d.ts +7 -33
  24. package/dist/commands/insert-command.d.ts.map +1 -1
  25. package/dist/commands/types.d.ts +2 -2
  26. package/dist/commands/types.d.ts.map +1 -1
  27. package/dist/commands/utils.d.ts +2 -0
  28. package/dist/commands/utils.d.ts.map +1 -1
  29. package/dist/document/blocks/block.d.ts +12 -6
  30. package/dist/document/blocks/block.d.ts.map +1 -1
  31. package/dist/document/blocks/blocktypes.d.ts +78 -35
  32. package/dist/document/blocks/blocktypes.d.ts.map +1 -1
  33. package/dist/document/blocks/index.d.ts +2 -1
  34. package/dist/document/blocks/index.d.ts.map +1 -1
  35. package/dist/document/blocks/schema.d.ts +4 -7
  36. package/dist/document/blocks/schema.d.ts.map +1 -1
  37. package/dist/document/blocks/typeguards.d.ts +4 -5
  38. package/dist/document/blocks/typeguards.d.ts.map +1 -1
  39. package/dist/document/utils.d.ts +6 -10
  40. package/dist/document/utils.d.ts.map +1 -1
  41. package/dist/edit-utils.d.ts +10 -0
  42. package/dist/edit-utils.d.ts.map +1 -0
  43. package/dist/editor.d.ts +49 -31
  44. package/dist/editor.d.ts.map +1 -1
  45. package/dist/embedded-codemirror/embedded-codemirror-keymap.d.ts.map +1 -1
  46. package/dist/embedded-codemirror/embeddedCodemirror.d.ts +2 -2
  47. package/dist/embedded-codemirror/embeddedCodemirror.d.ts.map +1 -1
  48. package/dist/hinting/hint-plugin.d.ts +1 -2
  49. package/dist/hinting/hint-plugin.d.ts.map +1 -1
  50. package/dist/index.css +2 -2
  51. package/dist/index.d.ts +6 -1
  52. package/dist/index.d.ts.map +1 -1
  53. package/dist/index.js +62 -82
  54. package/dist/inputArea.d.ts +2 -3
  55. package/dist/inputArea.d.ts.map +1 -1
  56. package/dist/mapping/Tree.d.ts +21 -5
  57. package/dist/mapping/Tree.d.ts.map +1 -1
  58. package/dist/mapping/mapping.d.ts +17 -0
  59. package/dist/mapping/mapping.d.ts.map +1 -1
  60. package/dist/mapping/nodeUpdate.d.ts +5 -5
  61. package/dist/mapping/nodeUpdate.d.ts.map +1 -1
  62. package/dist/mapping/textUpdate.d.ts +8 -0
  63. package/dist/mapping/textUpdate.d.ts.map +1 -1
  64. package/dist/mapping/types.d.ts.map +1 -1
  65. package/dist/markdown-defaults/index.d.ts.map +1 -1
  66. package/dist/markdown-defaults/statemachine.d.ts +11 -2
  67. package/dist/markdown-defaults/statemachine.d.ts.map +1 -1
  68. package/dist/markup-views/index.d.ts +1 -4
  69. package/dist/markup-views/index.d.ts.map +1 -1
  70. package/dist/markup-views/switchable-view/EditableView.d.ts.map +1 -1
  71. package/dist/markup-views/switchable-view/RenderedView.d.ts +1 -1
  72. package/dist/markup-views/switchable-view/RenderedView.d.ts.map +1 -1
  73. package/dist/markup-views/switchable-view/SwitchableView.d.ts +5 -8
  74. package/dist/markup-views/switchable-view/SwitchableView.d.ts.map +1 -1
  75. package/dist/menubar/menubar.d.ts +2 -4
  76. package/dist/menubar/menubar.d.ts.map +1 -1
  77. package/dist/progressBar.d.ts +31 -11
  78. package/dist/progressBar.d.ts.map +1 -1
  79. package/dist/qedStatus.d.ts.map +1 -1
  80. package/dist/schema/schema.d.ts +4 -3
  81. package/dist/schema/schema.d.ts.map +1 -1
  82. package/dist/serialization/DocumentSerializer.d.ts +43 -5
  83. package/dist/serialization/DocumentSerializer.d.ts.map +1 -1
  84. package/dist/styles/index.d.ts +3 -5
  85. package/dist/styles/index.d.ts.map +1 -1
  86. package/dist/styles/waterproof-defaults.css +2 -0
  87. package/dist/translation/index.d.ts +1 -1
  88. package/dist/translation/index.d.ts.map +1 -1
  89. package/package.json +33 -10
  90. package/tsconfig.test.json +14 -0
  91. package/dist/codeview/progress-indicator.d.ts +0 -19
  92. package/dist/codeview/progress-indicator.d.ts.map +0 -1
  93. package/dist/mapping/newmapping.d.ts +0 -62
  94. package/dist/mapping/newmapping.d.ts.map +0 -1
  95. package/dist/src/api/Completions.d.ts +0 -21
  96. package/dist/src/api/Completions.d.ts.map +0 -1
  97. package/dist/src/api/DocChange.d.ts +0 -19
  98. package/dist/src/api/DocChange.d.ts.map +0 -1
  99. package/dist/src/api/FileFormat.d.ts +0 -10
  100. package/dist/src/api/FileFormat.d.ts.map +0 -1
  101. package/dist/src/api/InputAreaStatus.d.ts +0 -14
  102. package/dist/src/api/InputAreaStatus.d.ts.map +0 -1
  103. package/dist/src/api/LineNumber.d.ts +0 -10
  104. package/dist/src/api/LineNumber.d.ts.map +0 -1
  105. package/dist/src/api/ServerStatus.d.ts +0 -18
  106. package/dist/src/api/ServerStatus.d.ts.map +0 -1
  107. package/dist/src/api/Severity.d.ts +0 -12
  108. package/dist/src/api/Severity.d.ts.map +0 -1
  109. package/dist/src/api/index.d.ts +0 -12
  110. package/dist/src/api/index.d.ts.map +0 -1
  111. package/dist/src/api/types.d.ts +0 -119
  112. package/dist/src/api/types.d.ts.map +0 -1
  113. package/dist/src/autocomplete/coqTerms.d.ts +0 -3
  114. package/dist/src/autocomplete/coqTerms.d.ts.map +0 -1
  115. package/dist/src/autocomplete/emojis.d.ts +0 -10
  116. package/dist/src/autocomplete/emojis.d.ts.map +0 -1
  117. package/dist/src/autocomplete/index.d.ts +0 -2
  118. package/dist/src/autocomplete/index.d.ts.map +0 -1
  119. package/dist/src/autocomplete/renderSymbol.d.ts +0 -7
  120. package/dist/src/autocomplete/renderSymbol.d.ts.map +0 -1
  121. package/dist/src/autocomplete/symbols.d.ts +0 -7
  122. package/dist/src/autocomplete/symbols.d.ts.map +0 -1
  123. package/dist/src/codeview/code-plugin.d.ts +0 -28
  124. package/dist/src/codeview/code-plugin.d.ts.map +0 -1
  125. package/dist/src/codeview/color-scheme.d.ts +0 -6
  126. package/dist/src/codeview/color-scheme.d.ts.map +0 -1
  127. package/dist/src/codeview/debouncer.d.ts +0 -8
  128. package/dist/src/codeview/debouncer.d.ts.map +0 -1
  129. package/dist/src/codeview/index.d.ts +0 -3
  130. package/dist/src/codeview/index.d.ts.map +0 -1
  131. package/dist/src/codeview/lang-pack/index.d.ts +0 -8
  132. package/dist/src/codeview/lang-pack/index.d.ts.map +0 -1
  133. package/dist/src/codeview/lang-pack/print-grammar.d.ts +0 -2
  134. package/dist/src/codeview/lang-pack/print-grammar.d.ts.map +0 -1
  135. package/dist/src/codeview/lang-pack/syntax.d.ts +0 -3
  136. package/dist/src/codeview/lang-pack/syntax.d.ts.map +0 -1
  137. package/dist/src/codeview/lang-pack/syntax.terms.d.ts +0 -2
  138. package/dist/src/codeview/lang-pack/syntax.terms.d.ts.map +0 -1
  139. package/dist/src/codeview/nodeview.d.ts +0 -63
  140. package/dist/src/codeview/nodeview.d.ts.map +0 -1
  141. package/dist/src/commands/command-helpers.d.ts +0 -48
  142. package/dist/src/commands/command-helpers.d.ts.map +0 -1
  143. package/dist/src/commands/commands.d.ts +0 -30
  144. package/dist/src/commands/commands.d.ts.map +0 -1
  145. package/dist/src/commands/delete-command.d.ts +0 -4
  146. package/dist/src/commands/delete-command.d.ts.map +0 -1
  147. package/dist/src/commands/index.d.ts +0 -4
  148. package/dist/src/commands/index.d.ts.map +0 -1
  149. package/dist/src/commands/insert-command.d.ts +0 -34
  150. package/dist/src/commands/insert-command.d.ts.map +0 -1
  151. package/dist/src/commands/types.d.ts +0 -15
  152. package/dist/src/commands/types.d.ts.map +0 -1
  153. package/dist/src/context-menu/index.d.ts +0 -2
  154. package/dist/src/context-menu/index.d.ts.map +0 -1
  155. package/dist/src/context-menu/menu.d.ts +0 -8
  156. package/dist/src/context-menu/menu.d.ts.map +0 -1
  157. package/dist/src/document/blocks/block.d.ts +0 -24
  158. package/dist/src/document/blocks/block.d.ts.map +0 -1
  159. package/dist/src/document/blocks/blocktypes.d.ts +0 -78
  160. package/dist/src/document/blocks/blocktypes.d.ts.map +0 -1
  161. package/dist/src/document/blocks/index.d.ts +0 -3
  162. package/dist/src/document/blocks/index.d.ts.map +0 -1
  163. package/dist/src/document/blocks/schema.d.ts +0 -21
  164. package/dist/src/document/blocks/schema.d.ts.map +0 -1
  165. package/dist/src/document/blocks/typeguards.d.ts +0 -11
  166. package/dist/src/document/blocks/typeguards.d.ts.map +0 -1
  167. package/dist/src/document/construct-document.d.ts +0 -4
  168. package/dist/src/document/construct-document.d.ts.map +0 -1
  169. package/dist/src/document/index.d.ts +0 -5
  170. package/dist/src/document/index.d.ts.map +0 -1
  171. package/dist/src/document/utils.d.ts +0 -49
  172. package/dist/src/document/utils.d.ts.map +0 -1
  173. package/dist/src/documentProgressDecorator.d.ts +0 -9
  174. package/dist/src/documentProgressDecorator.d.ts.map +0 -1
  175. package/dist/src/editor.d.ts +0 -154
  176. package/dist/src/editor.d.ts.map +0 -1
  177. package/dist/src/embedded-codemirror/embedded-codemirror-keymap.d.ts +0 -9
  178. package/dist/src/embedded-codemirror/embedded-codemirror-keymap.d.ts.map +0 -1
  179. package/dist/src/embedded-codemirror/embeddedCodemirror.d.ts +0 -40
  180. package/dist/src/embedded-codemirror/embeddedCodemirror.d.ts.map +0 -1
  181. package/dist/src/embedded-codemirror/index.d.ts +0 -3
  182. package/dist/src/embedded-codemirror/index.d.ts.map +0 -1
  183. package/dist/src/embedded-codemirror/types.d.ts +0 -9
  184. package/dist/src/embedded-codemirror/types.d.ts.map +0 -1
  185. package/dist/src/hinting/hint-plugin.d.ts +0 -9
  186. package/dist/src/hinting/hint-plugin.d.ts.map +0 -1
  187. package/dist/src/hinting/index.d.ts +0 -2
  188. package/dist/src/hinting/index.d.ts.map +0 -1
  189. package/dist/src/index.d.ts +0 -6
  190. package/dist/src/index.d.ts.map +0 -1
  191. package/dist/src/inputArea.d.ts +0 -14
  192. package/dist/src/inputArea.d.ts.map +0 -1
  193. package/dist/src/markup-views/CoqdocPlugin.d.ts +0 -19
  194. package/dist/src/markup-views/CoqdocPlugin.d.ts.map +0 -1
  195. package/dist/src/markup-views/CoqdocView.d.ts +0 -15
  196. package/dist/src/markup-views/CoqdocView.d.ts.map +0 -1
  197. package/dist/src/markup-views/MarkdownPlugin.d.ts +0 -21
  198. package/dist/src/markup-views/MarkdownPlugin.d.ts.map +0 -1
  199. package/dist/src/markup-views/MarkdownView.d.ts +0 -15
  200. package/dist/src/markup-views/MarkdownView.d.ts.map +0 -1
  201. package/dist/src/markup-views/index.d.ts +0 -5
  202. package/dist/src/markup-views/index.d.ts.map +0 -1
  203. package/dist/src/markup-views/switchable-view/EditableView.d.ts +0 -22
  204. package/dist/src/markup-views/switchable-view/EditableView.d.ts.map +0 -1
  205. package/dist/src/markup-views/switchable-view/EditorTheme.d.ts +0 -8
  206. package/dist/src/markup-views/switchable-view/EditorTheme.d.ts.map +0 -1
  207. package/dist/src/markup-views/switchable-view/MarkdownSchema.d.ts +0 -8
  208. package/dist/src/markup-views/switchable-view/MarkdownSchema.d.ts.map +0 -1
  209. package/dist/src/markup-views/switchable-view/RenderedView.d.ts +0 -13
  210. package/dist/src/markup-views/switchable-view/RenderedView.d.ts.map +0 -1
  211. package/dist/src/markup-views/switchable-view/SwitchableView.d.ts +0 -62
  212. package/dist/src/markup-views/switchable-view/SwitchableView.d.ts.map +0 -1
  213. package/dist/src/markup-views/switchable-view/index.d.ts +0 -2
  214. package/dist/src/markup-views/switchable-view/index.d.ts.map +0 -1
  215. package/dist/src/math-integration/index.d.ts +0 -2
  216. package/dist/src/math-integration/index.d.ts.map +0 -1
  217. package/dist/src/math-integration/nodespecs.d.ts +0 -4
  218. package/dist/src/math-integration/nodespecs.d.ts.map +0 -1
  219. package/dist/src/menubar/index.d.ts +0 -2
  220. package/dist/src/menubar/index.d.ts.map +0 -1
  221. package/dist/src/menubar/menubar.d.ts +0 -25
  222. package/dist/src/menubar/menubar.d.ts.map +0 -1
  223. package/dist/src/osType.d.ts +0 -8
  224. package/dist/src/osType.d.ts.map +0 -1
  225. package/dist/src/progressBar.d.ts +0 -13
  226. package/dist/src/progressBar.d.ts.map +0 -1
  227. package/dist/src/qedStatus.d.ts +0 -9
  228. package/dist/src/qedStatus.d.ts.map +0 -1
  229. package/dist/src/schema/index.d.ts +0 -2
  230. package/dist/src/schema/index.d.ts.map +0 -1
  231. package/dist/src/schema/schema-nodes.d.ts +0 -1
  232. package/dist/src/schema/schema-nodes.d.ts.map +0 -1
  233. package/dist/src/schema/schema.d.ts +0 -23
  234. package/dist/src/schema/schema.d.ts.map +0 -1
  235. package/dist/src/styles/index.d.ts +0 -17
  236. package/dist/src/styles/index.d.ts.map +0 -1
  237. package/dist/src/translation/Translator.d.ts +0 -12
  238. package/dist/src/translation/Translator.d.ts.map +0 -1
  239. package/dist/src/translation/index.d.ts +0 -2
  240. package/dist/src/translation/index.d.ts.map +0 -1
  241. package/dist/src/translation/toProsemirror/index.d.ts +0 -2
  242. package/dist/src/translation/toProsemirror/index.d.ts.map +0 -1
  243. package/dist/src/translation/toProsemirror/mvFileToProsemirror.d.ts +0 -2
  244. package/dist/src/translation/toProsemirror/mvFileToProsemirror.d.ts.map +0 -1
  245. package/dist/src/translation/toProsemirror/parseAsMv.d.ts +0 -7
  246. package/dist/src/translation/toProsemirror/parseAsMv.d.ts.map +0 -1
  247. package/dist/src/translation/toProsemirror/parser.d.ts +0 -3
  248. package/dist/src/translation/toProsemirror/parser.d.ts.map +0 -1
  249. package/dist/src/translation/types.d.ts +0 -12
  250. package/dist/src/translation/types.d.ts.map +0 -1
  251. package/dist/src/utilities/index.d.ts +0 -2
  252. package/dist/src/utilities/index.d.ts.map +0 -1
  253. package/dist/src/utilities/prosemirror.d.ts +0 -13
  254. package/dist/src/utilities/prosemirror.d.ts.map +0 -1
  255. package/dist/tsconfig.tsbuildinfo +0 -1
  256. package/jest-thingie +0 -0
package/dist/editor.d.ts CHANGED
@@ -1,12 +1,9 @@
1
- import { Node as ProseNode } from "prosemirror-model";
2
- import { EditorState, Plugin, Selection } from "prosemirror-state";
3
- import { LineNumber, InputAreaStatus, SimpleProgressParams, HistoryChange, Severity, OffsetDiagnostic } from "./api";
1
+ import { Command } from "prosemirror-state";
2
+ import { InputAreaStatus, HistoryChange, Severity, OffsetDiagnostic, ThemeStyle, WaterproofEditorConfig, MessageHandlerEditor } from "./api";
4
3
  import "katex/dist/katex.min.css";
5
4
  import "prosemirror-view/style/prosemirror.css";
6
5
  import "./styles";
7
- import { WaterproofEditorConfig, ThemeStyle } from "./api";
8
6
  import { Completion } from "@codemirror/autocomplete";
9
- import { ServerStatus } from "./api";
10
7
  /** Type that contains a coq diagnostics object fit for use in the ProseMirror editor context. */
11
8
  export type DiagnosticObjectProse = {
12
9
  message: string;
@@ -17,19 +14,19 @@ export type DiagnosticObjectProse = {
17
14
  /**
18
15
  * WaterproofEditor class. Configured via the WaterproofEditorConfig object.
19
16
  */
20
- export declare class WaterproofEditor {
17
+ export declare class WaterproofEditor implements MessageHandlerEditor {
21
18
  private readonly initialThemeStyle;
22
- private _editorConfig;
23
- private _schema;
24
- private _editorElem;
19
+ private readonly _editorConfig;
20
+ private readonly _editorElem;
25
21
  private _view;
26
- private _translator;
27
22
  private _mapping;
28
23
  private readonly _userOS;
29
24
  private currentProseDiagnostics;
30
- get diagnosticsVersion(): number;
31
25
  private diagnosticsUpdateCounter;
32
26
  private _lineNumbersShown;
27
+ private readonly _serializer;
28
+ private readonly _progressBar;
29
+ private oldOffsetChecked;
33
30
  /**
34
31
  * Create a new WaterproofEditor instance.
35
32
  * @param editorElement The HTML element where the editor will be inserted in the document
@@ -37,12 +34,32 @@ export declare class WaterproofEditor {
37
34
  */
38
35
  constructor(editorElement: HTMLElement, config: WaterproofEditorConfig, initialThemeStyle: ThemeStyle);
39
36
  init(content: string, version?: number): void;
40
- get state(): EditorState | undefined;
41
- createProseMirrorEditor(proseDoc: ProseNode): void;
37
+ refreshDocument(content: string, version?: number): void;
38
+ private get state();
39
+ private createProseMirrorEditor;
42
40
  /** Create initial prosemirror state */
43
- createState(proseDoc: ProseNode): EditorState;
41
+ private createState;
44
42
  /** Create the array of plugins used by the prosemirror editor */
45
- createPluginsArray(): Plugin[];
43
+ private createPluginsArray;
44
+ /**
45
+ * Serialize the current document to a string.
46
+ * @returns Either the serialized document or `undefined` when the editor is not initialized.
47
+ */
48
+ serializeDocument(): string | undefined;
49
+ /**
50
+ * Returns the text content of specified parts of the document as well as the positions where the text starts.
51
+ *
52
+ * Does not use the serializer, but extracts the text content directly from the nodes.
53
+ * @param include Types of content to include.
54
+ */
55
+ textContentOfInputAreas(include?: number): Array<[string, {
56
+ start: number;
57
+ end: number;
58
+ }]>;
59
+ /**
60
+ * Update the themestyle used inside of the code cells (switch between dark and light)
61
+ * @param theme Either `ThemeStyle.Light` or `ThemeStyle.Dark`
62
+ */
46
63
  updateNodeViewThemes(theme: ThemeStyle): void;
47
64
  /**
48
65
  * Handle a snippet that should be inserted into the editor.
@@ -50,17 +67,14 @@ export declare class WaterproofEditor {
50
67
  */
51
68
  handleSnippet(template: string): void;
52
69
  /** Called on every selection update. */
53
- updateCursor(pos: Selection): void;
70
+ private updateCursor;
54
71
  /** Called on every transaction update in which the textdocument was modified */
55
- sendLineNumbers(): void;
56
- private updateDocumentProgress;
72
+ private updateLineNumbers;
57
73
  /**
58
74
  * Updates the dynamic autocomplete suggestions shown in the editor.
59
75
  * @param completions Array of completions.
60
76
  */
61
77
  handleCompletions(completions: Array<Completion>): void;
62
- /** Called whenever a line number message is received from vscode to update line numbers of codemirror cells */
63
- setLineNumbers(msg: LineNumber): void;
64
78
  /**
65
79
  * Execute a history change (undo/redo) in the editor.
66
80
  * @param type Type of the change
@@ -74,6 +88,7 @@ export declare class WaterproofEditor {
74
88
  * @returns Whether the operation was a success.
75
89
  */
76
90
  insertSymbol(symbolUnicode: string): boolean;
91
+ replaceRange(startOffset: number, endOffset: number, text: string): boolean;
77
92
  /**
78
93
  * Toggles line numbers for all codeblocks.
79
94
  * @param show The editor will show line numbers in the code cells when set to `true`.
@@ -91,19 +106,18 @@ export declare class WaterproofEditor {
91
106
  * @param isTeacher Whether teacher mode is enabled
92
107
  */
93
108
  updateLockingState(isTeacher: boolean): void;
94
- /**
95
- * Updates the state of the progress bar in the editor.
96
- *
97
- * @param progressParams The type used to store information on the status of the checking of the current file
98
- */
99
- updateProgressBar(progressParams: SimpleProgressParams): void;
100
- updateServerStatus(status: ServerStatus): void;
109
+ reportProgress(current: number, total: number, text?: string): void;
110
+ startSpinner(): void;
111
+ stopSpinner(): void;
112
+ setBusyIndicator(busyPos: number): void;
113
+ removeBusyIndicators(): void;
101
114
  /**
102
115
  * Updates the status of the input areas in the editor.
103
116
  *
104
- * @param status Array containing the status of the input areas within the current document, where `status[i]` corresponds to the i-th input area (starting at zero for the first input area).
117
+ * @param status Array containing the status of the input areas within the current document, where `status[i]`
118
+ * corresponds to the i-th input area (starting at zero for the first input area).
105
119
  */
106
- updateQedStatus(status: InputAreaStatus[]): void;
120
+ setInputAreaStatus(status: InputAreaStatus[]): void;
107
121
  /**
108
122
  * Pushes the diagnostics to the array of diagnostics stored in the editor.
109
123
  *
@@ -121,6 +135,7 @@ export declare class WaterproofEditor {
121
135
  * @returns Whether any instance of `toRemove` was removed from the set of diagnostics.
122
136
  */
123
137
  removeDiagnostic(toRemove: OffsetDiagnostic): boolean;
138
+ clearDiagnostics(): void;
124
139
  /**
125
140
  * Sets the current set of diagnostics in the document.
126
141
  * This function takes the set of all diagnostics in the current document,
@@ -148,7 +163,10 @@ export declare class WaterproofEditor {
148
163
  * @returns The set of diagnostics which are (at least partially) contained in the range low to high.
149
164
  */
150
165
  getPartialDiagnosticsInRange(low: number, high: number, truncationLevel?: number): Array<DiagnosticObjectProse>;
151
- executeCommand(command: string): void;
152
- executeHelp(): void;
166
+ /**
167
+ * Execute a ProseMirror command on the editor.
168
+ * @param cmd The ProseMirror command to execute.
169
+ */
170
+ executeProsemirrorCommand(cmd: Command): void;
153
171
  }
154
172
  //# sourceMappingURL=editor.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"editor.d.ts","sourceRoot":"","sources":["../src/editor.ts"],"names":[],"mappings":"AAGA,OAAO,EAAU,IAAI,IAAI,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC9D,OAAO,EAAgB,WAAW,EAAiB,MAAM,EAAE,SAAS,EAA8B,MAAM,mBAAmB,CAAC;AAM5H,OAAO,EAAa,UAAU,EAAE,eAAe,EAAE,oBAAoB,EAAqB,aAAa,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,OAAO,CAAC;AAcnJ,OAAO,0BAA0B,CAAC;AAClC,OAAO,wCAAwC,CAAC;AAChD,OAAO,UAAU,CAAC;AAKlB,OAAO,EAAiC,sBAAsB,EAAE,UAAU,EAAE,MAAM,OAAO,CAAC;AAC1F,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAEtD,OAAO,EAAE,YAAY,EAAE,MAAM,OAAO,CAAC;AAErC,iGAAiG;AACjG,MAAM,MAAM,qBAAqB,GAAG;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,QAAQ,CAAA;CAAC,CAAC;AAEtG;;GAEG;AACH,qBAAa,gBAAgB;IAoC6C,OAAO,CAAC,QAAQ,CAAC,iBAAiB;IAlC3G,OAAO,CAAC,aAAa,CAAyB;IAG9C,OAAO,CAAC,OAAO,CAAS;IAGxB,OAAO,CAAC,WAAW,CAAc;IAGjC,OAAO,CAAC,KAAK,CAAyB;IAGtC,OAAO,CAAC,WAAW,CAA6B;IAGhD,OAAO,CAAC,QAAQ,CAAgC;IAGhD,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC;IAEzB,OAAO,CAAC,uBAAuB,CAA+B;IAE9D,IAAW,kBAAkB,WAE5B;IACD,OAAO,CAAC,wBAAwB,CAAK;IAErC,OAAO,CAAC,iBAAiB,CAAkB;IAE3C;;;;OAIG;gBACU,aAAa,EAAE,WAAW,EAAE,MAAM,EAAE,sBAAsB,EAAmB,iBAAiB,EAAE,UAAU;IAuCvH,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,GAAE,MAAU;IA6CzC,IAAI,KAAK,IAAI,WAAW,GAAG,SAAS,CAEnC;IAED,uBAAuB,CAAC,QAAQ,EAAE,SAAS;IAkF3C,uCAAuC;IACvC,WAAW,CAAC,QAAQ,EAAE,SAAS,GAAG,WAAW;IAQ7C,iEAAiE;IACjE,kBAAkB,IAAI,MAAM,EAAE;IAgCvB,oBAAoB,CAAC,KAAK,EAAE,UAAU;IAa7C;;;OAGG;IACI,aAAa,CAAC,QAAQ,EAAE,MAAM;IAiCrC,wCAAwC;IACjC,YAAY,CAAC,GAAG,EAAE,SAAS,GAAI,IAAI;IAO1C,gFAAgF;IACzE,eAAe;IAiBrB,OAAO,CAAC,sBAAsB;IAyE/B;;;OAGG;IACI,iBAAiB,CAAC,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC;IAUvD,+GAA+G;IACxG,cAAc,CAAC,GAAG,EAAE,UAAU;IAUrC;;;OAGG;IACI,mBAAmB,CAAC,IAAI,EAAE,aAAa;IAOtC,YAAY,CAAC,WAAW,EAAE,MAAM;IAqCxC;;;;;OAKG;IACI,YAAY,CAAC,aAAa,EAAE,MAAM,GAAG,OAAO;IAmDnD;;;OAGG;IACI,kBAAkB,CAAC,IAAI,EAAE,OAAO;IAUvC;;;OAGG;IACI,gBAAgB,CAAC,IAAI,EAAE,OAAO;IAQrC,OAAO,CAAC,qCAAqC;IAO7C;;;;OAIG;IACI,kBAAkB,CAAC,SAAS,EAAE,OAAO,GAAI,IAAI;IAQpD;;;;OAIG;IACI,iBAAiB,CAAC,cAAc,EAAE,oBAAoB,GAAG,IAAI;IAS7D,kBAAkB,CAAC,MAAM,EAAE,YAAY,GAAI,IAAI;IAQtD;;;;OAIG;IACI,eAAe,CAAC,MAAM,EAAE,eAAe,EAAE,GAAI,IAAI;IAQxD;;;;;;;OAOG;IACI,eAAe,CAAC,GAAG,WAAW,EAAE,KAAK,CAAC,gBAAgB,CAAC;IAuB9D;;;;;;OAMG;IACI,gBAAgB,CAAC,QAAQ,EAAE,gBAAgB,GAAG,OAAO;IAwB5D;;;;;;;;;OASG;IACI,oBAAoB,CAAC,WAAW,EAAE,KAAK,CAAC,gBAAgB,CAAC;IAwBhE,OAAO,CAAC,qBAAqB;IAS7B;;;;;;OAMG;IACI,qBAAqB,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,eAAe,GAAE,MAAU,GAAG,KAAK,CAAC,qBAAqB,CAAC;IAMlH;;;;;OAKG;IACI,4BAA4B,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,eAAe,GAAE,MAAU,GAAG,KAAK,CAAC,qBAAqB,CAAC;IAelH,cAAc,CAAC,OAAO,EAAE,MAAM;IAI9B,WAAW;CAGlB"}
1
+ {"version":3,"file":"editor.d.ts","sourceRoot":"","sources":["../src/editor.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,OAAO,EAA6E,MAAM,mBAAmB,CAAC;AAMvH,OAAO,EAAa,eAAe,EAAqB,aAAa,EAAE,QAAQ,EAAE,gBAAgB,EAAkF,UAAU,EAAE,sBAAsB,EAA0B,oBAAoB,EAAE,MAAM,OAAO,CAAC;AAanR,OAAO,0BAA0B,CAAC;AAClC,OAAO,wCAAwC,CAAC;AAChD,OAAO,UAAU,CAAC;AAIlB,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAOtD,iGAAiG;AACjG,MAAM,MAAM,qBAAqB,GAAG;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,QAAQ,CAAA;CAAC,CAAC;AAEtG;;GAEG;AACH,qBAAa,gBAAiB,YAAW,oBAAoB;IAqCa,OAAO,CAAC,QAAQ,CAAC,iBAAiB;IAnC3G,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAyB;IAGvD,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAc;IAG1C,OAAO,CAAC,KAAK,CAAyB;IAGtC,OAAO,CAAC,QAAQ,CAAsB;IAGtC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC;IAEzB,OAAO,CAAC,uBAAuB,CAA+B;IAM9D,OAAO,CAAC,wBAAwB,CAAK;IAErC,OAAO,CAAC,iBAAiB,CAAkB;IAE3C,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAqB;IAEjD,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC;IAE9B,OAAO,CAAC,gBAAgB,CAAuB;IAE/C;;;;OAIG;gBACU,aAAa,EAAE,WAAW,EAAE,MAAM,EAAE,sBAAsB,EAAmB,iBAAiB,EAAE,UAAU;IAwCvH,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,GAAE,MAAU;IAwBzC,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,GAAE,MAAU;IAsBpD,OAAO,KAAK,KAAK,GAEhB;IAED,OAAO,CAAC,uBAAuB;IAuG/B,uCAAuC;IACvC,OAAO,CAAC,WAAW;IAQnB,iEAAiE;IACjE,OAAO,CAAC,kBAAkB;IA8B1B;;;OAGG;IACI,iBAAiB,IAAI,MAAM,GAAG,SAAS;IAK9C;;;;;OAKG;IACI,uBAAuB,CAAC,OAAO,GAAE,MAAU,GAAG,KAAK,CAAC,CAAC,MAAM,EAAE;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAC,CAAC,CAAC;IA4BlG;;;OAGG;IACI,oBAAoB,CAAC,KAAK,EAAE,UAAU;IAa7C;;;OAGG;IACI,aAAa,CAAC,QAAQ,EAAE,MAAM;IAiCrC,wCAAwC;IACxC,OAAO,CAAC,YAAY;IAOpB,gFAAgF;IAChF,OAAO,CAAC,iBAAiB;IAOzB;;;OAGG;IACI,iBAAiB,CAAC,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC;IAUvD;;;OAGG;IACI,mBAAmB,CAAC,IAAI,EAAE,aAAa;IAOtC,YAAY,CAAC,WAAW,EAAE,MAAM;IAqCxC;;;;;OAKG;IACI,YAAY,CAAC,aAAa,EAAE,MAAM,GAAG,OAAO;IAgD5C,YAAY,CAAC,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO;IASlF;;;OAGG;IACI,kBAAkB,CAAC,IAAI,EAAE,OAAO;IAUvC;;;OAGG;IACI,gBAAgB,CAAC,IAAI,EAAE,OAAO;IAQrC,OAAO,CAAC,qCAAqC;IAO7C;;;;OAIG;IACI,kBAAkB,CAAC,SAAS,EAAE,OAAO,GAAI,IAAI;IAS7C,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI;IAInE,YAAY,IAAI,IAAI;IAEpB,WAAW,IAAI,IAAI;IAEnB,gBAAgB,CAAC,OAAO,EAAE,MAAM;IAgBhC,oBAAoB;IAO3B;;;;;OAKG;IACI,kBAAkB,CAAC,MAAM,EAAE,eAAe,EAAE,GAAI,IAAI;IAQ3D;;;;;;;OAOG;IACI,eAAe,CAAC,GAAG,WAAW,EAAE,KAAK,CAAC,gBAAgB,CAAC;IAuB9D;;;;;;OAMG;IACI,gBAAgB,CAAC,QAAQ,EAAE,gBAAgB,GAAG,OAAO;IAwBrD,gBAAgB;IAMvB;;;;;;;;;OASG;IACI,oBAAoB,CAAC,WAAW,EAAE,KAAK,CAAC,gBAAgB,CAAC;IAwBhE,OAAO,CAAC,qBAAqB;IAS7B;;;;;;OAMG;IACI,qBAAqB,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,eAAe,GAAE,MAAU,GAAG,KAAK,CAAC,qBAAqB,CAAC;IAMlH;;;;;OAKG;IACI,4BAA4B,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,eAAe,GAAE,MAAU,GAAG,KAAK,CAAC,qBAAqB,CAAC;IAczH;;;OAGG;IACI,yBAAyB,CAAC,GAAG,EAAE,OAAO,GAAG,IAAI;CAcpD"}
@@ -1 +1 @@
1
- {"version":3,"file":"embedded-codemirror-keymap.d.ts","sourceRoot":"","sources":["../../src/embedded-codemirror/embedded-codemirror-keymap.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,OAAO,EAAe,YAAY,EAAqD,MAAM,mBAAmB,CAAA;AAgBhH,eAAO,MAAM,gBAAgB,EAAE,YAM9B,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,WAAW,EAAE,UAAU,EA2CnC,CAAA"}
1
+ {"version":3,"file":"embedded-codemirror-keymap.d.ts","sourceRoot":"","sources":["../../src/embedded-codemirror/embedded-codemirror-keymap.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,OAAO,EAAe,YAAY,EAAqD,MAAM,mBAAmB,CAAA;AAgBhH,eAAO,MAAM,gBAAgB,EAAE,YAM9B,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,WAAW,EAAE,UAAU,EAgEnC,CAAA"}
@@ -18,8 +18,8 @@ export declare class EmbeddedCodeMirrorEditor implements NodeView {
18
18
  dom: Node;
19
19
  contentDOM?: HTMLElement | null | undefined;
20
20
  update(node: PNode, _decorations: readonly Decoration[], _innerDecorations: DecorationSource): boolean;
21
- selectNode?: (() => void) | undefined;
22
- deselectNode?: (() => void) | undefined;
21
+ selectNode(): void;
22
+ deselectNode(): void;
23
23
  setSelection(anchor: number, head: number, _root: Document | ShadowRoot): void;
24
24
  stopEvent?: ((event: Event) => boolean) | undefined;
25
25
  ignoreMutation?: ((mutation: MutationRecord) => boolean) | undefined;
@@ -1 +1 @@
1
- {"version":3,"file":"embeddedCodemirror.d.ts","sourceRoot":"","sources":["../../src/embedded-codemirror/embeddedCodemirror.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,IAAI,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC7F,OAAO,EAAE,IAAI,IAAI,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAE1D,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACtF,OAAO,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAI1D;;;;GAIG;AACH,qBAAa,wBAAyB,YAAW,QAAQ;IAC9C,OAAO,EAAE,CAAC,MAAM,MAAM,GAAG,SAAS,CAAC,CAAC;IAG9C,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC;IAEzB,SAAS,CAAC,WAAW,EAAE,UAAU,GAAG,SAAS,CAAC;IAE9C,SAAS,CAAC,UAAU,EAAE,UAAU,CAAC;IAEjC,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC;IAE1B,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC;gBAGnB,IAAI,EAAE,KAAK,EACjB,IAAI,EAAE,UAAU,EAChB,MAAM,EAAE,CAAC,MAAM,MAAM,GAAG,SAAS,CAAC,EAClC,MAAM,EAAE,MAAM;IAYZ,GAAG,EAAG,IAAI,CAAC;IACX,UAAU,CAAC,EAAE,WAAW,GAAG,IAAI,GAAG,SAAS,CAAC;IAE5C,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,SAAS,UAAU,EAAE,EAAE,iBAAiB,EAAE,gBAAgB;IAqD5F,UAAU,CAAC,EAAE,CAAC,MAAM,IAAI,CAAC,GAAG,SAAS,CAAC;IACtC,YAAY,CAAC,EAAE,CAAC,MAAM,IAAI,CAAC,GAAG,SAAS,CAAC;IAExC,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,GAAG,UAAU;IAYvE,SAAS,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,KAAK,OAAO,CAAC,GAAG,SAAS,CAAC;IACpD,cAAc,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE,cAAc,KAAK,OAAO,CAAC,GAAG,SAAS,CAAC;IACrE,OAAO,CAAC,IAAI,IAAI;IAEnB,aAAa,CAAC,MAAM,EAAE,UAAU,GAAG,IAAI;IAmCpC;;;;;;;;OAQA;IACH,WAAW,CAAC,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,iBAAiB,GAAG,OAAO;IAkEhE,wBAAwB,IAAI,UAAU,EAAE;CAmBxC"}
1
+ {"version":3,"file":"embeddedCodemirror.d.ts","sourceRoot":"","sources":["../../src/embedded-codemirror/embeddedCodemirror.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,IAAI,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC7F,OAAO,EAAE,IAAI,IAAI,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAE1D,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACtF,OAAO,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAG1D;;;;GAIG;AACH,qBAAa,wBAAyB,YAAW,QAAQ;IAC9C,OAAO,EAAE,CAAC,MAAM,MAAM,GAAG,SAAS,CAAC,CAAC;IAG9C,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC;IAEzB,SAAS,CAAC,WAAW,EAAE,UAAU,GAAG,SAAS,CAAC;IAE9C,SAAS,CAAC,UAAU,EAAE,UAAU,CAAC;IAEjC,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC;IAE1B,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC;gBAGnB,IAAI,EAAE,KAAK,EACjB,IAAI,EAAE,UAAU,EAChB,MAAM,EAAE,CAAC,MAAM,MAAM,GAAG,SAAS,CAAC,EAClC,MAAM,EAAE,MAAM;IAYZ,GAAG,EAAG,IAAI,CAAC;IACX,UAAU,CAAC,EAAE,WAAW,GAAG,IAAI,GAAG,SAAS,CAAC;IAE5C,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,SAAS,UAAU,EAAE,EAAE,iBAAiB,EAAE,gBAAgB;IAqD5F,UAAU;IAMV,YAAY;IAMZ,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,GAAG,UAAU;IAYvE,SAAS,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,KAAK,OAAO,CAAC,GAAG,SAAS,CAAC;IACpD,cAAc,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE,cAAc,KAAK,OAAO,CAAC,GAAG,SAAS,CAAC;IACrE,OAAO,CAAC,IAAI,IAAI;IAEnB,aAAa,CAAC,MAAM,EAAE,UAAU,GAAG,IAAI;IAyCpC;;;;;;;;OAQA;IACH,WAAW,CAAC,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,iBAAiB,GAAG,OAAO;IAkEhE,wBAAwB,IAAI,UAAU,EAAE;CAUxC"}
@@ -1,9 +1,8 @@
1
- import { Schema } from "prosemirror-model";
2
1
  import { Plugin } from "prosemirror-state";
3
2
  /**
4
3
  * Function that returns the hint plugin.
5
4
  * @param schema The schema in use for the editor.
6
5
  * @returns A `Plugin` that enables the hint functionality.
7
6
  */
8
- export declare const createHintPlugin: (schema: Schema) => Plugin;
7
+ export declare const createHintPlugin: () => Plugin;
9
8
  //# sourceMappingURL=hint-plugin.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"hint-plugin.d.ts","sourceRoot":"","sources":["../../src/hinting/hint-plugin.ts"],"names":[],"mappings":"AAAA,OAAO,EAA2B,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACpE,OAAO,EAAkC,MAAM,EAAe,MAAM,mBAAmB,CAAC;AAIxF;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,GAAI,QAAQ,MAAM,KAAG,MA6BjD,CAAA"}
1
+ {"version":3,"file":"hint-plugin.d.ts","sourceRoot":"","sources":["../../src/hinting/hint-plugin.ts"],"names":[],"mappings":"AACA,OAAO,EAAkC,MAAM,EAAe,MAAM,mBAAmB,CAAC;AAKxF;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,QAAO,MA6BnC,CAAA"}