@impermeable/waterproof-editor 0.13.0 → 0.14.1

package/dist/src/codeview/lang-pack/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/codeview/lang-pack/index.ts"],"names":[],"mappings":"AACA,OAAO,EACH,cAAc,EAAE,UAAU,EAAE,eAAe,EAC9C,MAAM,sBAAsB,CAAA;AAE7B,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAA;AAqBtC,eAAO,MAAM,cAAc,gBAUzB,CAAA;AAGF,eAAO,MAAM,eAAe,gBAU1B,CAAC;AAGH,eAAO,MAAM,WAAW,YAqFtB,CAAA;AAEF,wBAAgB,GAAG,oBAElB;AAED,wBAAgB,qBAAqB,CAAC,UAAU,EAAE,UAAU,yCAG3D"}

package/dist/src/codeview/lang-pack/print-grammar.d.ts

@@ -1,2 +0,0 @@
-export {};
-//# sourceMappingURL=print-grammar.d.ts.map

package/dist/src/codeview/lang-pack/print-grammar.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"print-grammar.d.ts","sourceRoot":"","sources":["../../../../src/codeview/lang-pack/print-grammar.ts"],"names":[],"mappings":""}

package/dist/src/codeview/lang-pack/syntax.d.ts

@@ -1,3 +0,0 @@
-import { LRParser } from "@lezer/lr";
-export declare const parser: LRParser;
-//# sourceMappingURL=syntax.d.ts.map

package/dist/src/codeview/lang-pack/syntax.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"syntax.d.ts","sourceRoot":"","sources":["../../../../src/codeview/lang-pack/syntax.ts"],"names":[],"mappings":"AACA,OAAO,EAAC,QAAQ,EAAkB,MAAM,WAAW,CAAA;AACnD,eAAO,MAAM,MAAM,UAajB,CAAA"}

package/dist/src/codeview/lang-pack/syntax.terms.d.ts

@@ -1,2 +0,0 @@
-export declare const Program = 1, Sentence = 2, Comment = 3, FocusOperation = 4, Bullet = 5, FocusBrace = 6, UnfocusBrace = 7, WaterproofTactic = 8, Argument = 16, And = 17, That = 19, As = 23, DefineSymbol = 30, In = 31, All = 35, AccordingTo = 37, SuchAn = 38, Magic = 40, It = 41, We = 44, Both = 48, Or = 50, Vernac = 52, Lemmas = 69, LemmaKeyword = 70, Definitions = 74, DefinitionKeyword = 75, ArgumentEnd = 79;
-//# sourceMappingURL=syntax.terms.d.ts.map

package/dist/src/codeview/lang-pack/syntax.terms.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"syntax.terms.d.ts","sourceRoot":"","sources":["../../../../src/codeview/lang-pack/syntax.terms.ts"],"names":[],"mappings":"AACA,eAAO,MACL,OAAO,IAAI,EACX,QAAQ,IAAI,EACZ,OAAO,IAAI,EACX,cAAc,IAAI,EAClB,MAAM,IAAI,EACV,UAAU,IAAI,EACd,YAAY,IAAI,EAChB,gBAAgB,IAAI,EACpB,QAAQ,KAAK,EACb,GAAG,KAAK,EACR,IAAI,KAAK,EACT,EAAE,KAAK,EACP,YAAY,KAAK,EACjB,EAAE,KAAK,EACP,GAAG,KAAK,EACR,WAAW,KAAK,EAChB,MAAM,KAAK,EACX,KAAK,KAAK,EACV,EAAE,KAAK,EACP,EAAE,KAAK,EACP,IAAI,KAAK,EACT,EAAE,KAAK,EACP,MAAM,KAAK,EACX,MAAM,KAAK,EACX,YAAY,KAAK,EACjB,WAAW,KAAK,EAChB,iBAAiB,KAAK,EACtB,WAAW,KAAK,CAAA"}

package/dist/src/codeview/nodeview.d.ts

@@ -1,63 +0,0 @@
-import { Completion, CompletionSource } from "@codemirror/autocomplete";
-import { Node, Schema } from "prosemirror-model";
-import { EditorView } from "prosemirror-view";
-import { EmbeddedCodeMirrorEditor } from "../embedded-codemirror";
-import { Diagnostic } from "@codemirror/lint";
-import { ThemeStyle } from "../api";
-import { WaterproofEditor } from "../editor";
-/**
- * Export CodeBlockView class that implements the custom codeblock nodeview.
- * Corresponds with the example as can be found here:
- * https://prosemirror.net/examples/codemirror/
- */
-export declare class CodeBlockView extends EmbeddedCodeMirrorEditor {
-    private readonly editorInstance;
-    dom: HTMLElement;
-    private _lineNumberCompartment;
-    private _lineNumbersExtension;
-    private _dynamicCompletions;
-    private _readOnlyCompartment;
-    private _themeCompartment;
-    private lastUsedDiagnosticsVersion;
-    constructor(node: Node, view: EditorView, editorInstance: WaterproofEditor, getPos: (() => number | undefined), schema: Schema, completions: Array<Completion>, symbols: Array<Completion>, initialThemeStyle: ThemeStyle);
-    dispatchEmpty(): void;
-    private partOfInputArea;
-    handleSnippet(template: string, posFrom: number, posTo: number, completion?: Completion | undefined): void;
-    /**
-     * set edit permission
-     */
-    setEditPermission(): void;
-    /**
-     * Update the theme of the editor.
-     */
-    updateThemeFromVSCode(theme: ThemeStyle): void;
-    /**
-     * Update the line numbers extension
-     */
-    updateLineNumbers(firstLineNo: number, toggleState: boolean): void;
-    /**
-     * This method needs to be called with the new list to update it.
-     */
-    handleNewComplete(newCompletions: Completion[]): void;
-    /**
-     * (Dynamic) Completion Source.
-     * Contains completions for defined theorems/lemmas/etc.
-     */
-    dynamicCompletionSource: CompletionSource;
-    /**
-     * The {@linkcode LintSource} to use for the codemirror instance.
-     * This will use the outer {@linkcode WaterproofEditor} to get diagnostics in the range of this
-     * codemirror view.
-     */
-    private lintingFunction;
-    /**
-     * Add a new coq error to this view
-     * @param from The from position of the error.
-     * @param to The to postion of the error (should be larger than `from`).
-     * @param message The message attached to this error.
-     * @param severity The severity attached to this error.
-     */
-    preprocessDiagnostic(from: number, to: number, message: string, severity: number): Diagnostic;
-    private showCopyNotification;
-}
-//# sourceMappingURL=nodeview.d.ts.map

package/dist/src/codeview/nodeview.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"nodeview.d.ts","sourceRoot":"","sources":["../../../src/codeview/nodeview.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAuC,gBAAgB,EAA+L,MAAM,0BAA0B,CAAC;AAQ1S,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAG7C,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,EAAsB,UAAU,EAAc,MAAM,kBAAkB,CAAC;AAE9E,OAAO,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AACpC,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAE7C;;;;GAIG;AACH,qBAAa,aAAc,SAAQ,wBAAwB;IAazD,OAAO,CAAC,QAAQ,CAAC,cAAc;IAZhC,GAAG,EAAE,WAAW,CAAC;IAEjB,OAAO,CAAC,sBAAsB,CAAc;IAC5C,OAAO,CAAC,qBAAqB,CAAY;IACzC,OAAO,CAAC,mBAAmB,CAAoB;IAC/C,OAAO,CAAC,oBAAoB,CAAc;IAC1C,OAAO,CAAC,iBAAiB,CAAc;IACvC,OAAO,CAAC,0BAA0B,CAAa;gBAG9C,IAAI,EAAE,IAAI,EACV,IAAI,EAAE,UAAU,EACC,cAAc,EAAE,gBAAgB,EACjD,MAAM,EAAE,CAAC,MAAM,MAAM,GAAG,SAAS,CAAC,EAClC,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC,EAC9B,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,EAC1B,iBAAiB,EAAE,UAAU;IAsOvB,aAAa;IAIpB,OAAO,CAAC,eAAe;IAWhB,aAAa,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,CAAC,EAAG,UAAU,GAAG,SAAS;IAQ3G;;OAEG;IACH,iBAAiB,IAAI,IAAI;IASzB;;OAEG;IACI,qBAAqB,CAAC,KAAK,EAAE,UAAU,GAAG,IAAI;IAQrD;;OAEG;IACH,iBAAiB,CAAC,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,GAAG,IAAI;IAWlE;;OAEG;IACH,iBAAiB,CAAC,cAAc,EAAE,UAAU,EAAE,GAAG,IAAI;IAIrD;;;OAGG;IACH,uBAAuB,EAAE,gBAAgB,CAYvC;IAEF;;;;OAIG;IACH,OAAO,CAAC,eAAe,CAiBtB;IAED;;;;;;OAMG;IACI,oBAAoB,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,UAAU;IAuEpG,OAAO,CAAC,oBAAoB;CAwB5B"}

package/dist/src/commands/command-helpers.d.ts

@@ -1,48 +0,0 @@
-import { NodeType, Node as PNode } from "prosemirror-model";
-import { EditorState, Transaction, Selection } from "prosemirror-state";
-/**
- * Get a selection type object from a user selection.
- * @param sel Input user selection.
- * @returns Object that stores booleans whether we have a text or node selection.
- */
-export declare function selectionType(sel: Selection): {
-    isTextSelection: boolean;
-    isNodeSelection: boolean;
-};
-export declare function getNearestPosOutsideCoqblock(sel: Selection, _state: EditorState): {
-    start: number;
-    end: number;
-};
-/**
- * Helper function for inserting a new node above the currently selected one.
- * @param state The current editor state.
- * @param tr The current transaction for the state of the editor.
- * @param escapeContainingNode Whether to escape the containing node.
- * @param nodeType Array of nodes to insert. Depending on the node type this will be either one or more
- * (coqcode outside of a coqblock needs to be enclosed within a new coqblock)
- * @returns An insertion transaction.
- */
-export declare function insertAbove(state: EditorState, tr: Transaction, ...nodeType: NodeType[]): Transaction;
-/**
- * Helper function for inserting a new node underneath the currently selected one.
- * @param state The current editor state.
- * @param tr The current transaction for the state of the editor.
- * @param escapeContainingNode Whether to escape the containing node.
- * @param nodeType Array of nodes to insert. Depending on the node type this will be either one or more
- * (coqcode outside of a coqblock needs to be enclosed within a new coqblock)
- * @returns An insertion transaction.
- */
-export declare function insertUnder(state: EditorState, tr: Transaction, ...nodeType: NodeType[]): Transaction;
-/**
- * Returns the containing node for the current selection.
- * @param sel The user's selection.
- * @returns The node containing this selection. Will *not* return text nodes.
- */
-export declare function getContainingNode(sel: Selection): PNode | undefined;
-export declare function allowedToInsert(state: EditorState): boolean;
-/**
- * Helper function for checking if the selection is within an input area.
- * @returns Whether the selection is within an input area.
- */
-export declare function checkInputArea(sel: Selection): boolean;
-//# sourceMappingURL=command-helpers.d.ts.map

package/dist/src/commands/command-helpers.d.ts.map

@@ -1 +0,0 @@
-{"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;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,SAAS;;;EAK3C;AAED,wBAAgB,4BAA4B,CAAC,GAAG,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW;;;EAa/E;AAED;;;;;;;;GAQG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,WAAW,EAAE,EAAE,EAAE,WAAW,EAAE,GAAG,QAAQ,EAAE,QAAQ,EAAE,GAAG,WAAW,CAwBrG;AAED;;;;;;;;GAQG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,WAAW,EAAE,EAAE,EAAE,WAAW,EAAE,GAAG,QAAQ,EAAE,QAAQ,EAAE,GAAG,WAAW,CA8BrG;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,SAAS,GAAG,KAAK,GAAG,SAAS,CAUnE;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CAS3D;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,SAAS,GAAG,OAAO,CAOtD"}

package/dist/src/commands/commands.d.ts

@@ -1,30 +0,0 @@
-import { Schema } from "prosemirror-model";
-import { Command } from "prosemirror-state";
-import { InsertionPlace } from "./types";
-import { FileFormat } from "../api";
-/**
- * Creates a command that creates a new code cell above/underneath the currently selected node.
- * @param schema The schema to use
- * @param filef The format of the currently opened file.
- * @param insertionPlace The place to insert the new node into: Underneath or Above the current node.
- * @returns The `Command`.
- */
-export declare function cmdInsertCode(schema: Schema, filef: FileFormat, insertionPlace: InsertionPlace): Command;
-/**
- * Creates a command that creates a new markdown cell underneath/above the currently selected node.
- * @param schema The schema to use
- * @param filef The fileformat of the file currently opened.
- * @param insertionPlace The place to insert at: Above or Underneath current node.
- * @returns The `Command`.
- */
-export declare function cmdInsertMarkdown(schema: Schema, filef: FileFormat, insertionPlace: InsertionPlace): Command;
-/**
- * Returns a command that inserts a new Display Math cell above/underneath the currently selected cell.
- * @param schema The schema in use.
- * @param filef The file format of the current file.
- * @param insertionPlace The place to insert the node at Above or Underneath the current node.
- * @returns The `Command`
- */
-export declare function cmdInsertLatex(schema: Schema, filef: FileFormat, insertionPlace: InsertionPlace): Command;
-export declare const liftWrapper: Command;
-//# sourceMappingURL=commands.d.ts.map

package/dist/src/commands/commands.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"commands.d.ts","sourceRoot":"","sources":["../../../src/commands/commands.ts"],"names":[],"mappings":"AAAA,OAAO,EAAa,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,OAAO,EAA2C,MAAM,mBAAmB,CAAC;AAErF,OAAO,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC;AAIzC,OAAO,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AAoBpC;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,cAAc,GAAG,OAAO,CAMxG;AAgBD;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,cAAc,GAAG,OAAO,CAO5G;AASD;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,cAAc,GAAG,OAAO,CAKzG;AAED,eAAO,MAAM,WAAW,EAAE,OAqBzB,CAAA"}

package/dist/src/commands/delete-command.d.ts

@@ -1,4 +0,0 @@
-import { EditorState, Transaction } from "prosemirror-state";
-import { EditorView } from "prosemirror-view";
-export declare function deleteNodeIfEmpty(state: EditorState, dispatch?: ((tr: Transaction) => void), _view?: EditorView): boolean;
-//# sourceMappingURL=delete-command.d.ts.map

package/dist/src/commands/delete-command.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"delete-command.d.ts","sourceRoot":"","sources":["../../../src/commands/delete-command.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,WAAW,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,WAAW,KAAK,IAAI,CAAC,EAAE,KAAK,CAAC,EAAE,UAAU,GAAG,OAAO,CAmBzH"}

package/dist/src/commands/index.d.ts

@@ -1,4 +0,0 @@
-export { deleteNodeIfEmpty } from "./delete-command";
-export { cmdInsertCode, cmdInsertLatex, cmdInsertMarkdown, liftWrapper } from "./commands";
-export { InsertionPlace } from "./types";
-//# sourceMappingURL=index.d.ts.map

package/dist/src/commands/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/commands/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAErD,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAC3F,OAAO,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC"}

package/dist/src/commands/insert-command.d.ts

@@ -1,34 +0,0 @@
-import { Command } from "prosemirror-state";
-import { FileFormat } from "../api/FileFormat";
-import { InsertionFunction, InsertionPlace } from "./types";
-import { NodeType } from "prosemirror-model";
-/**
- * Return a Markdown insertion command.
- * @param filef The file format of the file in use.
- * @param insertionFunction The function used to insert the node into the editor.
- * @param place Where to insert the node into the editor. Either Above or Underneath the currently selected node.
- * @param mvNodeType The node to use in the case of a `.mv` file.
- * @param vNodeType The node to use in the case of a `.v` file.
- * @returns The insertion command.
- */
-export declare function getMdInsertCommand(filef: FileFormat, insertionFunction: InsertionFunction, place: InsertionPlace, mvNodeType: NodeType, vNodeType: NodeType): Command;
-/**
- * Returns an insertion command for insertion display latex into the editor.
- * @param filef The file format of the file currently being edited.
- * @param insertionFunction The insertion function to use.
- * @param place The place to insert into, either Above or Underneath the currently selected node.
- * @param latexNodeType The node type for a 'display latex' node.
- * @returns The insertion command.
- */
-export declare function getLatexInsertCommand(filef: FileFormat, insertionFunction: InsertionFunction, place: InsertionPlace, latexNodeType: NodeType): Command;
-/**
- * Returns an insertion command for inserting a new coq code cell. Will create a new coqblock if necessary.
- * @param filef The file format of the file that is being edited.
- * @param insertionFunction The insertion function to use.
- * @param place The place of insertion, either Above or Underneath the currently selected node.
- * @param coqblockNodeType The node type of a coqblock node (contains coqdoc and coqcode).
- * @param coqcodeNodeType The node type of a coqcode node.
- * @returns The insertion command.
- */
-export declare function getCodeInsertCommand(filef: FileFormat, insertionFunction: InsertionFunction, place: InsertionPlace, coqblockNodeType: NodeType, coqcodeNodeType: NodeType): Command;
-//# sourceMappingURL=insert-command.d.ts.map

package/dist/src/commands/insert-command.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"insert-command.d.ts","sourceRoot":"","sources":["../../../src/commands/insert-command.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAA4B,MAAM,mBAAmB,CAAC;AACtE,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAC/C,OAAO,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC;AAC5D,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAI7C;;;;;;;;GAQG;AACH,wBAAgB,kBAAkB,CAC9B,KAAK,EAAE,UAAU,EACjB,iBAAiB,EAAE,iBAAiB,EACpC,KAAK,EAAE,cAAc,EACrB,UAAU,EAAE,QAAQ,EACpB,SAAS,EAAE,QAAQ,GACpB,OAAO,CA2CT;AAED;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CACjC,KAAK,EAAE,UAAU,EACjB,iBAAiB,EAAE,iBAAiB,EACpC,KAAK,EAAE,cAAc,EACrB,aAAa,EAAE,QAAQ,GACxB,OAAO,CAmCT;AAED;;;;;;;;GAQG;AACH,wBAAgB,oBAAoB,CAChC,KAAK,EAAE,UAAU,EACjB,iBAAiB,EAAE,iBAAiB,EACpC,KAAK,EAAE,cAAc,EACrB,gBAAgB,EAAE,QAAQ,EAC1B,eAAe,EAAE,QAAQ,GAC1B,OAAO,CAkCT"}

package/dist/src/commands/types.d.ts

@@ -1,15 +0,0 @@
-import { NodeType } from "prosemirror-model";
-import { EditorState, Transaction } from "prosemirror-state";
-/**
- * Enum for the insertion place, can be either `Above` or `Underneath` the currently selected cell.
- */
-export declare enum InsertionPlace {
-    Above = 0,
-    Underneath = 1
-}
-/**
- * Insertion function type. This type of function is passed to the `get...Command` functions. The function will insert
- * the correct NodeType either above or below the selected node.
- */
-export type InsertionFunction = (state: EditorState, trans: Transaction, ...nodeType: NodeType[]) => Transaction;
-//# sourceMappingURL=types.d.ts.map

package/dist/src/commands/types.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/commands/types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC7C,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAE7D;;GAEG;AACH,oBAAY,cAAc;IACtB,KAAK,IAAA;IACL,UAAU,IAAA;CACb;AAED;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GAAG,CAAC,KAAK,EAAE,WAAW,EAAE,KAAK,EAAE,WAAW,EAAE,GAAG,QAAQ,EAAE,QAAQ,EAAE,KAAK,WAAW,CAAC"}

package/dist/src/context-menu/index.d.ts

@@ -1,2 +0,0 @@
-export { createContextMenuHTML } from "./menu";
-//# sourceMappingURL=index.d.ts.map

package/dist/src/context-menu/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/context-menu/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,qBAAqB,EAAE,MAAM,QAAQ,CAAC"}

package/dist/src/context-menu/menu.d.ts

@@ -1,8 +0,0 @@
-import { WaterproofEditor } from "../editor";
-/**
- * Creates a context menu given the current editor.
- * @param editor The editor in use.
- * @returns HTMLDivElement storing the context menu element.
- */
-export declare function createContextMenuHTML(editor: WaterproofEditor): HTMLDivElement;
-//# sourceMappingURL=menu.d.ts.map

package/dist/src/context-menu/menu.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"menu.d.ts","sourceRoot":"","sources":["../../../src/context-menu/menu.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAE7C;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,gBAAgB,GAAG,cAAc,CAmB9E"}

package/dist/src/document/blocks/block.d.ts

@@ -1,24 +0,0 @@
-import { Node as ProseNode } from "prosemirror-model";
-export declare enum BLOCK_NAME {
-    COQ = "coq",
-    MATH_DISPLAY = "math_display",
-    INPUT_AREA = "input_area",
-    HINT = "hint",
-    MARKDOWN = "markdown",
-    COQ_MARKDOWN = "coqdown",
-    COQ_CODE = "coq_code",
-    COQ_DOC = "coq_doc"
-}
-export interface BlockRange {
-    from: number;
-    to: number;
-}
-export interface Block {
-    type: string;
-    stringContent: string;
-    range: BlockRange;
-    innerBlocks?: Block[];
-    toProseMirror(): ProseNode;
-    debugPrint(level: number): void;
-}
-//# sourceMappingURL=block.d.ts.map

package/dist/src/document/blocks/block.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"block.d.ts","sourceRoot":"","sources":["../../../../src/document/blocks/block.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,IAAI,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAGtD,oBAAY,UAAU;IAClB,GAAG,QAAQ;IACX,YAAY,iBAAiB;IAC7B,UAAU,eAAe;IACzB,IAAI,SAAS;IACb,QAAQ,aAAa;IACrB,YAAY,YAAY;IACxB,QAAQ,aAAa;IACrB,OAAO,YAAY;CACtB;AAED,MAAM,WAAW,UAAU;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,KAAK;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,aAAa,EAAE,MAAM,CAAC;IACtB,KAAK,EAAE,UAAU,CAAC;IAElB,WAAW,CAAC,EAAE,KAAK,EAAE,CAAC;IAEtB,aAAa,IAAI,SAAS,CAAC;IAC3B,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;CACnC"}

package/dist/src/document/blocks/blocktypes.d.ts

@@ -1,78 +0,0 @@
-import { BLOCK_NAME, Block, BlockRange } from "./block";
-export declare class InputAreaBlock implements Block {
-    stringContent: string;
-    range: BlockRange;
-    type: BLOCK_NAME;
-    innerBlocks: Block[];
-    constructor(stringContent: string, range: BlockRange, innerBlockConstructor: (content: string) => Block[]);
-    toProseMirror(): import("prosemirror-model").Node;
-    debugPrint(level: number): void;
-}
-export declare class HintBlock implements Block {
-    stringContent: string;
-    title: string;
-    range: BlockRange;
-    type: BLOCK_NAME;
-    innerBlocks: Block[];
-    constructor(stringContent: string, title: string, range: BlockRange, innerBlockConstructor: (content: string) => Block[]);
-    toProseMirror(): import("prosemirror-model").Node;
-    debugPrint(level: number): void;
-}
-export declare class MathDisplayBlock implements Block {
-    stringContent: string;
-    range: BlockRange;
-    type: BLOCK_NAME;
-    constructor(stringContent: string, range: BlockRange);
-    toProseMirror(): import("prosemirror-model").Node;
-    debugPrint(level: number): void;
-}
-export declare class CoqBlock implements Block {
-    stringContent: string;
-    prePreWhite: string;
-    prePostWhite: string;
-    postPreWhite: string;
-    postPostWhite: string;
-    range: BlockRange;
-    type: BLOCK_NAME;
-    innerBlocks: Block[];
-    constructor(stringContent: string, prePreWhite: string, prePostWhite: string, postPreWhite: string, postPostWhite: string, range: BlockRange, innerBlockConstructor: (content: string) => Block[]);
-    toProseMirror(): import("prosemirror-model").Node;
-    debugPrint(level: number): void;
-}
-export declare class MarkdownBlock implements Block {
-    stringContent: string;
-    range: BlockRange;
-    type: BLOCK_NAME;
-    isNewLineOnly: boolean;
-    constructor(stringContent: string, range: BlockRange);
-    toProseMirror(): import("prosemirror-model").Node;
-    debugPrint(level: number): void;
-}
-export declare class CoqDocBlock implements Block {
-    stringContent: string;
-    preWhite: string;
-    postWhite: string;
-    range: BlockRange;
-    type: BLOCK_NAME;
-    innerBlocks: Block[];
-    constructor(stringContent: string, preWhite: string, postWhite: string, range: BlockRange, innerBlockConstructor: (content: string) => Block[]);
-    toProseMirror(): import("prosemirror-model").Node;
-    debugPrint(level?: number): void;
-}
-export declare class CoqMarkdownBlock implements Block {
-    stringContent: string;
-    range: BlockRange;
-    type: BLOCK_NAME;
-    constructor(stringContent: string, range: BlockRange);
-    toProseMirror(): import("prosemirror-model").Node;
-    debugPrint(level: number): void;
-}
-export declare class CoqCodeBlock implements Block {
-    stringContent: string;
-    range: BlockRange;
-    type: BLOCK_NAME;
-    constructor(stringContent: string, range: BlockRange);
-    toProseMirror(): import("prosemirror-model").Node;
-    debugPrint(level: number): void;
-}
-//# sourceMappingURL=blocktypes.d.ts.map

package/dist/src/document/blocks/blocktypes.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"blocktypes.d.ts","sourceRoot":"","sources":["../../../../src/document/blocks/blocktypes.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAOxD,qBAAa,cAAe,YAAW,KAAK;IAIpB,aAAa,EAAE,MAAM;IAAS,KAAK,EAAE,UAAU;IAH5D,IAAI,aAAyB;IAC7B,WAAW,EAAE,KAAK,EAAE,CAAC;gBAER,aAAa,EAAE,MAAM,EAAS,KAAK,EAAE,UAAU,EAAE,qBAAqB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,KAAK,EAAE;IAIxH,aAAa;IAMb,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;CAKlC;AAED,qBAAa,SAAU,YAAW,KAAK;IAKf,aAAa,EAAE,MAAM;IAAS,KAAK,EAAE,MAAM;IAAS,KAAK,EAAE,UAAU;IAJlF,IAAI,aAAmB;IACvB,WAAW,EAAE,KAAK,EAAE,CAAC;gBAGR,aAAa,EAAE,MAAM,EAAS,KAAK,EAAE,MAAM,EAAS,KAAK,EAAE,UAAU,EAAE,qBAAqB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,KAAK,EAAE;IAI9I,aAAa;IAOb,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;CAKlC;AAED,qBAAa,gBAAiB,YAAW,KAAK;IAEtB,aAAa,EAAE,MAAM;IAAS,KAAK,EAAE,UAAU;IAD5D,IAAI,aAA2B;gBAClB,aAAa,EAAE,MAAM,EAAS,KAAK,EAAE,UAAU;IAEnE,aAAa;IAKb,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;CAGlC;AAED,qBAAa,QAAS,YAAW,KAAK;IAId,aAAa,EAAE,MAAM;IAAS,WAAW,EAAE,MAAM;IAAS,YAAY,EAAE,MAAM;IAAS,YAAY,EAAE,MAAM;IAAS,aAAa,EAAG,MAAM;IAAS,KAAK,EAAE,UAAU;IAHjL,IAAI,aAAkB;IACtB,WAAW,EAAE,KAAK,EAAE,CAAC;gBAER,aAAa,EAAE,MAAM,EAAS,WAAW,EAAE,MAAM,EAAS,YAAY,EAAE,MAAM,EAAS,YAAY,EAAE,MAAM,EAAS,aAAa,EAAG,MAAM,EAAS,KAAK,EAAE,UAAU,EAAE,qBAAqB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,KAAK,EAAE;IAI7O,aAAa;IAYb,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;CAKlC;AAED,qBAAa,aAAc,YAAW,KAAK;IAInB,aAAa,EAAE,MAAM;IAAS,KAAK,EAAE,UAAU;IAH5D,IAAI,aAAuB;IAC3B,aAAa,UAAS;gBAET,aAAa,EAAE,MAAM,EAAS,KAAK,EAAE,UAAU;IAInE,aAAa;IAKb,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;CAGlC;AAED,qBAAa,WAAY,YAAW,KAAK;IAIjB,aAAa,EAAE,MAAM;IAAS,QAAQ,EAAE,MAAM;IAAS,SAAS,EAAE,MAAM;IAAS,KAAK,EAAE,UAAU;IAH/G,IAAI,aAAsB;IAC1B,WAAW,EAAE,KAAK,EAAE,CAAC;gBAER,aAAa,EAAE,MAAM,EAAS,QAAQ,EAAE,MAAM,EAAS,SAAS,EAAE,MAAM,EAAS,KAAK,EAAE,UAAU,EAAE,qBAAqB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,KAAK,EAAE;IAI3K,aAAa;IAMb,UAAU,CAAC,KAAK,GAAE,MAAU;CAK/B;AAED,qBAAa,gBAAiB,YAAW,KAAK;IAGtB,aAAa,EAAE,MAAM;IAAS,KAAK,EAAE,UAAU;IAF5D,IAAI,aAA2B;gBAElB,aAAa,EAAE,MAAM,EAAS,KAAK,EAAE,UAAU;IAEnE,aAAa;IAMb,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;CAGlC;AAED,qBAAa,YAAa,YAAW,KAAK;IAGlB,aAAa,EAAE,MAAM;IAAS,KAAK,EAAE,UAAU;IAF5D,IAAI,aAAuB;gBAEd,aAAa,EAAE,MAAM,EAAS,KAAK,EAAE,UAAU;IAEnE,aAAa;IASb,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;CAGlC"}

package/dist/src/document/blocks/index.d.ts

@@ -1,3 +0,0 @@
-export { BlockRange, Block } from "./block";
-export { InputAreaBlock, HintBlock, CoqBlock, MathDisplayBlock, MarkdownBlock, CoqDocBlock, CoqCodeBlock, CoqMarkdownBlock } from "./blocktypes";
-//# sourceMappingURL=index.d.ts.map

package/dist/src/document/blocks/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/document/blocks/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAE5C,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,QAAQ,EAAE,gBAAgB,EAAE,aAAa,EAAE,WAAW,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC"}

package/dist/src/document/blocks/schema.d.ts

@@ -1,21 +0,0 @@
-import { Node as ProseNode } from "prosemirror-model";
-/** Construct basic prosemirror text node. */
-export declare const text: (content: string) => ProseNode;
-/** Construct coq markdown prosemirror node. */
-export declare const coqMarkdown: (content: string) => ProseNode;
-/** Construct math display prosemirror node. */
-export declare const mathDisplay: (content: string) => ProseNode;
-/** Construct markdown prosemirror node. */
-export declare const markdown: (content: string) => ProseNode;
-/** Construct coqcode prosemirror node. */
-export declare const coqCode: (content: string) => ProseNode;
-/** Construct input area prosemirror node. */
-export declare const inputArea: (childNodes: ProseNode[]) => ProseNode;
-/** Construct hint prosemirror node. */
-export declare const hint: (title: string, childNodes: ProseNode[]) => ProseNode;
-/** Construct coq prosemirror node. */
-export declare const coqblock: (childNodes: ProseNode[], prePreWhite: string, prePostWhite: string, postPreWhite: string, postPostWhite: string) => ProseNode;
-/** Construct coqdoc prosemirror node. */
-export declare const coqDoc: (childNodes: ProseNode[], preWhite: string, postWhite: string) => ProseNode;
-export declare const root: (childNodes: ProseNode[]) => ProseNode;
-//# sourceMappingURL=schema.d.ts.map

package/dist/src/document/blocks/schema.d.ts.map

@@ -1 +0,0 @@
-{"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,+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,OAAO,GAAI,SAAS,MAAM,KAAG,SAEzC,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,sCAAsC;AACtC,eAAO,MAAM,QAAQ,GAAI,YAAY,SAAS,EAAE,EAAE,aAAa,MAAM,EAAE,cAAc,MAAM,EAAE,cAAc,MAAM,EAAE,eAAe,MAAM,KAAG,SAE1I,CAAA;AAED,yCAAyC;AACzC,eAAO,MAAM,MAAM,GAAI,YAAY,SAAS,EAAE,EAAE,UAAU,MAAM,EAAE,WAAW,MAAM,KAAG,SAErF,CAAA;AAGD,eAAO,MAAM,IAAI,GAAI,YAAY,SAAS,EAAE,KAAG,SAE9C,CAAA"}

package/dist/src/document/blocks/typeguards.d.ts

@@ -1,11 +0,0 @@
-import { Block } from "./block";
-import { CoqBlock, CoqCodeBlock, CoqDocBlock, CoqMarkdownBlock, HintBlock, InputAreaBlock, MarkdownBlock, MathDisplayBlock } from "./blocktypes";
-export declare const isInputAreaBlock: (block: Block) => block is InputAreaBlock;
-export declare const isHintBlock: (block: Block) => block is HintBlock;
-export declare const isMathDisplayBlock: (block: Block) => block is MathDisplayBlock;
-export declare const isCoqBlock: (block: Block) => block is CoqBlock;
-export declare const isMarkdownBlock: (block: Block) => block is MarkdownBlock;
-export declare const isCoqMarkdownBlock: (block: Block) => block is CoqMarkdownBlock;
-export declare const isCoqDocBlock: (block: Block) => block is CoqDocBlock;
-export declare const isCoqCodeBlock: (block: Block) => block is CoqCodeBlock;
-//# sourceMappingURL=typeguards.d.ts.map

package/dist/src/document/blocks/typeguards.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"typeguards.d.ts","sourceRoot":"","sources":["../../../../src/document/blocks/typeguards.ts"],"names":[],"mappings":"AAAA,OAAO,EAAc,KAAK,EAAE,MAAM,SAAS,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,WAAW,EAAE,gBAAgB,EAAE,SAAS,EAAE,cAAc,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAEjJ,eAAO,MAAM,gBAAgB,GAAI,OAAO,KAAK,KAAG,KAAK,IAAI,cAAsD,CAAC;AAChH,eAAO,MAAM,WAAW,GAAI,OAAO,KAAK,KAAG,KAAK,IAAI,SAA2C,CAAC;AAChG,eAAO,MAAM,kBAAkB,GAAI,OAAO,KAAK,KAAG,KAAK,IAAI,gBAA0D,CAAC;AACtH,eAAO,MAAM,UAAU,GAAI,OAAO,KAAK,KAAG,KAAK,IAAI,QAAyC,CAAC;AAC7F,eAAO,MAAM,eAAe,GAAI,OAAO,KAAK,KAAG,KAAK,IAAI,aAAmD,CAAC;AAC5G,eAAO,MAAM,kBAAkB,GAAI,OAAO,KAAK,KAAG,KAAK,IAAI,gBAA0D,CAAC;AACtH,eAAO,MAAM,aAAa,GAAI,OAAO,KAAK,KAAG,KAAK,IAAI,WAAgD,CAAC;AACvG,eAAO,MAAM,cAAc,GAAI,OAAO,KAAK,KAAG,KAAK,IAAI,YAAkD,CAAC"}

package/dist/src/document/construct-document.d.ts

@@ -1,4 +0,0 @@
-import { Block } from "./blocks";
-import { Node as ProseNode } from "prosemirror-model";
-export declare function constructDocument(blocks: Block[]): ProseNode;
-//# sourceMappingURL=construct-document.d.ts.map

package/dist/src/document/construct-document.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"construct-document.d.ts","sourceRoot":"","sources":["../../../src/document/construct-document.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,UAAU,CAAC;AAEjC,OAAO,EAAE,IAAI,IAAI,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAGtD,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,SAAS,CAG5D"}

package/dist/src/document/index.d.ts

@@ -1,5 +0,0 @@
-export { constructDocument } from "./construct-document";
-export * from "./blocks";
-export * as "typeguards" from "./blocks/typeguards";
-export * as "utils" from "./utils";
-//# sourceMappingURL=index.d.ts.map

package/dist/src/document/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/document/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,cAAc,UAAU,CAAC;AACzB,OAAO,KAAK,YAAY,MAAM,qBAAqB,CAAC;AACpD,OAAO,KAAK,OAAO,MAAM,SAAS,CAAC"}

package/dist/src/document/utils.d.ts

@@ -1,49 +0,0 @@
-import { Block, BlockRange } from "./blocks";
-/**
- * Convert a list of blocks to a prosemirror compatible node list.
- * @param blocks Input array of blocks.
- * @returns ProseMirror nodes.
- */
-export declare function blocksToProseMirrorNodes(blocks: Block[]): import("prosemirror-model").Node[];
-/**
- * Helper function to sort block type objects. Will sort based on the range object of the block.
- * Sorts in ascending (`range.from`) order.
- * @param blocks Blocks to sort.
- * @returns Sorted array of blocks.
- */
-export declare function sortBlocks(blocks: Block[]): Block[];
-/**
- * Map `f` over every consecutive pair from the `input` array.
- * @param input Input array.
- * @param f Function to map over the pairs.
- * @returns The result of mapping `f` over every consecutive pair. Will return an empty array if the input array has length < 2.
- */
-export declare function iteratePairs<ArrayType, FunctionReturnType>(input: Array<ArrayType>, f: (a: ArrayType, b: ArrayType) => FunctionReturnType): FunctionReturnType[];
-/**
- * Utility function to extract the ranges between blocks (ie. the ranges that are not covered by the blocks).
- * @param blocks The input array of block.
- * @param inputDocument The document the blocks are part of.
- * @returns The ranges between the blocks.
- */
-export declare function extractInterBlockRanges(blocks: Array<Block>, inputDocument: string): BlockRange[];
-/**
- * Utility function to mask regions of a document covered by blocks.
- * @param inputDocument The input document on which to apply the masking.
- * @param blocks The blocks that will mask content from the input document.
- * @param mask The mask to use (defaults to `" "`).
- * @returns The document (`string`) with the ranges covered by the blocks in `blocks` masked using `mask`.
- */
-export declare function maskInputAndHints(inputDocument: string, blocks: Block[], mask?: string): string;
-/**
- * Create blocks based on ranges.
- *
- * Extracts the text content of the ranges and creates blocks from them.
- */
-export declare function extractBlocksUsingRanges<BlockType extends Block>(inputDocument: string, ranges: {
-    from: number;
-    to: number;
-}[], BlockConstructor: new (content: string, range: {
-    from: number;
-    to: number;
-}) => BlockType): BlockType[];
-//# sourceMappingURL=utils.d.ts.map

package/dist/src/document/utils.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../../src/document/utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAE7C;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,KAAK,EAAE,sCAEvD;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,MAAM,EAAE,KAAK,EAAE,WAEzC;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,SAAS,EAAE,kBAAkB,EAAE,KAAK,EAAE,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,KAAK,kBAAkB,wBAEzI;AAGD;;;;;GAKG;AACH,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,aAAa,EAAE,MAAM,GAAG,UAAU,EAAE,CAcjG;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,aAAa,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,IAAI,GAAE,MAAY,GAAG,MAAM,CAMpG;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,SAAS,SAAS,KAAK,EAC5D,aAAa,EAAE,MAAM,EACrB,MAAM,EAAE;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAC,EAAE,EACpC,gBAAgB,EAAE,KAAK,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,KAAK,SAAS,GAAI,SAAS,EAAE,CAS3G"}

package/dist/src/documentProgressDecorator.d.ts

@@ -1,9 +0,0 @@
-import { Plugin, PluginKey } from 'prosemirror-state';
-export interface IDocumentProgressDecoratorState {
-    total: number;
-    progressHeightLow: number;
-    progressHeightHigh: number;
-}
-export declare const DOCUMENT_PROGRESS_DECORATOR_KEY: PluginKey<IDocumentProgressDecoratorState>;
-export declare const documentProgressDecoratorPlugin: Plugin<IDocumentProgressDecoratorState>;
-//# sourceMappingURL=documentProgressDecorator.d.ts.map

package/dist/src/documentProgressDecorator.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"documentProgressDecorator.d.ts","sourceRoot":"","sources":["../../src/documentProgressDecorator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,SAAS,EAAc,MAAM,mBAAmB,CAAC;AAGlE,MAAM,WAAW,+BAA+B;IAC9C,KAAK,EAAE,MAAM,CAAC;IACd,iBAAiB,EAAE,MAAM,CAAC;IAC1B,kBAAkB,EAAE,MAAM,CAAC;CAC5B;AAGD,eAAO,MAAM,+BAA+B,4CAA4F,CAAC;AA+DzI,eAAO,MAAM,+BAA+B,yCAAkD,CAAC"}