@impermeable/waterproof-editor 0.12.0 → 0.14.0

package/dist/inputArea.d.ts

@@ -1,12 +1,11 @@
 import { Plugin, PluginKey } from "prosemirror-state";
 /**
  * Interface describing the state of the input are plugin.
- * Contains fields `locked: boolean` indicating wether non-input areas should be locked (ie. non-teacher mode) and
- * `globalLock: boolean` indicating that we are in a global lockdown state (caused by an unrecoverable error).
+ * Contains field `teacher: boolean` indicating wether we are in teacher mode
+ * (in teacher mode content outside of input areas should be editable)
  */
 export interface IInputAreaPluginState {
     teacher: boolean;
-    globalLock: boolean;
 }
 /** The plugin key for the input area plugin */
 export declare const INPUT_AREA_PLUGIN_KEY: PluginKey<IInputAreaPluginState>;

package/dist/inputArea.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"inputArea.d.ts","sourceRoot":"","sources":["../src/inputArea.ts"],"names":[],"mappings":"AAAA,OAAO,EAAe,MAAM,EAAE,SAAS,EAA2B,MAClE,mBAAmB,CAAC;AAEpB;;;;GAIG;AACH,MAAM,WAAW,qBAAqB;IACrC,OAAO,EAAE,OAAO,CAAC;IACd,UAAU,EAAE,OAAO,CAAC;CACvB;AAED,+CAA+C;AAC/C,eAAO,MAAM,qBAAqB,kCAA8D,CAAC;AAiFjG,eAAO,MAAM,eAAe,+BAAkC,CAAC"}
+{"version":3,"file":"inputArea.d.ts","sourceRoot":"","sources":["../src/inputArea.ts"],"names":[],"mappings":"AAAA,OAAO,EAAe,MAAM,EAAE,SAAS,EAA2B,MAAM,mBAAmB,CAAC;AAG5F;;;;GAIG;AACH,MAAM,WAAW,qBAAqB;IACrC,OAAO,EAAE,OAAO,CAAC;CACjB;AAED,+CAA+C;AAC/C,eAAO,MAAM,qBAAqB,kCAA8D,CAAC;AAwDjG,eAAO,MAAM,eAAe,+BAAkC,CAAC"}

package/dist/mapping/Tree.d.ts

@@ -0,0 +1,91 @@
+export declare class TreeNode {
+    /** The type of this node, should be in the WaterproofSchema schema */
+    type: string;
+    /** The inner range of the node, that is, the range of the content */
+    contentRange: {
+        to: number;
+        from: number;
+    };
+    /** The outer range of the node, that is, the range of the content including possible tags */
+    tagRange: {
+        to: number;
+        from: number;
+    };
+    /** The title of a node, only relevant for hint nodes */
+    title: string;
+    /** The computed start position in ProseMirror, this is the prosemirror position at which the content starts.
+     * Thus, for nodes with content this includes a +1 due to stepping in to the node.
+     * For newlines, there is no content, so the start points directly before the newline.
+     */
+    prosemirrorStart: number;
+    /** The computed end position in ProseMirror */
+    prosemirrorEnd: number;
+    pmRange: {
+        from: number;
+        to: number;
+    };
+    lineStart: number;
+    /** Potential children of this tree node */
+    children: TreeNode[];
+    constructor(type: string, contentRange: {
+        to: number;
+        from: number;
+    }, tagRange: {
+        to: number;
+        from: number;
+    }, title: string, prosemirrorStart: number, prosemirrorEnd: number, pmRange: {
+        to: number;
+        from: number;
+    }, lineStart: number);
+    addChild(child: TreeNode): void;
+    removeChild(child: TreeNode): void;
+    shiftCloseOffsets(offset: number, offsetProsemirror?: number): void;
+    shiftOffsets(offset: number, offsetProsemirror?: number): void;
+    shiftLineStart(offset: number): void;
+    traverseDepthFirst(callback: (node: TreeNode) => void): void;
+}
+export declare class Tree {
+    root: TreeNode;
+    constructor(type: string, contentRange: {
+        from: number;
+        to: number;
+    }, range: {
+        from: number;
+        to: number;
+    }, title: string, prosemirrorStart: number, prosemirrorEnd: number, pmRange: {
+        from: number;
+        to: number;
+    }, lineStart: number);
+    traverseDepthFirst(callback: (node: TreeNode) => void, node?: TreeNode): void;
+    /**
+     * Finds the highest (closest to root) node that contains the given prosemirror position
+     */
+    findHighestContainingNode(pos: number, node?: TreeNode): TreeNode;
+    findParent(target: TreeNode, node?: TreeNode | null, parent?: TreeNode | null): TreeNode | null;
+    findNodeByOriginalPosition(pos: number, node?: TreeNode | null): TreeNode | null;
+    /**
+     * Find the most specific node that contains the given ProseMirror position, this function is biased to find the
+     * first node (in terms of position) containing the position. I.e. in a tree with a code cell that ends at 28 and a newline that
+     * starts at 28, we will return the code cell when searching for position 28.
+     *
+     * When using this method, be careful of the cases where you can get the first child of some node,
+     * since these might need some special casing. We suspect that changing this function to have a
+     * right-bias rather than a left-bias shifts the above issue to concern the final child.
+     *
+     * @param pos ProseMirror position to search for
+     * @param node The node to start the search from, defaults to the root node of the tree
+     * @returns The most specific node containing the position, or null if no such node exists
+     */
+    findNodeByProsePos(pos: number, node?: TreeNode): TreeNode | null;
+    /**
+     * This function returns the nodes fully contained in a range, descendant from a given node, but NOT transitively.
+     * i.e. if Node A is fully contained in Node B, and B is within the range, then A does not get returned.
+     * @param from Start of the range
+     * @param to End of range
+     * @param node TreeNode to start from
+     * @returns top-level TreeNodes contained in the range.
+     */
+    nodesInProseRange(from: number, to: number, node?: TreeNode | null): TreeNode[];
+    computeLineNumbers(): Array<number>;
+}
+//# sourceMappingURL=Tree.d.ts.map

package/dist/mapping/Tree.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Tree.d.ts","sourceRoot":"","sources":["../../src/mapping/Tree.ts"],"names":[],"mappings":"AAAA,qBAAa,QAAQ;IACjB,sEAAsE;IACtE,IAAI,EAAE,MAAM,CAAC;IACb,qEAAqE;IACrE,YAAY,EAAE;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAC,CAAC;IACzC,6FAA6F;IAC7F,QAAQ,EAAE;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAC,CAAC;IACrC,wDAAwD;IACxD,KAAK,EAAE,MAAM,CAAC;IACd;;;OAGG;IACH,gBAAgB,EAAE,MAAM,CAAC;IACzB,+CAA+C;IAC/C,cAAc,EAAE,MAAM,CAAC;IACvB,OAAO,EAAE;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAC,CAAC;IACpC,SAAS,EAAE,MAAM,CAAC;IAClB,2CAA2C;IAC3C,QAAQ,EAAE,QAAQ,EAAE,CAAC;gBAGjB,IAAI,EAAE,MAAM,EACZ,YAAY,EAAE;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAC,EACxC,QAAQ,EAAE;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAC,EACpC,KAAK,EAAE,MAAM,EACb,gBAAgB,EAAE,MAAM,EACxB,cAAc,EAAE,MAAM,EACtB,OAAO,EAAE;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAC,EACnC,SAAS,EAAE,MAAM;IAarB,QAAQ,CAAC,KAAK,EAAE,QAAQ,GAAG,IAAI;IAM/B,WAAW,CAAC,KAAK,EAAE,QAAQ,GAAG,IAAI;IAKlC,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,iBAAiB,CAAC,EAAE,MAAM,GAAG,IAAI;IAOnE,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,iBAAiB,CAAC,EAAE,MAAM,GAAG,IAAI;IAW9D,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IAIpC,kBAAkB,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,QAAQ,KAAK,IAAI,GAAG,IAAI;CAM/D;AAED,qBAAa,IAAI;IACb,IAAI,EAAE,QAAQ,CAAC;gBAGX,IAAI,EAAE,MAAM,EACZ,YAAY,EAAE;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAC,EACxC,KAAK,EAAE;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAC,EACjC,KAAK,EAAE,MAAM,EACb,gBAAgB,EAAE,MAAM,EACxB,cAAc,EAAE,MAAM,EACtB,OAAO,EAAE;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAC,EACnC,SAAS,EAAE,MAAM;IAMrB,kBAAkB,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,QAAQ,KAAK,IAAI,EAAE,IAAI,GAAE,QAAoB,GAAG,IAAI;IAOxF;;OAEG;IACH,yBAAyB,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,GAAE,QAAoB,GAAG,QAAQ;IAa5E,UAAU,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,GAAE,QAAQ,GAAG,IAAgB,EAAE,MAAM,GAAE,QAAQ,GAAG,IAAW,GAAG,QAAQ,GAAG,IAAI;IAUhH,0BAA0B,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,GAAE,QAAQ,GAAG,IAAgB,GAAG,QAAQ,GAAG,IAAI;IAY3F;;;;;;;;;;;;OAYG;IACH,kBAAkB,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,GAAE,QAAoB,GAAG,QAAQ,GAAG,IAAI;IAwB5E;;;;;;;OAOG;IACH,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,GAAE,QAAQ,GAAG,IAAgB,GAAG,QAAQ,EAAE;IAY1F,kBAAkB,IAAI,KAAK,CAAC,MAAM,CAAC;CAStC"}

package/dist/mapping/helper-functions.d.ts

@@ -0,0 +1,4 @@
+import { ReplaceAroundStep, ReplaceStep } from "prosemirror-transform";
+import { OperationType } from "./types";
+export declare function typeFromStep(step: ReplaceStep | ReplaceAroundStep): OperationType;
+//# sourceMappingURL=helper-functions.d.ts.map

package/dist/mapping/helper-functions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"helper-functions.d.ts","sourceRoot":"","sources":["../../src/mapping/helper-functions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAGxC,wBAAgB,YAAY,CAAC,IAAI,EAAE,WAAW,GAAG,iBAAiB,GAAG,aAAa,CAOjF"}

package/dist/mapping/index.d.ts

@@ -0,0 +1,4 @@
+export { Mapping } from "./mapping";
+export { Tree } from "./Tree";
+export { TreeNode } from "./Tree";
+//# sourceMappingURL=index.d.ts.map

package/dist/mapping/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/mapping/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAC9B,OAAO,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAC"}

package/dist/mapping/mapping.d.ts

@@ -0,0 +1,82 @@
+import { Tree } from "./Tree";
+import { Block } from "../document";
+import { DocChange, DocumentSerializer, TagConfiguration, WrappingDocChange } from "../api";
+import { Node } from "prosemirror-model";
+import { Step } from "prosemirror-transform";
+/**
+ * This class is responsible for keeping track of the mapping between the prosemirror state and the vscode Text
+ * Document model
+ */
+export declare class Mapping {
+    /** This stores the String cells of the entire document */
+    private tree;
+    /** The version of the underlying textDocument */
+    private _version;
+    /**
+     * Tracks the ProseMirror document after each processed step.
+     * The caller of `update` always passes the pre-transaction document, so for
+     * step N in a multi-step transaction the passed `doc` is already stale.
+     * We keep `_currentDoc` in sync by applying each step to it, so that
+     * subsequent calls within the same transaction see the correct document.
+     */
+    private _currentDoc;
+    private readonly serializer;
+    private readonly nodeUpdate;
+    private readonly textUpdate;
+    /**
+     * Constructs the mapping instance given the source document in the form of a block array.
+     * @param inputBlocks Array containing the blocks that make up this document.
+     */
+    constructor(inputBlocks: Block[], versionNum: number, tMap: TagConfiguration, serializer: DocumentSerializer);
+    /**
+     * Returns the mapping to preserve integrity
+     */
+    getMapping(): Tree;
+    /**
+     * Get the version of the underlying text document
+     */
+    get version(): number;
+    /**
+     * Map a ProseMirror index into the corresponding text offset.
+     * @param index A valid ProseMirror offset.
+     * @returns The corresponding text offset into the document.
+     */
+    pmIndexToTextOffset(index: number): number;
+    /**
+     * Map a text offset into the corresponding ProseMirror index.
+     * @param offset The offset (in characters) in the document.
+     * @returns The corresponding ProseMirror index into the ProseMirror view.
+     */
+    textOffsetToPmIndex(offset: number): number;
+    computeLineNumbers(): Array<number>;
+    updateLines(lineDelta: number, from: number): void;
+    /**
+     * Resets the internally-evolved document to null so the next transaction
+     * starts fresh from the document passed by the caller.
+     * Call this at the beginning of each ProseMirror dispatchTransaction.
+     */
+    resetCurrentDoc(): void;
+    update(step: Step, doc: Node): DocChange | WrappingDocChange;
+    /**
+     * This checks if the doc change actually changed the document, since vscode
+     * does not register empty changes
+     */
+    private checkDocChange;
+    /**
+     * Initializes the mapping given the input document in the form of a Block array.
+     * @param blocks
+     */
+    private initTree;
+    /**
+     * Recursively computes the prosemirrorStart and prosemirrorEnd offsets for each node.
+     *
+     * @param node The current node to compute the offsets for.
+     * @param startTagMap The start tag mapping for each block type.
+     * @param endTagMap The end tag mapping for each block type.
+     * @param currentOffset The current offset from where the computation should begin.
+     * @param level The current depth level in the tree (used for adjusting offsets).
+     * @returns The updated offset after computing the current node.
+     */
+    private computeProsemirrorOffsets;
+}
+//# sourceMappingURL=mapping.d.ts.map

package/dist/mapping/mapping.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mapping.d.ts","sourceRoot":"","sources":["../../src/mapping/mapping.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAY,MAAM,QAAQ,CAAC;AAIxC,OAAO,EAAE,KAAK,EAAc,MAAM,aAAa,CAAC;AAChD,OAAO,EAAE,SAAS,EAAE,kBAAkB,EAAgB,gBAAgB,EAAmB,iBAAiB,EAAE,MAAM,QAAQ,CAAC;AAE3H,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AACzC,OAAO,EAAkC,IAAI,EAAE,MAAM,uBAAuB,CAAC;AAE7E;;;GAGG;AACH,qBAAa,OAAO;IAChB,0DAA0D;IAC1D,OAAO,CAAC,IAAI,CAAO;IACnB,iDAAiD;IACjD,OAAO,CAAC,QAAQ,CAAS;IACzB;;;;;;OAMG;IACH,OAAO,CAAC,WAAW,CAAqB;IAExC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAqB;IAChD,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAa;IACxC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAa;IAExC;;;OAGG;gBACS,WAAW,EAAE,KAAK,EAAE,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,kBAAkB;IAoB5G;;OAEG;IACI,UAAU;IAIjB;;OAEG;IACH,IAAW,OAAO,WAEjB;IAED;;;;OAIG;IACI,mBAAmB,CAAC,KAAK,EAAE,MAAM;IAMxC;;;;OAIG;IACI,mBAAmB,CAAC,MAAM,EAAE,MAAM;IAMlC,kBAAkB,IAAI,KAAK,CAAC,MAAM,CAAC;IAInC,WAAW,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI;IAYzD;;;;OAIG;IACI,eAAe,IAAI,IAAI;IAIvB,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,GAAG,SAAS,GAAG,iBAAiB;IA6DnE;;;OAGG;IACH,OAAO,CAAC,cAAc;IAQtB;;;OAGG;IACH,OAAO,CAAC,QAAQ;IAoChB;;;;;;;;;OASG;IACH,OAAO,CAAC,yBAAyB;CAyDpC"}

package/dist/mapping/nodeUpdate.d.ts

@@ -0,0 +1,27 @@
+import { Tree, TreeNode } from "./Tree";
+import { ParsedStep } from "./types";
+import { Mapping } from "./mapping";
+import { DocumentSerializer, TagConfiguration } from "../api";
+import { Node } from "prosemirror-model";
+import { ReplaceAroundStep, ReplaceStep } from "prosemirror-transform";
+export declare class NodeUpdate {
+    private readonly tagConf;
+    private readonly serializer;
+    constructor(tagConf: TagConfiguration, serializer: DocumentSerializer);
+    nodeNameToTagPair(nodeName: string, title?: string): [string, string];
+    nodeUpdate(step: ReplaceStep | ReplaceAroundStep, mapping: Mapping, serializer: DocumentSerializer, proseDoc: Node): ParsedStep;
+    doReplaceStep(step: ReplaceStep, mapping: Mapping, serializer: DocumentSerializer, proseDoc: Node): ParsedStep;
+    doReplaceAroundStep(step: ReplaceAroundStep, mapping: Mapping): ParsedStep;
+    replaceInsert(step: ReplaceStep, tree: Tree, serializer: DocumentSerializer, proseDoc: Node): ParsedStep;
+    buildTreeFromNode(node: Node, startOrig: number, startProse: number, currentLine?: number): TreeNode;
+    /**
+     * Handles ReplaceSteps that delete content.
+     * @param step The ReplaceStep for which we determined that it is deletion of one or more nodes.
+     * @param tree The input tree
+     * @returns A ParsedStep containing the resulting DocChange and the updated tree.
+     */
+    replaceDelete(step: ReplaceStep, tree: Tree, serializer: DocumentSerializer, proseDoc: Node): ParsedStep;
+    replaceAroundDelete(step: ReplaceAroundStep, tree: Tree): ParsedStep;
+    replaceAroundReplace(step: ReplaceAroundStep, tree: Tree): ParsedStep;
+}
+//# sourceMappingURL=nodeUpdate.d.ts.map

package/dist/mapping/nodeUpdate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"nodeUpdate.d.ts","sourceRoot":"","sources":["../../src/mapping/nodeUpdate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAC;AACxC,OAAO,EAAiB,UAAU,EAAE,MAAM,SAAS,CAAC;AACpD,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAEpC,OAAO,EAAa,kBAAkB,EAAmB,gBAAgB,EAAqB,MAAM,QAAQ,CAAC;AAG7G,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AACzC,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAUvE,qBAAa,UAAU;IAEN,OAAO,CAAC,QAAQ,CAAC,OAAO;IAAoB,OAAO,CAAC,QAAQ,CAAC,UAAU;gBAAtD,OAAO,EAAE,gBAAgB,EAAmB,UAAU,EAAE,kBAAkB;IAGxG,iBAAiB,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,GAAE,MAAW,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC;IAoBlE,UAAU,CAAC,IAAI,EAAE,WAAW,GAAG,iBAAiB,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,kBAAkB,EAAE,QAAQ,EAAE,IAAI,GAAI,UAAU;IAYvI,aAAa,CAAC,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,kBAAkB,EAAE,QAAQ,EAAE,IAAI,GAAG,UAAU;IAc9G,mBAAmB,CAAC,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,OAAO,GAAG,UAAU;IAkB1E,aAAa,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,kBAAkB,EAAE,QAAQ,EAAG,IAAI,GAAG,UAAU;IA8EzG,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,GAAE,MAAU,GAAG,QAAQ;IA4EvG;;;;;OAKG;IACH,aAAa,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,kBAAkB,EAAE,QAAQ,EAAE,IAAI,GAAG,UAAU;IA0ExG,mBAAmB,CAAC,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,IAAI,GAAG,UAAU;IAyEpE,oBAAoB,CAAC,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,IAAI,GAAG,UAAU;CAmIxE"}

package/dist/mapping/textUpdate.d.ts

@@ -0,0 +1,16 @@
+import { Mapping } from "./mapping";
+import { ParsedStep } from "./types";
+import { Tree, TreeNode } from "./Tree";
+import { ReplaceStep } from "prosemirror-transform";
+export declare class TextUpdate {
+    /**
+     * We cache the last node in which a text update happened, as it is likely that the next text update will happen in the same node
+     * Note that this is a *reference* to the node in the tree.
+     */
+    private cachedNode;
+    invalidateCache(): void;
+    getNodeFromCacheOrSearch(step: ReplaceStep, tree: Tree): TreeNode | null;
+    /** This function is responsible for handling updates in prosemirror that happen exclusively as text edits and translating them to vscode text doc */
+    textUpdate(step: ReplaceStep, mapping: Mapping): ParsedStep;
+}
+//# sourceMappingURL=textUpdate.d.ts.map

package/dist/mapping/textUpdate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"textUpdate.d.ts","sourceRoot":"","sources":["../../src/mapping/textUpdate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,UAAU,EAAiB,MAAM,SAAS,CAAC;AACpD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,QAAQ,CAAC;AAExC,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAKpD,qBAAa,UAAU;IACnB;;;OAGG;IACH,OAAO,CAAC,UAAU,CAAyB;IAEpC,eAAe,IAAI,IAAI;IAI9B,wBAAwB,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,GAAG,QAAQ,GAAG,IAAI;IAmBxE,qJAAqJ;IACrJ,UAAU,CAAC,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,GAAI,UAAU;CAqD/D"}

package/dist/mapping/types.d.ts

@@ -0,0 +1,22 @@
+import { DocChange, WrappingDocChange } from "../api";
+import { Tree } from "./Tree";
+/**
+ * The type returned by the functions converting steps to Document Changes of the
+ * underlying vscode model of the document
+ */
+export type ParsedStep = {
+    /** The document change that will be forwarded to vscode */
+    result: DocChange | WrappingDocChange;
+    /** The new tree that represents the updated mapping */
+    newTree: Tree;
+};
+/**
+ * In prosemirror, every step is a replace step. This enum is used to classify
+ * the steps into the given 'pure' operations
+ */
+export declare enum OperationType {
+    insert = "insert",
+    delete = "delete",
+    replace = "replace"
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/mapping/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/mapping/types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,iBAAiB,EAAE,MAAM,QAAQ,CAAC;AACtD,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAC9B;;;GAGG;AACH,MAAM,MAAM,UAAU,GAAG;IACrB,2DAA2D;IAC3D,MAAM,EAAE,SAAS,GAAG,iBAAiB,CAAC;IACtC,uDAAuD;IACvD,OAAO,EAAE,IAAI,CAAC;CACjB,CAAA;AAED;;;GAGG;AACH,oBAAY,aAAa;IACrB,MAAM,WAAW;IACjB,MAAM,WAAW;IACjB,OAAO,YAAY;CACtB"}

package/dist/markdown-defaults/index.d.ts

@@ -0,0 +1,4 @@
+import { TagConfiguration } from "../api";
+export { parse } from "./statemachine";
+export declare function configuration(languageId: string): TagConfiguration;
+//# sourceMappingURL=index.d.ts.map

package/dist/markdown-defaults/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/markdown-defaults/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,QAAQ,CAAC;AAE1C,OAAO,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAEvC,wBAAgB,aAAa,CAAC,UAAU,EAAE,MAAM,GAAG,gBAAgB,CAiClE"}

package/dist/markdown-defaults/statemachine.d.ts

@@ -0,0 +1,23 @@
+import { WaterproofDocument } from "../api";
+/**
+ * Parser for markdown documents.
+ *
+ * Next to the regular markdown and code parts this parser has predefined 'tags' for hints and input areas:
+ * * The content between `<hint title="{title}">` and ` </hint>` is turned into a hint cell, `{title}` will turn into the title that is displayed in the editor.
+ * * The content between `<input-area>` and `</input-area>` is turned into an input area.
+ * @param document The document to convert into a `WaterproofDocument`
+ * @param config An object that may contain
+ * - `language: string`: The language tag to use for the code cells. That is, the part of the ` ``` ` when opening a code block (` ```python ` for a python
+ * code block). Defaults to `""`.
+ * - `startParsingFrom: number`: An offset in `document` from where to start parsing the markdown document. Fox example, if you have a header in the
+ * markdown file use offset to start the markdown parser after the header content. Defaults to `0`.
+ * - `stopParsingAt: number`: Can be used to configure the parser to stop before the end of the file, when the file contains a footer for example.
+ * When not specified, parsing will stop only at the end of the file.
+ * @returns A array of `Block` that form a `WaterproofDocument`.
+ */
+export declare function parse(document: string, config: {
+    language?: string;
+    startParsingFrom?: number;
+    stopParsingAt?: number;
+}): WaterproofDocument;
+//# sourceMappingURL=statemachine.d.ts.map

package/dist/markdown-defaults/statemachine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"statemachine.d.ts","sourceRoot":"","sources":["../../src/markdown-defaults/statemachine.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,QAAQ,CAAC;AAuB5C;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAAC,aAAa,CAAC,EAAE,MAAM,CAAA;CAAC,GAAG,kBAAkB,CAsT1I"}

package/dist/markup-views/SwitchableViewPlugin.d.ts

@@ -0,0 +1,22 @@
+import { Node as ProseNode } from "prosemirror-model";
+import { Plugin as ProsePlugin, PluginKey, TextSelection } from "prosemirror-state";
+import { EditorView } from "prosemirror-view";
+import { SwitchableView } from "./switchable-view";
+import { WaterproofEditorConfig } from "../api";
+export interface ISwitchableViewPluginState {
+    macros: {
+        [cmd: string]: string;
+    };
+    /** A list of currently active `NodeView`s, in insertion order. */
+    activeNodeViews: SwitchableView[];
+    /** The selection of the current cursor position */
+    cursor: TextSelection | undefined;
+}
+export declare const SWITCHABLE_VIEW_PLUGIN_KEY: PluginKey<ISwitchableViewPluginState>;
+/**
+ * Returns a function suitable for passing as a field in `EditorProps.nodeViews`.
+ * @see https://prosemirror.net/docs/ref/#view.EditorProps.nodeViews
+ */
+export declare function createRealMarkdownView(editorConfig: WaterproofEditorConfig): (node: ProseNode, view: EditorView, getPos: (() => number | undefined)) => SwitchableView;
+export declare const switchableViewPlugin: (editorConfig: WaterproofEditorConfig) => ProsePlugin<ISwitchableViewPluginState>;
+//# sourceMappingURL=SwitchableViewPlugin.d.ts.map

package/dist/markup-views/SwitchableViewPlugin.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"SwitchableViewPlugin.d.ts","sourceRoot":"","sources":["../../src/markup-views/SwitchableViewPlugin.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,IAAI,IAAI,SAAS,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,MAAM,IAAI,WAAW,EAAE,SAAS,EAAc,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAChG,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,sBAAsB,EAAE,MAAM,QAAQ,CAAC;AAKhD,MAAM,WAAW,0BAA0B;IAC1C,MAAM,EAAE;QAAE,CAAC,GAAG,EAAC,MAAM,GAAI,MAAM,CAAA;KAAE,CAAC;IAClC,kEAAkE;IAClE,eAAe,EAAE,cAAc,EAAE,CAAC;IAClC,mDAAmD;IACnD,MAAM,EAAE,aAAa,GAAG,SAAS,CAAC;CAElC;AAED,eAAO,MAAM,0BAA0B,uCAA6E,CAAC;AAErH;;;GAGG;AACH,wBAAgB,sBAAsB,CAAC,YAAY,EAAE,sBAAsB,IAClE,MAAM,SAAS,EAAE,MAAM,UAAU,EAAE,QAAQ,CAAC,MAAM,MAAM,GAAG,SAAS,CAAC,KAAG,cAAc,CAa9F;AAmCD,eAAO,MAAM,oBAAoB,GAAI,cAAc,sBAAsB,4CAA0D,CAAC"}

package/dist/markup-views/index.d.ts

@@ -1,5 +1,2 @@
-export { CoqdocView } from "./CoqdocView";
-export { coqdocPlugin, COQDOC_PLUGIN_KEY } from "./CoqdocPlugin";
-export { MarkdownView } from "./MarkdownView";
-export { realMarkdownPlugin, REAL_MARKDOWN_PLUGIN_KEY } from "./MarkdownPlugin";
+export { switchableViewPlugin, SWITCHABLE_VIEW_PLUGIN_KEY } from "./SwitchableViewPlugin";
 //# sourceMappingURL=index.d.ts.map

package/dist/markup-views/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/markup-views/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE1C,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAGjE,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAE9C,OAAO,EAAE,kBAAkB,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/markup-views/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,oBAAoB,EAAE,0BAA0B,EAAE,MAAM,wBAAwB,CAAC"}

package/dist/markup-views/switchable-view/EditableView.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"EditableView.d.ts","sourceRoot":"","sources":["../../../src/markup-views/switchable-view/EditableView.ts"],"names":[],"mappings":"AAAA,OAAO,EACN,UAAU,IAAI,UAAU,EAAE,UAAU,EAEpC,MAAM,kBAAkB,CAAA;AAEzB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,EAAE,SAAS,EAAiB,MAAM,mBAAmB,CAAA;AAC5D,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AACzD,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AAIjD,OAAO,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAA;AAEpE;;;;GAIG;AAEH,qBAAa,YAAa,SAAQ,wBAAwB;IAC/C,IAAI,EAAE,UAAU,CAAC;IAC3B,OAAO,CAAC,OAAO,CAAiB;IAChC,OAAO,CAAC,UAAU,CAAY;gBAGvB,IAAI,EAAE,IAAI,EAChB,SAAS,EAAE,UAAU,EACrB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,CAAC,MAAM,MAAM,GAAG,SAAS,CAAC,EAClC,KAAK,EAAE,WAAW,EAClB,MAAM,EAAE,cAAc,EACtB,SAAS,EAAE,SAAS;IA8BrB,KAAK;IACF,OAAO;IAGV,aAAa,CAAC,MAAM,EAAE,UAAU,GAAG,IAAI;IA+BvC,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE,SAAS,UAAU,EAAE;CAgDtD"}
+{"version":3,"file":"EditableView.d.ts","sourceRoot":"","sources":["../../../src/markup-views/switchable-view/EditableView.ts"],"names":[],"mappings":"AAAA,OAAO,EACN,UAAU,IAAI,UAAU,EAAE,UAAU,EAEpC,MAAM,kBAAkB,CAAA;AAEzB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,EAAE,SAAS,EAAiB,MAAM,mBAAmB,CAAA;AAC5D,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AACzD,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AAIjD,OAAO,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAA;AAEpE;;;;GAIG;AAEH,qBAAa,YAAa,SAAQ,wBAAwB;IAC/C,IAAI,EAAE,UAAU,CAAC;IAC3B,OAAO,CAAC,OAAO,CAAiB;IAChC,OAAO,CAAC,UAAU,CAAY;gBAGvB,IAAI,EAAE,IAAI,EAChB,SAAS,EAAE,UAAU,EACrB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,CAAC,MAAM,MAAM,GAAG,SAAS,CAAC,EAClC,KAAK,EAAE,WAAW,EAClB,MAAM,EAAE,cAAc,EACtB,SAAS,EAAE,SAAS;IA8BrB,KAAK;IACF,OAAO;IAGV,aAAa,CAAC,MAAM,EAAE,UAAU,GAAG,IAAI;IAkCvC,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,YAAY,EAAE,SAAS,UAAU,EAAE;CAgDtD"}

package/dist/markup-views/switchable-view/RenderedView.d.ts

@@ -4,7 +4,7 @@ export declare class RenderedView {
     view: EditorView;
     private _outerView;
     private _parent;
-    constructor(target: HTMLElement, content: string, outerView: EditorView, parent: SwitchableView, usingCoqdocSyntax: boolean, _getPos: (() => number | undefined));
+    constructor(target: HTMLElement, content: string, outerView: EditorView, parent: SwitchableView, _getPos: (() => number | undefined), disableMarkdownFeatures: Array<string>);
     setSelection(anchor: number, head: number, _root: Document | ShadowRoot): void;
     update(): boolean;
     focus(): void;

package/dist/markup-views/switchable-view/RenderedView.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"RenderedView.d.ts","sourceRoot":"","sources":["../../../src/markup-views/switchable-view/RenderedView.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAK9C,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAGlD,qBAAa,YAAY;IACd,IAAI,EAAE,UAAU,CAAC;IACxB,OAAO,CAAC,UAAU,CAAa;IAC/B,OAAO,CAAC,OAAO,CAAiB;gBAG5B,MAAM,EAAE,WAAW,EACnB,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,UAAU,EACrB,MAAM,EAAE,cAAc,EACtB,iBAAiB,EAAE,OAAO,EAC1B,OAAO,EAAE,CAAC,MAAM,MAAM,GAAG,SAAS,CAAC;IAiCvC,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,GAAG,UAAU;IAUvE,MAAM;IAIN,KAAK;IACL,OAAO;CACV"}
+{"version":3,"file":"RenderedView.d.ts","sourceRoot":"","sources":["../../../src/markup-views/switchable-view/RenderedView.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAK9C,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAGlD,qBAAa,YAAY;IACd,IAAI,EAAE,UAAU,CAAC;IACxB,OAAO,CAAC,UAAU,CAAa;IAC/B,OAAO,CAAC,OAAO,CAAiB;gBAG5B,MAAM,EAAE,WAAW,EACnB,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,UAAU,EACrB,MAAM,EAAE,cAAc,EACtB,OAAO,EAAE,CAAC,MAAM,MAAM,GAAG,SAAS,CAAC,EACnC,uBAAuB,EAAE,KAAK,CAAC,MAAM,CAAC;IA6B1C,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,GAAG,UAAU;IAUvE,MAAM;IAIN,KAAK;IACL,OAAO;CACV"}

package/dist/markup-views/switchable-view/SwitchableView.d.ts

@@ -1,11 +1,13 @@
 import { Decoration, EditorView, NodeView } from "prosemirror-view";
 import { PluginKey } from "prosemirror-state";
-import { Node as PNode, Schema } from "prosemirror-model";
+import { Node as PNode } from "prosemirror-model";
 /**
  * Abstract class for a switchable view.
  * Switchable views allow for editing and rendering.
  */
-export declare abstract class SwitchableView implements NodeView {
+export declare class SwitchableView implements NodeView {
+    private readonly processForRendering;
+    private readonly disableMarkdownFeatures;
     /** The DOM for this nodeview. */
     dom: HTMLElement;
     /** The currently active view. */
@@ -21,16 +23,13 @@ export declare abstract class SwitchableView implements NodeView {
     /** Represents whether the view is currently updating */
     private _updating;
     private _getPos;
-    private _outerSchema;
-    private _viewName;
     private _pluginKey;
     private _emptyClassName;
     private _viewClassName;
     private _editorClassName;
     private _renderedClassName;
-    private _usingCoqdocSyntax;
     get content(): string;
-    constructor(getPos: (() => number | undefined), outerView: EditorView, content: string, node: PNode, schema: Schema, pluginKey: PluginKey, viewName: string, usingCoqdocSyntax: boolean);
+    constructor(getPos: (() => number | undefined), outerView: EditorView, content: string, node: PNode, pluginKey: PluginKey, viewName: string, processForRendering: (input: string) => string, disableMarkdownFeatures: Array<string>);
     /**
      * Returns whether this view is currently in the updating state.
      */
@@ -49,8 +48,6 @@ export declare abstract class SwitchableView implements NodeView {
      * This destroys the view currently in place and then adds a new editable view.
      */
     makeEditableView(): void;
-    abstract preprocessContentForEditing(input: string): string;
-    abstract preprocessContentForRendering(input: string): string;
     update(node: PNode, decorations: readonly Decoration[]): boolean;
     selectNode(): void;
     deselectNode(): void;

package/dist/markup-views/switchable-view/SwitchableView.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"SwitchableView.d.ts","sourceRoot":"","sources":["../../../src/markup-views/switchable-view/SwitchableView.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAGpE,OAAO,EAAiB,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,EAAE,IAAI,IAAI,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAE1D;;;GAGG;AACH,8BAAsB,cAAe,YAAW,QAAQ;IACpD,iCAAiC;IACjC,GAAG,EAAE,WAAW,CAAC;IACjB,iCAAiC;IACjC,OAAO,CAAC,IAAI,CAA8B;IAC1C,sCAAsC;IACtC,OAAO,CAAC,YAAY,CAAiB;IACrC,yCAAyC;IACzC,OAAO,CAAC,MAAM,CAAc;IAC5B,mCAAmC;IACnC,OAAO,CAAC,UAAU,CAAa;IAC/B,6DAA6D;IAC7D,OAAO,CAAC,KAAK,CAAQ;IAErB,wDAAwD;IACxD,OAAO,CAAC,SAAS,CAAW;IAC5B,OAAO,CAAC,OAAO,CAA6B;IAC5C,OAAO,CAAC,YAAY,CAAC;IAGrB,OAAO,CAAC,SAAS,CAAS;IAC1B,OAAO,CAAC,UAAU,CAAY;IAE9B,OAAO,CAAC,eAAe,CAAS;IAChC,OAAO,CAAC,cAAc,CAAS;IAC/B,OAAO,CAAC,gBAAgB,CAAS;IACjC,OAAO,CAAC,kBAAkB,CAAS;IAEnC,OAAO,CAAC,kBAAkB,CAAU;IAEpC,IAAW,OAAO,WAEjB;gBAGG,MAAM,EAAE,CAAC,MAAM,MAAM,GAAG,SAAS,CAAC,EAAE,SAAS,EAAE,UAAU,EACzD,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAC5C,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EACtC,iBAAiB,EAAE,OAAO;IAsD9B;;OAEG;IACH,IAAW,UAAU,YAEpB;IAED;;OAEG;IACH,IAAW,QAAQ,CAAC,MAAM,EAAE,OAAO,EAElC;IAED;;;OAGG;IACH,gBAAgB;IAchB;;;OAGG;IACH,gBAAgB;IAWhB,QAAQ,CAAC,2BAA2B,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAC3D,QAAQ,CAAC,6BAA6B,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAE7D,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,SAAS,UAAU,EAAE;IAOtD,UAAU;IAWV,YAAY;IAQZ,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,GAAG,UAAU;IAKtE,SAAS,CAAC,KAAK,EAAE,KAAK;IAQtB,cAAc;IAEd,OAAO;CAGV"}
+{"version":3,"file":"SwitchableView.d.ts","sourceRoot":"","sources":["../../../src/markup-views/switchable-view/SwitchableView.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAGpE,OAAO,EAAiB,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,EAAE,IAAI,IAAI,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAGlD;;;GAGG;AACH,qBAAa,cAAe,YAAW,QAAQ;IAiCvC,OAAO,CAAC,QAAQ,CAAC,mBAAmB;IACpC,OAAO,CAAC,QAAQ,CAAC,uBAAuB;IAjC5C,iCAAiC;IACjC,GAAG,EAAE,WAAW,CAAC;IACjB,iCAAiC;IACjC,OAAO,CAAC,IAAI,CAA8B;IAC1C,sCAAsC;IACtC,OAAO,CAAC,YAAY,CAAiB;IACrC,yCAAyC;IACzC,OAAO,CAAC,MAAM,CAAc;IAC5B,mCAAmC;IACnC,OAAO,CAAC,UAAU,CAAa;IAC/B,6DAA6D;IAC7D,OAAO,CAAC,KAAK,CAAQ;IAErB,wDAAwD;IACxD,OAAO,CAAC,SAAS,CAAW;IAC5B,OAAO,CAAC,OAAO,CAA6B;IAE5C,OAAO,CAAC,UAAU,CAAY;IAE9B,OAAO,CAAC,eAAe,CAAS;IAChC,OAAO,CAAC,cAAc,CAAS;IAC/B,OAAO,CAAC,gBAAgB,CAAS;IACjC,OAAO,CAAC,kBAAkB,CAAS;IAEnC,IAAW,OAAO,WAEjB;gBAGG,MAAM,EAAE,CAAC,MAAM,MAAM,GAAG,SAAS,CAAC,EAAE,SAAS,EAAE,UAAU,EACzD,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAC5B,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EACrB,mBAAmB,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,EAC9C,uBAAuB,EAAE,KAAK,CAAC,MAAM,CAAC;IAoD3D;;OAEG;IACH,IAAW,UAAU,YAEpB;IAED;;OAEG;IACH,IAAW,QAAQ,CAAC,MAAM,EAAE,OAAO,EAElC;IAED;;;OAGG;IACH,gBAAgB;IAchB;;;OAGG;IACH,gBAAgB;IAUhB,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,SAAS,UAAU,EAAE;IAOtD,UAAU;IAWV,YAAY;IAQZ,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,GAAG,UAAU;IAKtE,SAAS,CAAC,KAAK,EAAE,KAAK;IAQtB,cAAc;IAEd,OAAO;CAGV"}

package/dist/menubar/menubar.d.ts

@@ -1,7 +1,6 @@
-import { Schema } from "prosemirror-model";
 import { Plugin, PluginKey } from "prosemirror-state";
 import { OS } from "../osType";
-import { FileFormat } from "../api/FileFormat";
+import { MenuBarEntry, TagConfiguration } from "../api";
 /**
  * Interface describing the state of the menu plugin
  */
@@ -14,11 +13,10 @@ interface IMenuPluginState {
 export declare const MENU_PLUGIN_KEY: PluginKey<IMenuPluginState>;
 /**
  * Create a new menu plugin given the schema and file format.
- * @param schema The schema in use for the editor.
  * @param filef The file format of the currently opened file.
  * @returns A prosemirror `Plugin` type containing the menubar.
  */
-export declare function menuPlugin(schema: Schema, filef: FileFormat, os: OS): Plugin<{
+export declare function menuPlugin(os: OS, tagConf: TagConfiguration, customEntries: Array<MenuBarEntry> | undefined): Plugin<{
     showMenuItems: boolean;
 }>;
 export {};

package/dist/menubar/menubar.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"menubar.d.ts","sourceRoot":"","sources":["../../src/menubar/menubar.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC3C,OAAO,EAAuB,MAAM,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAI3E,OAAO,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AAC/B,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAiM/C;;GAEG;AACH,UAAU,gBAAgB;IACtB,aAAa,EAAE,OAAO,CAAC;CAC1B;AAED;;GAEG;AACH,eAAO,MAAM,eAAe,6BAAyD,CAAC;AAEtF;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,EAAE,EAAE;;GAiCnE"}
+{"version":3,"file":"menubar.d.ts","sourceRoot":"","sources":["../../src/menubar/menubar.ts"],"names":[],"mappings":"AACA,OAAO,EAAuB,MAAM,EAAE,SAAS,EAAe,MAAM,mBAAmB,CAAC;AAIxF,OAAO,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AAE/B,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,QAAQ,CAAC;AAsNxD;;GAEG;AACH,UAAU,gBAAgB;IACtB,aAAa,EAAE,OAAO,CAAC;CAC1B;AAED;;GAEG;AACH,eAAO,MAAM,eAAe,6BAAyD,CAAC;AAEtF;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,KAAK,CAAC,YAAY,CAAC,GAAG,SAAS;;GAiC3G"}

package/dist/progressBar.d.ts

@@ -1,13 +1,33 @@
-import { Plugin, PluginKey } from "prosemirror-state";
-import { SimpleProgressParams } from "./api";
-import { ServerStatus } from "./api";
-export interface IProgressPluginState {
-    progressParams: SimpleProgressParams;
-    serverStatus: ServerStatus;
-    resetProgressBar: boolean;
-    endLine: number;
-    startLine: number;
+export declare class ProgressBar {
+    private readonly containerElem;
+    private readonly spinnerContainer;
+    private readonly progressBarContainer;
+    private readonly progress;
+    private readonly textSpan;
+    private shown;
+    constructor(insertAtTopOfNode: HTMLElement);
+    /**
+     * Hides the progress bar and spinner by setting
+     */
+    hide(): void;
+    /**
+     * Shows the progress bar and spinner
+     */
+    show(): void;
+    /**
+     * Updates the progress bar's value and text. If not already shown, it makes the progress bar visible.
+     * @param current The current progress value
+     * @param ofTotal The total progress value
+     * @param text Optional custom text; defaults to "Progress: current / ofTotal"
+     */
+    reportProgress(current: number, ofTotal: number, text?: string): void;
+    /**
+     * Starts the spinner
+     */
+    startSpinner(): void;
+    /**
+     * Stops the spinner
+     */
+    stopSpinner(): void;
 }
-export declare const PROGRESS_PLUGIN_KEY: PluginKey<IProgressPluginState>;
-export declare const progressBarPlugin: Plugin<IProgressPluginState>;
 //# sourceMappingURL=progressBar.d.ts.map

package/dist/progressBar.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"progressBar.d.ts","sourceRoot":"","sources":["../src/progressBar.ts"],"names":[],"mappings":"AACA,OAAO,EAAe,MAAM,EAAE,SAAS,EAA2B,MAAM,mBAAmB,CAAC;AAC5F,OAAO,EAAE,oBAAoB,EAAE,MAAM,OAAO,CAAC;AAC7C,OAAO,EAAE,YAAY,EAAE,MAAM,OAAO,CAAC;AAGrC,MAAM,WAAW,oBAAoB;IACnC,cAAc,EAAE,oBAAoB,CAAC;IACrC,YAAY,EAAE,YAAY,CAAC;IAC3B,gBAAgB,EAAE,OAAO,CAAC;IAC1B,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;CACnB;AAGD,eAAO,MAAM,mBAAmB,iCAAiE,CAAC;AAuIlG,eAAO,MAAM,iBAAiB,8BAAoC,CAAC"}
+{"version":3,"file":"progressBar.d.ts","sourceRoot":"","sources":["../src/progressBar.ts"],"names":[],"mappings":"AACA,qBAAa,WAAW;IAYpB,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAiB;IAC/C,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAiB;IAClD,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAAiB;IACtD,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAsB;IAC/C,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAkB;IAC3C,OAAO,CAAC,KAAK,CAAkB;gBAEnB,iBAAiB,EAAE,WAAW;IAkC1C;;OAEG;IACI,IAAI;IAMX;;OAEG;IACI,IAAI;IAMX;;;;;OAKG;IACI,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM;IASrE;;OAEG;IACI,YAAY;IAInB;;OAEG;IACI,WAAW;CAGrB"}

package/dist/qedStatus.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"qedStatus.d.ts","sourceRoot":"","sources":["../src/qedStatus.ts"],"names":[],"mappings":"AACA,OAAO,EAAe,MAAM,EAAE,SAAS,EAAc,MAAM,mBAAmB,CAAC;AAG/E,OAAO,EAAE,eAAe,EAAY,MAAM,OAAO,CAAC;AAClD,OAAO,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAC;AAG5C,MAAM,WAAW,wBAAwB;IACvC,MAAM,EAAE,eAAe,EAAE,CAAC;CAC3B;AAGD,eAAO,MAAM,wBAAwB,qCAAuE,CAAC;AA8F7G,eAAO,MAAM,kBAAkB,GAAI,QAAQ,gBAAgB,qCAA0D,CAAC"}
+{"version":3,"file":"qedStatus.d.ts","sourceRoot":"","sources":["../src/qedStatus.ts"],"names":[],"mappings":"AACA,OAAO,EAAe,MAAM,EAAE,SAAS,EAAc,MAAM,mBAAmB,CAAC;AAG/E,OAAO,EAAE,eAAe,EAAY,MAAM,OAAO,CAAC;AAClD,OAAO,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAC;AAG5C,MAAM,WAAW,wBAAwB;IACvC,MAAM,EAAE,eAAe,EAAE,CAAC;CAC3B;AAGD,eAAO,MAAM,wBAAwB,qCAAuE,CAAC;AAuF7G,eAAO,MAAM,kBAAkB,GAAI,QAAQ,gBAAgB,qCAA0D,CAAC"}

package/dist/schema/schema.d.ts

@@ -1,9 +1,12 @@
 import { Schema } from "prosemirror-model";
 export declare const SchemaCell: {
     readonly InputArea: "input";
+    readonly Hint: "hint";
     readonly Markdown: "markdown";
     readonly MathDisplay: "math_display";
     readonly Code: "code";
+    readonly Newline: "newline";
+    readonly Container: "container";
 };
 export type SchemaKeys = keyof typeof SchemaCell;
 export type SchemaNames = typeof SchemaCell[SchemaKeys];
@@ -16,8 +19,6 @@ export type SchemaNames = typeof SchemaCell[SchemaKeys];
  *
  * math blocks obtained from `prosemirror-math`:
  * https://github.com/benrbray/prosemirror-math/blob/master/src/math-schema.ts
- *
- * see [notes](./notes.md)
  */
-export declare const WaterproofSchema: Schema;
+export declare const WaterproofSchema: Schema<SchemaNames | "doc" | "text", any>;
 //# sourceMappingURL=schema.d.ts.map

package/dist/schema/schema.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../src/schema/schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAiB,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAE1D,eAAO,MAAM,UAAU;;;;;CAKb,CAAC;AAEX,MAAM,MAAM,UAAU,GAAG,MAAM,OAAO,UAAU,CAAC;AACjD,MAAM,MAAM,WAAW,GAAG,OAAO,UAAU,CAAC,UAAU,CAAC,CAAC;AAMxD;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,gBAAgB,EAAE,MA8H7B,CAAC"}
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../src/schema/schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAiB,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAE1D,eAAO,MAAM,UAAU;;;;;;;;CAQb,CAAC;AAEX,MAAM,MAAM,UAAU,GAAG,MAAM,OAAO,UAAU,CAAC;AACjD,MAAM,MAAM,WAAW,GAAG,OAAO,UAAU,CAAC,UAAU,CAAC,CAAC;AAExD;;;;;;;;;GASG;AACH,eAAO,MAAM,gBAAgB,2CAgG3B,CAAC"}