@impermeable/waterproof-editor 0.14.0 → 0.15.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.
@@ -18,6 +18,7 @@ export interface MessageHandlerEditor {
18
18
  setShowMenuItems: (show: boolean) => void;
19
19
  handleHistoryChange: (historyChange: HistoryChange) => void;
20
20
  updateLockingState: (teacherModeEnabled: boolean) => void;
21
+ refreshDocument: (content: string, version: number) => void;
21
22
  removeBusyIndicators: () => void;
22
23
  reportProgress: (at: number, numberOfLines: number, label: string) => void;
23
24
  setBusyIndicator: (from: number) => void;
@@ -1 +1 @@
1
- {"version":3,"file":"MessageHandlerEditor.d.ts","sourceRoot":"","sources":["../../src/api/MessageHandlerEditor.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,KAAK,EAAE,aAAa,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAC3E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAEzD;;;;;GAKG;AACH,MAAM,WAAW,oBAAoB;IACpC,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC;IAC/C,YAAY,EAAE,CAAC,aAAa,EAAE,MAAM,KAAK,OAAO,CAAC;IACjD,aAAa,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,IAAI,CAAC;IAC1C,YAAY,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC;IACpE,iBAAiB,EAAE,CAAC,WAAW,EAAE,UAAU,EAAE,KAAK,IAAI,CAAC;IACvD,kBAAkB,EAAE,CAAC,QAAQ,EAAE,eAAe,EAAE,KAAK,IAAI,CAAC;IAC1D,kBAAkB,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,IAAI,CAAC;IAC5C,gBAAgB,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,IAAI,CAAC;IAC1C,mBAAmB,EAAE,CAAC,aAAa,EAAE,aAAa,KAAK,IAAI,CAAC;IAC5D,kBAAkB,EAAE,CAAC,kBAAkB,EAAE,OAAO,KAAK,IAAI,CAAC;IAC1D,oBAAoB,EAAE,MAAM,IAAI,CAAC;IACjC,cAAc,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,IAAI,CAAC;IAC3E,gBAAgB,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IACzC,oBAAoB,EAAE,CAAC,WAAW,EAAE,KAAK,CAAC,gBAAgB,CAAC,KAAK,IAAI,CAAC;IACrE,YAAY,EAAE,MAAM,IAAI,CAAC;IACzB,WAAW,EAAE,MAAM,IAAI,CAAC;IACxB,oBAAoB,EAAE,CAAC,KAAK,EAAE,UAAU,KAAK,IAAI,CAAC;CAClD"}
1
+ {"version":3,"file":"MessageHandlerEditor.d.ts","sourceRoot":"","sources":["../../src/api/MessageHandlerEditor.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,KAAK,EAAE,aAAa,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAC3E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAEzD;;;;;GAKG;AACH,MAAM,WAAW,oBAAoB;IACpC,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC;IAC/C,YAAY,EAAE,CAAC,aAAa,EAAE,MAAM,KAAK,OAAO,CAAC;IACjD,aAAa,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,IAAI,CAAC;IAC1C,YAAY,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC;IACpE,iBAAiB,EAAE,CAAC,WAAW,EAAE,UAAU,EAAE,KAAK,IAAI,CAAC;IACvD,kBAAkB,EAAE,CAAC,QAAQ,EAAE,eAAe,EAAE,KAAK,IAAI,CAAC;IAC1D,kBAAkB,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,IAAI,CAAC;IAC5C,gBAAgB,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,IAAI,CAAC;IAC1C,mBAAmB,EAAE,CAAC,aAAa,EAAE,aAAa,KAAK,IAAI,CAAC;IAC5D,kBAAkB,EAAE,CAAC,kBAAkB,EAAE,OAAO,KAAK,IAAI,CAAC;IAC1D,eAAe,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC;IAC5D,oBAAoB,EAAE,MAAM,IAAI,CAAC;IACjC,cAAc,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,IAAI,CAAC;IAC3E,gBAAgB,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IACzC,oBAAoB,EAAE,CAAC,WAAW,EAAE,KAAK,CAAC,gBAAgB,CAAC,KAAK,IAAI,CAAC;IACrE,YAAY,EAAE,MAAM,IAAI,CAAC;IACzB,WAAW,EAAE,MAAM,IAAI,CAAC;IACxB,oBAAoB,EAAE,CAAC,KAAK,EAAE,UAAU,KAAK,IAAI,CAAC;CAClD"}
@@ -16,7 +16,7 @@ export type Range = {
16
16
  /**
17
17
  * A `WaterproofDocument` is a collection of `Block`s. Every Block in this WaterproofDocument will get translated into some ProseMirror node.
18
18
  *
19
- * Supported blocks are `HintBlock`, `InputAreaBlock`, `MarkdownBlock`, `CoqBlock` and `MathDisplayBlock`.
19
+ * Supported blocks are `HintBlock`, `InputAreaBlock`, `MarkdownBlock`, `CodeBlock` and `MathDisplayBlock`.
20
20
  *
21
21
  * Also see [documentation/UsingWaterproofEditor.md](../../documentation/UsingWaterproofEditor.md)
22
22
  */
@@ -23,6 +23,6 @@ export declare const CODE_PLUGIN_KEY: PluginKey<ICodePluginState>;
23
23
  * Returns a function suitable for passing as a field in `EditorProps.nodeViews`.
24
24
  * @see https://prosemirror.net/docs/ref/#view.EditorProps.nodeViews
25
25
  */
26
- export declare function createCoqCodeView(completions: Array<Completion>, symbols: Array<Completion>, editorInstance: WaterproofEditor, initialThemeStyle: ThemeStyle, languageConfig?: LanguageConfiguration): (node: ProseNode, view: EditorView, getPos: () => number | undefined) => CodeBlockView;
26
+ export declare function createCodeBlockView(completions: Array<Completion>, symbols: Array<Completion>, editorInstance: WaterproofEditor, initialThemeStyle: ThemeStyle, languageConfig?: LanguageConfiguration): (node: ProseNode, view: EditorView, getPos: () => number | undefined) => CodeBlockView;
27
27
  export declare const codePlugin: (completions: Array<WaterproofCompletion>, symbols: Array<WaterproofSymbol>, editorInstance: WaterproofEditor, initialThemeStyle: ThemeStyle, languageConfig?: LanguageConfiguration) => ProsePlugin<ICodePluginState>;
28
28
  //# sourceMappingURL=code-plugin.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"code-plugin.d.ts","sourceRoot":"","sources":["../../src/codeview/code-plugin.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,MAAM,EAAE,IAAI,IAAI,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC9D,OAAO,EAAE,MAAM,IAAI,WAAW,EAAE,SAAS,EAAc,MAAM,mBAAmB,CAAC;AACjF,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE3C,OAAO,EAAE,qBAAqB,EAAE,UAAU,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,QAAQ,CAAC;AACnG,OAAO,EAAE,UAAU,EAAqB,MAAM,0BAA0B,CAAC;AACzE,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAI7C,MAAM,WAAW,gBAAgB;IAChC,MAAM,EAAE;QAAE,CAAC,GAAG,EAAC,MAAM,GAAI,MAAM,CAAA;KAAE,CAAC;IAClC,oIAAoI;IACpI,eAAe,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC;IACjC,qCAAqC;IACrC,MAAM,EAAE,MAAM,CAAC;IACf,oDAAoD;IACpD,SAAS,EAAE,OAAO,CAAC;IACtB,wCAAwC;IACxC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;CACrB;AAED,eAAO,MAAM,eAAe,6BAAmE,CAAC;AAEhG;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,EAAE,cAAc,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,UAAU,EAAE,cAAc,CAAC,EAAE,qBAAqB,IAC5L,MAAM,SAAS,EAAE,MAAM,UAAU,EAAE,QAAQ,MAAM,MAAM,GAAG,SAAS,KAAG,aAAa,CAgB3F;AA2ED,eAAO,MAAM,UAAU,GAAI,aAAa,KAAK,CAAC,oBAAoB,CAAC,EAAE,SAAS,KAAK,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,gBAAgB,EAAE,mBAAmB,UAAU,EAAE,iBAAiB,qBAAqB,kCAO7M,CAAC"}
1
+ {"version":3,"file":"code-plugin.d.ts","sourceRoot":"","sources":["../../src/codeview/code-plugin.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,MAAM,EAAE,IAAI,IAAI,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC9D,OAAO,EAAE,MAAM,IAAI,WAAW,EAAE,SAAS,EAAc,MAAM,mBAAmB,CAAC;AACjF,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE3C,OAAO,EAAE,qBAAqB,EAAE,UAAU,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,QAAQ,CAAC;AACnG,OAAO,EAAE,UAAU,EAAqB,MAAM,0BAA0B,CAAC;AACzE,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAI7C,MAAM,WAAW,gBAAgB;IAChC,MAAM,EAAE;QAAE,CAAC,GAAG,EAAC,MAAM,GAAI,MAAM,CAAA;KAAE,CAAC;IAClC,oIAAoI;IACpI,eAAe,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC;IACjC,qCAAqC;IACrC,MAAM,EAAE,MAAM,CAAC;IACf,oDAAoD;IACpD,SAAS,EAAE,OAAO,CAAC;IACtB,wCAAwC;IACxC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;CACrB;AAED,eAAO,MAAM,eAAe,6BAAmE,CAAC;AAEhG;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,EAAE,cAAc,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,UAAU,EAAE,cAAc,CAAC,EAAE,qBAAqB,IAC9L,MAAM,SAAS,EAAE,MAAM,UAAU,EAAE,QAAQ,MAAM,MAAM,GAAG,SAAS,KAAG,aAAa,CAgB3F;AA2ED,eAAO,MAAM,UAAU,GAAI,aAAa,KAAK,CAAC,oBAAoB,CAAC,EAAE,SAAS,KAAK,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,gBAAgB,EAAE,mBAAmB,UAAU,EAAE,iBAAiB,qBAAqB,kCAO7M,CAAC"}
@@ -1 +1 @@
1
- {"version":3,"file":"color-scheme.d.ts","sourceRoot":"","sources":["../../src/codeview/color-scheme.ts"],"names":[],"mappings":"AAGA;;;GAGG;AACH,eAAO,MAAM,WAAW,uCAA2C,CAAC"}
1
+ {"version":3,"file":"color-scheme.d.ts","sourceRoot":"","sources":["../../src/codeview/color-scheme.ts"],"names":[],"mappings":"AAGA;;;GAGG;AACH,eAAO,MAAM,WAAW,uCAA4C,CAAC"}
@@ -60,7 +60,7 @@ export declare class CodeBlockView extends EmbeddedCodeMirrorEditor {
60
60
  */
61
61
  private lintingFunction;
62
62
  /**
63
- * Add a new coq error to this view
63
+ * Add a new diagnostic to this view
64
64
  * @param from The from position of the error.
65
65
  * @param to The to postion of the error (should be larger than `from`).
66
66
  * @param message The message attached to this error.
@@ -1 +1 @@
1
- {"version":3,"file":"command-helpers.d.ts","sourceRoot":"","sources":["../../src/commands/command-helpers.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,QAAQ,EAAE,IAAI,IAAI,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,EAAE,WAAW,EAAiB,WAAW,EAAE,SAAS,EAAiB,MAAM,mBAAmB,CAAC;AAKtG,OAAO,EAAE,gBAAgB,EAAE,MAAM,QAAQ,CAAC;AAI1C;;;;;;GAMG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,WAAW,EAAE,EAAE,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,gBAAgB,GAAG,WAAW,GAAG,SAAS,CA4DvI;AAED;;;;;;GAMG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,WAAW,EAAE,EAAE,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,gBAAgB,GAAG,WAAW,GAAG,SAAS,CA6DvI;AAED,wBAAgB,WAAW,CAAC,GAAG,EAAE,SAAS,GAAG,KAAK,GAAG,SAAS,CAQ7D;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,SAAS,GAAG,KAAK,GAAG,SAAS,CAQnE;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CAO3D;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,SAAS,GAAG,OAAO,CAQtD"}
1
+ {"version":3,"file":"command-helpers.d.ts","sourceRoot":"","sources":["../../src/commands/command-helpers.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,QAAQ,EAAE,IAAI,IAAI,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,EAAE,WAAW,EAAiB,WAAW,EAAE,SAAS,EAAiB,MAAM,mBAAmB,CAAC;AAKtG,OAAO,EAAE,gBAAgB,EAAE,MAAM,QAAQ,CAAC;AAI1C;;;;;;GAMG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,WAAW,EAAE,EAAE,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,gBAAgB,GAAG,WAAW,GAAG,SAAS,CAiEvI;AAED;;;;;;GAMG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,WAAW,EAAE,EAAE,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,gBAAgB,GAAG,WAAW,GAAG,SAAS,CAmEvI;AAED,wBAAgB,WAAW,CAAC,GAAG,EAAE,SAAS,GAAG,KAAK,GAAG,SAAS,CAQ7D;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,SAAS,GAAG,KAAK,GAAG,SAAS,CAQnE;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CAO3D;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,SAAS,GAAG,OAAO,CAQtD"}
@@ -5,7 +5,7 @@ export declare const text: (content: string) => ProseNode;
5
5
  export declare const mathDisplay: (content: string) => ProseNode;
6
6
  /** Construct markdown prosemirror node. */
7
7
  export declare const markdown: (content: string) => ProseNode;
8
- /** Construct coqcode prosemirror node. */
8
+ /** Construct code prosemirror node. */
9
9
  export declare const code: (content: string) => ProseNode;
10
10
  /** Construct input area prosemirror node. */
11
11
  export declare const inputArea: (childNodes: ProseNode[]) => ProseNode;
@@ -1 +1 @@
1
- {"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../../src/document/blocks/schema.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,IAAI,IAAI,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAItD,6CAA6C;AAC7C,eAAO,MAAM,IAAI,GAAI,SAAS,MAAM,KAAG,SAEtC,CAAA;AAED,+CAA+C;AAC/C,eAAO,MAAM,WAAW,GAAI,SAAS,MAAM,KAAG,SAE7C,CAAA;AAED,2CAA2C;AAC3C,eAAO,MAAM,QAAQ,GAAI,SAAS,MAAM,KAAG,SAE1C,CAAA;AAED,0CAA0C;AAC1C,eAAO,MAAM,IAAI,GAAI,SAAS,MAAM,KAAG,SAEtC,CAAA;AAID,6CAA6C;AAC7C,eAAO,MAAM,SAAS,GAAI,YAAY,SAAS,EAAE,KAAG,SAEnD,CAAA;AAED,uCAAuC;AACvC,eAAO,MAAM,IAAI,GAAI,OAAO,MAAM,EAAE,YAAY,SAAS,EAAE,KAAG,SAE7D,CAAA;AAED,4CAA4C;AAC5C,eAAO,MAAM,SAAS,GAAI,MAAM,MAAM,EAAE,YAAY,SAAS,EAAE,KAAG,SAEjE,CAAA;AAGD,eAAO,MAAM,OAAO,iBAEnB,CAAA;AAGD,eAAO,MAAM,IAAI,GAAI,YAAY,SAAS,EAAE,KAAG,SAE9C,CAAA"}
1
+ {"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../../src/document/blocks/schema.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,IAAI,IAAI,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAItD,6CAA6C;AAC7C,eAAO,MAAM,IAAI,GAAI,SAAS,MAAM,KAAG,SAEtC,CAAA;AAED,+CAA+C;AAC/C,eAAO,MAAM,WAAW,GAAI,SAAS,MAAM,KAAG,SAE7C,CAAA;AAED,2CAA2C;AAC3C,eAAO,MAAM,QAAQ,GAAI,SAAS,MAAM,KAAG,SAE1C,CAAA;AAED,uCAAuC;AACvC,eAAO,MAAM,IAAI,GAAI,SAAS,MAAM,KAAG,SAEtC,CAAA;AAID,6CAA6C;AAC7C,eAAO,MAAM,SAAS,GAAI,YAAY,SAAS,EAAE,KAAG,SAEnD,CAAA;AAED,uCAAuC;AACvC,eAAO,MAAM,IAAI,GAAI,OAAO,MAAM,EAAE,YAAY,SAAS,EAAE,KAAG,SAE7D,CAAA;AAED,4CAA4C;AAC5C,eAAO,MAAM,SAAS,GAAI,MAAM,MAAM,EAAE,YAAY,SAAS,EAAE,KAAG,SAEjE,CAAA;AAGD,eAAO,MAAM,OAAO,iBAEnB,CAAA;AAGD,eAAO,MAAM,IAAI,GAAI,YAAY,SAAS,EAAE,KAAG,SAE9C,CAAA"}
package/dist/editor.d.ts CHANGED
@@ -4,7 +4,7 @@ import "katex/dist/katex.min.css";
4
4
  import "prosemirror-view/style/prosemirror.css";
5
5
  import "./styles";
6
6
  import { Completion } from "@codemirror/autocomplete";
7
- /** Type that contains a coq diagnostics object fit for use in the ProseMirror editor context. */
7
+ /** Type that contains a diagnostics object fit for use in the ProseMirror editor context. */
8
8
  export type DiagnosticObjectProse = {
9
9
  message: string;
10
10
  start: number;
@@ -1 +1 @@
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
+ {"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,6FAA6F;AAC7F,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"}
@@ -5,7 +5,7 @@ import { MovementDirection, MovementUnit } from "./types";
5
5
  /**
6
6
  * A class implementing everything required to create an embedded codemirror editor for prosemirror.
7
7
  * Implements the `NodeView` prosemirror class. Can be extended to create custom codemirror editors like
8
- * the one used to edit markdown or coq.
8
+ * the one used to edit markdown or code.
9
9
  */
10
10
  export declare class EmbeddedCodeMirrorEditor implements NodeView {
11
11
  _getPos: (() => number | undefined);