@impermeable/waterproof-editor 0.13.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

@@ -24,6 +24,7 @@ export declare class TreeNode {
         from: number;
         to: number;
     };
+    lineStart: number;
     /** Potential children of this tree node */
     children: TreeNode[];
     constructor(type: string, contentRange: {
@@ -35,11 +36,12 @@ export declare class TreeNode {
     }, 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 {
@@ -53,23 +55,37 @@ export declare class Tree {
     }, title: string, prosemirrorStart: number, prosemirrorEnd: number, pmRange: {
         from: number;
         to: number;
-    });
+    }, lineStart: number);
     traverseDepthFirst(callback: (node: TreeNode) => void, node?: TreeNode): void;
-    traverseBreadthFirst(callback: (node: TreeNode) => void): 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;
-    findNodeByProsemirrorPosition(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[];
-    insertByPosition(newNode: TreeNode): boolean;
+    computeLineNumbers(): Array<number>;
 }
 //# sourceMappingURL=Tree.d.ts.map

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

@@ -1 +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,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;IAYvC,QAAQ,CAAC,KAAK,EAAE,QAAQ,GAAG,IAAI;IAM/B,WAAW,CAAC,KAAK,EAAE,QAAQ,GAAG,IAAI;IAIlC,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,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;IAMvC,kBAAkB,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,QAAQ,KAAK,IAAI,EAAE,IAAI,GAAE,QAAoB,GAAG,IAAI;IAOxF,oBAAoB,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,QAAQ,KAAK,IAAI,GAAG,IAAI;IAY9D,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,6BAA6B,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,GAAE,QAAQ,GAAG,IAAgB,GAAG,QAAQ,GAAG,IAAI;IAY9F;;;;;;;OAOG;IACH,kBAAkB,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,GAAE,QAAoB,GAAG,QAAQ,GAAG,IAAI;IAwB5E,iBAAiB,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI,GAAE,QAAQ,GAAG,IAAgB,GAAG,QAAQ,EAAE;IAW1F,gBAAgB,CAAC,OAAO,EAAE,QAAQ,GAAG,OAAO;CAY/C"}
+{"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/mapping.d.ts

@@ -12,6 +12,15 @@ export declare class Mapping {
     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;
     /**
@@ -39,6 +48,14 @@ export declare class Mapping {
      * @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

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

@@ -1 +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,EAAE,iBAAiB,EAAE,MAAM,QAAQ,CAAC;AAE1G,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;IAEzB,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;IAkB5G;;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,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,GAAG,SAAS,GAAG,iBAAiB;IAsCnE;;;OAGG;IACH,OAAO,CAAC,cAAc;IAQtB;;;OAGG;IACH,OAAO,CAAC,QAAQ;IAiChB;;;;;;;;;OASG;IACH,OAAO,CAAC,yBAAyB;CAyDpC"}
+{"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

@@ -9,18 +9,18 @@ export declare class NodeUpdate {
     private readonly serializer;
     constructor(tagConf: TagConfiguration, serializer: DocumentSerializer);
     nodeNameToTagPair(nodeName: string, title?: string): [string, string];
-    nodeUpdate(step: ReplaceStep | ReplaceAroundStep, mapping: Mapping): ParsedStep;
-    doReplaceStep(step: ReplaceStep, mapping: Mapping): ParsedStep;
+    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): ParsedStep;
-    buildTreeFromNode(node: Node, startOrig: number, startProse: number): TreeNode;
+    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): ParsedStep;
+    replaceDelete(step: ReplaceStep, tree: Tree, serializer: DocumentSerializer, proseDoc: Node): ParsedStep;
     replaceAroundDelete(step: ReplaceAroundStep, tree: Tree): ParsedStep;
     replaceAroundReplace(step: ReplaceAroundStep, tree: Tree): ParsedStep;
 }

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

@@ -1 +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;AAE7G,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AACzC,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAEvE,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;IAkBlE,UAAU,CAAC,IAAI,EAAE,WAAW,GAAG,iBAAiB,EAAE,OAAO,EAAE,OAAO,GAAI,UAAU;IAgBvF,aAAa,CAAC,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,GAAG,UAAU;IAc9D,mBAAmB,CAAC,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,OAAO,GAAG,UAAU;IAkB1E,aAAa,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,GAAG,UAAU;IAiFxD,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,QAAQ;IAiE9E;;;;;OAKG;IACH,aAAa,CAAC,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,GAAG,UAAU;IAiDxD,mBAAmB,CAAC,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,IAAI,GAAG,UAAU;IA4DpE,oBAAoB,CAAC,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,IAAI,GAAG,UAAU;CAmGxE"}
+{"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

@@ -1,7 +1,15 @@
 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;
 }

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

@@ -1 +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;AAGpD,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAGpD,qBAAa,UAAU;IAEnB,qJAAqJ;IACrJ,UAAU,CAAC,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,GAAI,UAAU;CAoD/D"}
+{"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.map

@@ -1 +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,CAAA;CAChB,CAAA;AAED;;;GAGG;AACH,oBAAY,aAAa;IACrB,MAAM,WAAW;IACjB,MAAM,WAAW;IACjB,OAAO,YAAY;CACtB"}
+{"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.map

@@ -1 +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,CA4BlE"}
+{"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

@@ -6,9 +6,18 @@ import { WaterproofDocument } from "../api";
  * * 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 language The language tag to use for the code cells. That is, the part of the ` ``` ` when opening a code block (` ```python ` for a python
+ * @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, language?: string): 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

@@ -1 +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;;;;;;;;;;GAUG;AACH,wBAAgB,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,GAAE,MAAW,GAAG,kBAAkB,CAySjF"}
+{"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/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"}

package/dist/serialization/DocumentSerializer.d.ts

@@ -1,5 +1,12 @@
-import { Node } from "prosemirror-model";
+import { Fragment, Node } from "prosemirror-model";
 import { TagConfiguration } from "../api";
+export declare function makeNeighbors(above: Node | null | undefined, twoAbove: Node | null | undefined, below: Node | null | undefined, twoBelow: Node | null | undefined): (skipNewlines: boolean) => {
+    nodeAbove: string | null;
+    nodeBelow: string | null;
+};
+export declare class SerializationError extends Error {
+    constructor(message: string);
+}
 export declare abstract class DocumentSerializer {
     /**
      * Describes how to turn a code node into a string representation.
@@ -60,20 +67,50 @@ export declare abstract class DocumentSerializer {
         nodeAbove: string | null;
         nodeBelow: string | null;
     }): string;
+    /**
+     * Describes how to turn a container node into a string representation.
+     * This node can have children (including input areas and hints), so you probably want to call `this.serializeNode` on every child node.
+     * The container's name can be retrieved via `containerNode.attrs.name`.
+     * @param containerNode The container node that is going to be serialized
+     * @param parentNode The parent node of this node (if it has one)
+     * @param neighbors Function that upon calling will return the neighbors of the node being serialized.
+     */
+    abstract serializeContainer(containerNode: Node, parentNode: string | null, neighbors: (skipNewlines: boolean) => {
+        nodeAbove: string | null;
+        nodeBelow: string | null;
+    }): string;
     serializeText(node: Node): string;
     serializeNewline(): string;
     /**
-     *
-     * @param node
-     * @returns
+     * Serializes a node to its string representation.
+     * @param node The node to serialize.
+     * @param parent The type name of the parent node, or null if the node is at root level.
+     * @param neighbors A function that returns the node types above and below the current node, with an option to skip newline nodes.
+     * @returns The serialized (string) representation of the node.
+     * @throws A {@linkcode SerializationError} when the node type is not supported.
      */
     serializeNode(node: Node, parent: string | null, neighbors: (skipNewlines: boolean) => {
         nodeAbove: string | null;
         nodeBelow: string | null;
     }): string;
     /**
+     * Serializes a fragment of nodes into a string representation.
+     *
+     * This method iterates through each child node in the fragment and serializes it individually.
+     * For each node, it provides context about neighboring nodes to the serialization function,
+     * with an option to skip newline nodes when determining context.
+     * @param fragment The node content fragment to serialize
+     * @param parent The parent node name, or null if there is no parent
+     * @returns The serialized string representation of the fragment
+     * @throws A {@linkcode SerializationError} when the document contains a node type that is not supported by the serializer.
+     */
+    serializeFragment(fragment: Fragment, parent: string | null): string;
+    /**
+     * Serializes the whole ProseMirror document into its string representation.
      *
-     * @param node
+     * @param node The document node to serialize, this should probably be the root (`doc`) node of the ProseMirror document.
+     * @returns The string representation of the document
+     * @throws A {@linkcode SerializationError} when the document contains a node type that is not supported by the serializer.
      */
     serializeDocument(node: Node): string;
 }
@@ -85,5 +122,6 @@ export declare class DefaultTagSerializer extends DocumentSerializer {
     serializeMarkdown(node: Node): string;
     serializeInput(node: Node): string;
     serializeHint(node: Node): string;
+    serializeContainer(node: Node): string;
 }
 //# sourceMappingURL=DocumentSerializer.d.ts.map

package/dist/serialization/DocumentSerializer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"DocumentSerializer.d.ts","sourceRoot":"","sources":["../../src/serialization/DocumentSerializer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAEzC,OAAO,EAAE,gBAAgB,EAAE,MAAM,QAAQ,CAAC;AAE1C,8BAAsB,kBAAkB;IACpC;;;;;;OAMG;IACH,QAAQ,CAAC,aAAa,CAAC,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,GAAG,IAAI,EAAE,SAAS,EAAE,CAAC,YAAY,EAAE,OAAO,KAAK;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;KAAC,GAAG,MAAM;IACrK;;;;;;OAMG;IACH,QAAQ,CAAC,aAAa,CAAC,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,GAAG,IAAI,EAAE,SAAS,EAAE,CAAC,YAAY,EAAE,OAAO,KAAK;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;KAAC,GAAG,MAAM;IACrK;;;;;;OAMG;IACH,QAAQ,CAAC,iBAAiB,CAAC,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,GAAG,IAAI,EAAE,SAAS,EAAE,CAAC,YAAY,EAAE,OAAO,KAAK;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;KAAC,GAAG,MAAM;IAC7K;;;;;;;;OAQG;IACH,QAAQ,CAAC,cAAc,CAAC,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,GAAG,IAAI,EAAE,SAAS,EAAE,CAAC,YAAY,EAAE,OAAO,KAAK;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;KAAC,GAAG,MAAM;IACvK;;;;;;;;OAQG;IACH,QAAQ,CAAC,aAAa,CAAC,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,GAAG,IAAI,EAAE,SAAS,EAAE,CAAC,YAAY,EAAE,OAAO,KAAK;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;KAAC,GAAG,MAAM;IAErK,aAAa,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM;IAIjC,gBAAgB,IAAI,MAAM;IAI1B;;;;OAIG;IACI,aAAa,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,EAAE,SAAS,EAAE,CAAC,YAAY,EAAE,OAAO,KAAK;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;KAAC,GAAG,MAAM;IAc3J;;;OAGG;IACI,iBAAiB,CAAC,IAAI,EAAE,IAAI;CAuBtC;AAED,qBAAa,oBAAqB,SAAQ,kBAAkB;IAE5C,OAAO,CAAC,QAAQ,CAAC,OAAO;gBAAP,OAAO,EAAE,gBAAgB;IAItD,aAAa,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM;IAIjC,aAAa,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM;IAIjC,iBAAiB,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM;IAIrC,cAAc,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM;IAUlC,aAAa,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM;CAUpC"}
+{"version":3,"file":"DocumentSerializer.d.ts","sourceRoot":"","sources":["../../src/serialization/DocumentSerializer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAEnD,OAAO,EAAE,gBAAgB,EAAE,MAAM,QAAQ,CAAC;AAE1C,wBAAgB,aAAa,CACzB,KAAK,EAAE,IAAI,GAAG,IAAI,GAAG,SAAS,EAC9B,QAAQ,EAAE,IAAI,GAAG,IAAI,GAAG,SAAS,EACjC,KAAK,EAAE,IAAI,GAAG,IAAI,GAAG,SAAS,EAC9B,QAAQ,EAAE,IAAI,GAAG,IAAI,GAAG,SAAS,GAClC,CAAC,YAAY,EAAE,OAAO,KAAK;IAAE,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,CAQnF;AAED,qBAAa,kBAAmB,SAAQ,KAAK;gBAC7B,OAAO,EAAE,MAAM;CAG9B;AAED,8BAAsB,kBAAkB;IACpC;;;;;;OAMG;IACH,QAAQ,CAAC,aAAa,CAAC,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,GAAG,IAAI,EAAE,SAAS,EAAE,CAAC,YAAY,EAAE,OAAO,KAAK;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;KAAC,GAAG,MAAM;IACrK;;;;;;OAMG;IACH,QAAQ,CAAC,aAAa,CAAC,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,GAAG,IAAI,EAAE,SAAS,EAAE,CAAC,YAAY,EAAE,OAAO,KAAK;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;KAAC,GAAG,MAAM;IACrK;;;;;;OAMG;IACH,QAAQ,CAAC,iBAAiB,CAAC,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,GAAG,IAAI,EAAE,SAAS,EAAE,CAAC,YAAY,EAAE,OAAO,KAAK;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;KAAC,GAAG,MAAM;IAC7K;;;;;;;;OAQG;IACH,QAAQ,CAAC,cAAc,CAAC,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,GAAG,IAAI,EAAE,SAAS,EAAE,CAAC,YAAY,EAAE,OAAO,KAAK;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;KAAC,GAAG,MAAM;IACvK;;;;;;;;OAQG;IACH,QAAQ,CAAC,aAAa,CAAC,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,GAAG,IAAI,EAAE,SAAS,EAAE,CAAC,YAAY,EAAE,OAAO,KAAK;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;KAAC,GAAG,MAAM;IAErK;;;;;;;OAOG;IACH,QAAQ,CAAC,kBAAkB,CAAC,aAAa,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,GAAG,IAAI,EAAE,SAAS,EAAE,CAAC,YAAY,EAAE,OAAO,KAAK;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;KAAC,GAAG,MAAM;IAE/K,aAAa,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM;IAIjC,gBAAgB,IAAI,MAAM;IAI1B;;;;;;;OAOG;IACI,aAAa,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,EAAE,SAAS,EAAE,CAAC,YAAY,EAAE,OAAO,KAAK;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;KAAC,GAAG,MAAM;IAe3J;;;;;;;;;;OAUG;IACI,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,GAAG,MAAM;IAY3E;;;;;;OAMG;IACI,iBAAiB,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM;CAG/C;AAED,qBAAa,oBAAqB,SAAQ,kBAAkB;IAE5C,OAAO,CAAC,QAAQ,CAAC,OAAO;gBAAP,OAAO,EAAE,gBAAgB;IAItD,aAAa,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM;IAIjC,aAAa,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM;IAIjC,iBAAiB,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM;IAIrC,cAAc,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM;IAUlC,aAAa,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM;IAWjC,kBAAkB,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM;CAIzC"}

package/dist/styles/index.d.ts

@@ -1,17 +1,15 @@
 import "./math.css";
 import "./style.css";
 import "./hints.css";
+import "./container.css";
 import "./menubar.css";
 import "./input-area.css";
 import "./markdown.css";
 import "./notifications.css";
-import "./coqdoc.css";
-import "./progressBar.css";
+import "./progress.css";
 import "./documentProgressDecorator.css";
-import "./spinner.css";
-import "./freeze.css";
 import "./context-menu.css";
 import "./autocomplete.css";
-import "./waterproof.css";
 import "./magic.css";
+import "./busy-indicator.css";
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/styles/index.ts"],"names":[],"mappings":"AAGA,OAAO,YAAY,CAAC;AAGpB,OAAO,aAAa,CAAC;AAGrB,OAAO,aAAa,CAAC;AAGrB,OAAO,eAAe,CAAC;AAGvB,OAAO,kBAAkB,CAAC;AAG1B,OAAO,gBAAgB,CAAC;AAGxB,OAAO,qBAAqB,CAAC;AAG7B,OAAO,cAAc,CAAC;AAGtB,OAAO,mBAAmB,CAAC;AAG3B,OAAO,iCAAiC,CAAC;AAGzC,OAAO,eAAe,CAAC;AAGvB,OAAO,cAAc,CAAC;AAGtB,OAAO,oBAAoB,CAAC;AAG5B,OAAO,oBAAoB,CAAC;AAG5B,OAAO,kBAAkB,CAAC;AAG1B,OAAO,aAAa,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/styles/index.ts"],"names":[],"mappings":"AAGA,OAAO,YAAY,CAAC;AAGpB,OAAO,aAAa,CAAC;AAGrB,OAAO,aAAa,CAAC;AAGrB,OAAO,iBAAiB,CAAC;AAGzB,OAAO,eAAe,CAAC;AAGvB,OAAO,kBAAkB,CAAC;AAG1B,OAAO,gBAAgB,CAAC;AAGxB,OAAO,qBAAqB,CAAC;AAG7B,OAAO,gBAAgB,CAAC;AAGxB,OAAO,iCAAiC,CAAC;AAGzC,OAAO,oBAAoB,CAAC;AAG5B,OAAO,oBAAoB,CAAC;AAG5B,OAAO,aAAa,CAAC;AAGrB,OAAO,sBAAsB,CAAC"}

package/dist/styles/waterproof-defaults.css

@@ -0,0 +1,2 @@
+:root{--wp-buttonBackground: #2b3990;--wp-buttonBorder: #ffffff;--wp-buttonForeground: #ffffff;--wp-buttonHoverBackground: #232d73;--wp-buttonSecondaryBackground: #2b3990;--wp-dropdownBorder: #cecece;--wp-dropdownListBackground: #ffffff;--wp-editorBackground: #eceeff;--wp-editorFontFamily: "Droid Sans Mono", monospace;--wp-editorFontSize: 14px;--wp-editorFontWeight: normal;--wp-editorHintForeground: #0da0ba;--wp-editorInlayHintBackground: rgba(255, 255, 255, .1);--wp-editorInlayHintForeground: #969696;--wp-editorLightBulbForeground: #e0af68;--wp-editorLineHighlightBackground: rgba(182, 182, 182, .28);--wp-editorSelectionBackground: rgba(172, 176, 208, .48);--wp-editorSelectionForeground: #000000;--wp-errorForeground: #ffffff;--wp-fontFamily: system-ui, "Ubuntu", "Droid Sans", sans-serif;--wp-fontSize: 13px;--wp-fontWeight: normal;--wp-foreground: #000000;--wp-inputBackground: #eceeff;--wp-inputBorder: #eceeff;--wp-inputForeground: #000000;--wp-listActiveselectionBackground: #5561a6;--wp-listActiveselectionForeground: #ffffff;--wp-listDropBackground: #1e202e;--wp-listFilterWidgetBackground: #f8f8f8;--wp-listHighlightForeground: #668ac4;--wp-menuBackground: #eceeff;--wp-menuForeground: #000000;--wp-menuSelectionBackground: #2b3990;--wp-menuSelectionBorder: #101014;--wp-menuSelectionForeground: #ffffff;--wp-menuSeparatorBackground: #d4d4d4;--wp-hintOutline: #acb0d0;--wp-notificationsBackground: #2b3990;--wp-notificationsForeground: #ffffff;--wp-quickInputBackground:#ffffff;--wp-quickInputForeground: #787c99;--wp-terminalAnsiGreen: #73daca;--wp-terminalAnsiRed: #f7768e;--wp-terminalAnsiYellow: #e0af68;--wp-textCodeBlockBackground: #aab0d3;--wp-textSeparatorForeground: #363b54}
+/*# sourceMappingURL=data:application/json;base64,ewogICJ2ZXJzaW9uIjogMywKICAic291cmNlcyI6IFsiLi4vLi4vc3JjL3N0eWxlcy93YXRlcnByb29mLWRlZmF1bHRzLmNzcyJdLAogICJzb3VyY2VzQ29udGVudCI6IFsiLyogVGhlc2Ugc3R5bGUgbmFtZXMgYXJlIGlucHNpcmVkIGJ5IHRoZSBwcm9wZXJ0aWVzIGZyb20gVlNDb2RlIHdlIG9yaWdpbmFsbHkgdXNlZCAqL1xuOnJvb3Qge1xuICAtLXdwLWJ1dHRvbkJhY2tncm91bmQ6ICMyYjM5OTA7XG4gIC0td3AtYnV0dG9uQm9yZGVyOiAjZmZmZmZmO1xuICAtLXdwLWJ1dHRvbkZvcmVncm91bmQ6ICNmZmZmZmY7XG4gIC0td3AtYnV0dG9uSG92ZXJCYWNrZ3JvdW5kOiAjMjMyZDczO1xuICAtLXdwLWJ1dHRvblNlY29uZGFyeUJhY2tncm91bmQ6ICMyYjM5OTA7XG4gIC0td3AtZHJvcGRvd25Cb3JkZXI6ICNjZWNlY2U7XG4gIC0td3AtZHJvcGRvd25MaXN0QmFja2dyb3VuZDogI2ZmZmZmZjtcbiAgLS13cC1lZGl0b3JCYWNrZ3JvdW5kOiAjZWNlZWZmO1xuICAtLXdwLWVkaXRvckZvbnRGYW1pbHk6ICdEcm9pZCBTYW5zIE1vbm8nLCBtb25vc3BhY2U7XG4gIC0td3AtZWRpdG9yRm9udFNpemU6IDE0cHg7XG4gIC0td3AtZWRpdG9yRm9udFdlaWdodDogbm9ybWFsO1xuICAtLXdwLWVkaXRvckhpbnRGb3JlZ3JvdW5kOiAjMGRhMGJhO1xuICAtLXdwLWVkaXRvcklubGF5SGludEJhY2tncm91bmQ6IHJnYmEoMjU1LCAyNTUsIDI1NSwgMC4xKTtcbiAgLS13cC1lZGl0b3JJbmxheUhpbnRGb3JlZ3JvdW5kOiAjOTY5Njk2O1xuICAtLXdwLWVkaXRvckxpZ2h0QnVsYkZvcmVncm91bmQ6ICNlMGFmNjg7XG4gIC0td3AtZWRpdG9yTGluZUhpZ2hsaWdodEJhY2tncm91bmQ6IHJnYmEoMTgyLCAxODIsIDE4MiwgMC4yOCk7XG4gIC0td3AtZWRpdG9yU2VsZWN0aW9uQmFja2dyb3VuZDogcmdiYSgxNzIsIDE3NiwgMjA4LCAwLjQ4KTtcbiAgLS13cC1lZGl0b3JTZWxlY3Rpb25Gb3JlZ3JvdW5kOiAjMDAwMDAwO1xuICAtLXdwLWVycm9yRm9yZWdyb3VuZDogI2ZmZmZmZjtcbiAgLS13cC1mb250RmFtaWx5OiBzeXN0ZW0tdWksIFwiVWJ1bnR1XCIsIFwiRHJvaWQgU2Fuc1wiLCBzYW5zLXNlcmlmO1xuICAtLXdwLWZvbnRTaXplOiAxM3B4O1xuICAtLXdwLWZvbnRXZWlnaHQ6IG5vcm1hbDtcbiAgLS13cC1mb3JlZ3JvdW5kOiAjMDAwMDAwO1xuICAtLXdwLWlucHV0QmFja2dyb3VuZDogI2VjZWVmZjtcbiAgLS13cC1pbnB1dEJvcmRlcjogI2VjZWVmZjtcbiAgLS13cC1pbnB1dEZvcmVncm91bmQ6ICMwMDAwMDA7XG4gIC0td3AtbGlzdEFjdGl2ZXNlbGVjdGlvbkJhY2tncm91bmQ6ICM1NTYxYTY7XG4gIC0td3AtbGlzdEFjdGl2ZXNlbGVjdGlvbkZvcmVncm91bmQ6ICNmZmZmZmY7XG4gIC0td3AtbGlzdERyb3BCYWNrZ3JvdW5kOiAjMWUyMDJlO1xuICAtLXdwLWxpc3RGaWx0ZXJXaWRnZXRCYWNrZ3JvdW5kOiAjZjhmOGY4O1xuICAtLXdwLWxpc3RIaWdobGlnaHRGb3JlZ3JvdW5kOiAjNjY4YWM0O1xuICAtLXdwLW1lbnVCYWNrZ3JvdW5kOiAjZWNlZWZmO1xuICAtLXdwLW1lbnVGb3JlZ3JvdW5kOiAjMDAwMDAwO1xuICAtLXdwLW1lbnVTZWxlY3Rpb25CYWNrZ3JvdW5kOiAjMmIzOTkwO1xuICAtLXdwLW1lbnVTZWxlY3Rpb25Cb3JkZXI6ICMxMDEwMTQ7XG4gIC0td3AtbWVudVNlbGVjdGlvbkZvcmVncm91bmQ6ICNmZmZmZmY7XG4gIC0td3AtbWVudVNlcGFyYXRvckJhY2tncm91bmQ6ICNkNGQ0ZDQ7XG4gIC0td3AtaGludE91dGxpbmU6ICNhY2IwZDA7XG4gIC0td3Atbm90aWZpY2F0aW9uc0JhY2tncm91bmQ6ICMyYjM5OTA7XG4gIC0td3Atbm90aWZpY2F0aW9uc0ZvcmVncm91bmQ6ICNmZmZmZmY7XG4gIC0td3AtcXVpY2tJbnB1dEJhY2tncm91bmQ6I2ZmZmZmZjtcbiAgLS13cC1xdWlja0lucHV0Rm9yZWdyb3VuZDogIzc4N2M5OTtcbiAgLS13cC10ZXJtaW5hbEFuc2lHcmVlbjogIzczZGFjYTtcbiAgLS13cC10ZXJtaW5hbEFuc2lSZWQ6ICNmNzc2OGU7XG4gIC0td3AtdGVybWluYWxBbnNpWWVsbG93OiAjZTBhZjY4O1xuICAtLXdwLXRleHRDb2RlQmxvY2tCYWNrZ3JvdW5kOiAjYWFiMGQzO1xuICAtLXdwLXRleHRTZXBhcmF0b3JGb3JlZ3JvdW5kOiAjMzYzYjU0O1xufSJdLAogICJtYXBwaW5ncyI6ICJBQUNBLE1BQ0UsdUJBQXVCLFFBQ3ZCLG1CQUFtQixRQUNuQix1QkFBdUIsUUFDdkIsNEJBQTRCLFFBQzVCLGdDQUFnQyxRQUNoQyxxQkFBcUIsUUFDckIsNkJBQTZCLFFBQzdCLHVCQUF1QixRQUN2Qix1QkFBdUIsaUJBQWlCLEVBQUUsVUFDMUMscUJBQXFCLEtBQ3JCLHVCQUF1QixPQUN2QiwyQkFBMkIsUUFDM0IsZ0NBQWdDLEtBQUssR0FBRyxFQUFFLEdBQUcsRUFBRSxHQUFHLEVBQUUsSUFDcEQsZ0NBQWdDLFFBQ2hDLGdDQUFnQyxRQUNoQyxvQ0FBb0MsS0FBSyxHQUFHLEVBQUUsR0FBRyxFQUFFLEdBQUcsRUFBRSxLQUN4RCxnQ0FBZ0MsS0FBSyxHQUFHLEVBQUUsR0FBRyxFQUFFLEdBQUcsRUFBRSxLQUNwRCxnQ0FBZ0MsUUFDaEMsc0JBQXNCLFFBQ3RCLGlCQUFpQixTQUFTLEVBQUUsUUFBUSxFQUFFLFlBQVksRUFBRSxXQUNwRCxlQUFlLEtBQ2YsaUJBQWlCLE9BQ2pCLGlCQUFpQixRQUNqQixzQkFBc0IsUUFDdEIsa0JBQWtCLFFBQ2xCLHNCQUFzQixRQUN0QixvQ0FBb0MsUUFDcEMsb0NBQW9DLFFBQ3BDLHlCQUF5QixRQUN6QixpQ0FBaUMsUUFDakMsOEJBQThCLFFBQzlCLHFCQUFxQixRQUNyQixxQkFBcUIsUUFDckIsOEJBQThCLFFBQzlCLDBCQUEwQixRQUMxQiw4QkFBOEIsUUFDOUIsOEJBQThCLFFBQzlCLGtCQUFrQixRQUNsQiw4QkFBOEIsUUFDOUIsOEJBQThCLFFBQzlCLDBCQUEwQixRQUMxQiwyQkFBMkIsUUFDM0Isd0JBQXdCLFFBQ3hCLHNCQUFzQixRQUN0Qix5QkFBeUIsUUFDekIsOEJBQThCLFFBQzlCLDhCQUE4QixPQUNoQyIsCiAgIm5hbWVzIjogW10KfQo= */

package/dist/translation/index.d.ts

@@ -1,2 +1,2 @@
-export { FileTranslator } from "./Translator";
+export { toMathInline, defaultToMarkdown } from "./toMarkdownTranslation";
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/translation/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/translation/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC"}