@impermeable/waterproof-editor 0.14.1 → 0.15.1

package/.prettierignore

@@ -0,0 +1,3 @@
+node_modules/
+dist/
+coverage/

package/.prettierrc

@@ -0,0 +1 @@
+{}

package/README.md

@@ -12,3 +12,18 @@ WaterproofEditor supports and is designed to be used with mixed documents, conta
 As WaterproofEditor was designed to be used in an educational setting it supports two additional types of 'cells':
 - **Input areas**: Specific regions of a document meant to be edited.
 - **Hints**: Collapsible regions of a document that can be used to hide parts of a document from a user. This can be used to give hints to students or to simply hide the import of packages/libraries.
+
+## Development
+
+### Installing dependencies
+Run `npm install` or `npm i` in the root folder of the repository.
+
+### Formatting
+Run `npm run format` to auto-format all TypeScript/JavaScript files. Run `npm run format:check` to check without writing.
+
+### Git hooks
+This repository includes a pre-commit hook that blocks commits with formatting issues. To enable it, run once after cloning:
+```
+git config core.hooksPath hooks
+```
+If the hook rejects your commit, run `npm run format` and stage the changes before retrying.

package/dist/api/Completions.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Completions.d.ts","sourceRoot":"","sources":["../../src/api/Completions.ts"],"names":[],"mappings":"AACA;;GAEG;AACH,MAAM,MAAM,oBAAoB,GAAG;IAC/B,8CAA8C;IAC9C,KAAK,EAAE,MAAM,CAAC;IACd,iCAAiC;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAA;CACnB,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC3B,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAA;CAChB,CAAA"}
+{"version":3,"file":"Completions.d.ts","sourceRoot":"","sources":["../../src/api/Completions.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,MAAM,MAAM,oBAAoB,GAAG;IACjC,8CAA8C;IAC9C,KAAK,EAAE,MAAM,CAAC;IACd,iCAAiC;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;CAClB,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC7B,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;CACf,CAAC"}

package/dist/api/DocChange.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"DocChange.d.ts","sourceRoot":"","sources":["../../src/api/DocChange.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,MAAM,SAAS,GAAG;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;CACrB,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC5B,SAAS,EAAE,SAAS,CAAC;IACrB,UAAU,EAAE,SAAS,CAAC;CACzB,CAAA"}
+{"version":3,"file":"DocChange.d.ts","sourceRoot":"","sources":["../../src/api/DocChange.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,MAAM,MAAM,SAAS,GAAG;IACtB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;CACnB,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC9B,SAAS,EAAE,SAAS,CAAC;IACrB,UAAU,EAAE,SAAS,CAAC;CACvB,CAAC"}

package/dist/api/InputAreaStatus.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"InputAreaStatus.d.ts","sourceRoot":"","sources":["../../src/api/InputAreaStatus.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,oBAAY,eAAe;IACvB,2DAA2D;IAC3D,OAAO,YAAY;IACnB,6DAA6D;IAC7D,SAAS,cAAc;IACvB,4EAA4E;IAC5E,OAAO,YAAY;IACnB,6EAA6E;IAC7E,SAAS,gBAAgB;CAC5B"}
+{"version":3,"file":"InputAreaStatus.d.ts","sourceRoot":"","sources":["../../src/api/InputAreaStatus.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,oBAAY,eAAe;IACzB,2DAA2D;IAC3D,OAAO,YAAY;IACnB,6DAA6D;IAC7D,SAAS,cAAc;IACvB,4EAA4E;IAC5E,OAAO,YAAY;IACnB,6EAA6E;IAC7E,SAAS,gBAAgB;CAC1B"}

package/dist/api/MessageHandlerEditor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"MessageHandlerEditor.d.ts","sourceRoot":"","sources":["../../src/api/MessageHandlerEditor.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,KAAK,EAAE,aAAa,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAC3E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAEzD;;;;;GAKG;AACH,MAAM,WAAW,oBAAoB;IACpC,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC;IAC/C,YAAY,EAAE,CAAC,aAAa,EAAE,MAAM,KAAK,OAAO,CAAC;IACjD,aAAa,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,IAAI,CAAC;IAC1C,YAAY,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC;IACpE,iBAAiB,EAAE,CAAC,WAAW,EAAE,UAAU,EAAE,KAAK,IAAI,CAAC;IACvD,kBAAkB,EAAE,CAAC,QAAQ,EAAE,eAAe,EAAE,KAAK,IAAI,CAAC;IAC1D,kBAAkB,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,IAAI,CAAC;IAC5C,gBAAgB,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,IAAI,CAAC;IAC1C,mBAAmB,EAAE,CAAC,aAAa,EAAE,aAAa,KAAK,IAAI,CAAC;IAC5D,kBAAkB,EAAE,CAAC,kBAAkB,EAAE,OAAO,KAAK,IAAI,CAAC;IAC1D,eAAe,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC;IAC5D,oBAAoB,EAAE,MAAM,IAAI,CAAC;IACjC,cAAc,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,IAAI,CAAC;IAC3E,gBAAgB,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IACzC,oBAAoB,EAAE,CAAC,WAAW,EAAE,KAAK,CAAC,gBAAgB,CAAC,KAAK,IAAI,CAAC;IACrE,YAAY,EAAE,MAAM,IAAI,CAAC;IACzB,WAAW,EAAE,MAAM,IAAI,CAAC;IACxB,oBAAoB,EAAE,CAAC,KAAK,EAAE,UAAU,KAAK,IAAI,CAAC;CAClD"}
+{"version":3,"file":"MessageHandlerEditor.d.ts","sourceRoot":"","sources":["../../src/api/MessageHandlerEditor.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,KAAK,EAAE,aAAa,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAC3E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAEzD;;;;;GAKG;AACH,MAAM,WAAW,oBAAoB;IACnC,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC;IAC/C,YAAY,EAAE,CAAC,aAAa,EAAE,MAAM,KAAK,OAAO,CAAC;IACjD,aAAa,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,IAAI,CAAC;IAC1C,YAAY,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC;IACpE,iBAAiB,EAAE,CAAC,WAAW,EAAE,UAAU,EAAE,KAAK,IAAI,CAAC;IACvD,kBAAkB,EAAE,CAAC,QAAQ,EAAE,eAAe,EAAE,KAAK,IAAI,CAAC;IAC1D,kBAAkB,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,IAAI,CAAC;IAC5C,gBAAgB,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,IAAI,CAAC;IAC1C,mBAAmB,EAAE,CAAC,aAAa,EAAE,aAAa,KAAK,IAAI,CAAC;IAC5D,kBAAkB,EAAE,CAAC,kBAAkB,EAAE,OAAO,KAAK,IAAI,CAAC;IAC1D,eAAe,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC;IAC5D,oBAAoB,EAAE,MAAM,IAAI,CAAC;IACjC,cAAc,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,IAAI,CAAC;IAC3E,gBAAgB,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IACzC,oBAAoB,EAAE,CAAC,WAAW,EAAE,KAAK,CAAC,gBAAgB,CAAC,KAAK,IAAI,CAAC;IACrE,YAAY,EAAE,MAAM,IAAI,CAAC;IACzB,WAAW,EAAE,MAAM,IAAI,CAAC;IACxB,oBAAoB,EAAE,CAAC,KAAK,EAAE,UAAU,KAAK,IAAI,CAAC;CACnD"}

package/dist/api/Severity.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Severity.d.ts","sourceRoot":"","sources":["../../src/api/Severity.ts"],"names":[],"mappings":"AACA;;GAEG;AACH,oBAAY,QAAQ;IACnB,KAAK,IAAI;IACT,OAAO,IAAI;IACX,WAAW,IAAI;IACZ,IAAI,IAAI;CACX;AAED,MAAM,MAAM,aAAa,GAAG,MAAM,GAAG,MAAM,GAAG,SAAS,GAAG,OAAO,CAAC;AAElE,eAAO,MAAM,gBAAgB,EAAE,MAAM,CAAC,QAAQ,EAAE,aAAa,CAK5D,CAAC"}
+{"version":3,"file":"Severity.d.ts","sourceRoot":"","sources":["../../src/api/Severity.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,oBAAY,QAAQ;IAClB,KAAK,IAAI;IACT,OAAO,IAAI;IACX,WAAW,IAAI;IACf,IAAI,IAAI;CACT;AAED,MAAM,MAAM,aAAa,GAAG,MAAM,GAAG,MAAM,GAAG,SAAS,GAAG,OAAO,CAAC;AAElE,eAAO,MAAM,gBAAgB,EAAE,MAAM,CAAC,QAAQ,EAAE,aAAa,CAK5D,CAAC"}

package/dist/api/types.d.ts

@@ -16,7 +16,7 @@ export type Range = {
 /**
  * A `WaterproofDocument` is a collection of `Block`s. Every Block in this WaterproofDocument will get translated into some ProseMirror node.
  *
- * Supported blocks are `HintBlock`, `InputAreaBlock`, `MarkdownBlock`, `CoqBlock` and `MathDisplayBlock`.
+ * Supported blocks are `HintBlock`, `InputAreaBlock`, `MarkdownBlock`, `CodeBlock` and `MathDisplayBlock`.
  *
  * Also see [documentation/UsingWaterproofEditor.md](../../documentation/UsingWaterproofEditor.md)
  */
@@ -81,7 +81,7 @@ export type TagConfiguration = {
     markdown: OpenCloseTag & RequiresNewline;
     code: OpenCloseTag & RequiresNewline;
     hint: {
-        openTag: ((title: string) => string);
+        openTag: (title: string) => string;
         closeTag: string;
     } & RequiresNewline;
     input: OpenCloseTag & RequiresNewline;
@@ -152,7 +152,7 @@ export type WaterproofEditorConfig = {
     serializer?: DocumentSerializer;
     /** The name of the markdown node view, defaults to `"Markdown"`.
      * This name will show up in the editor when editing text in 'Markdown' cells.
-    */
+     */
     markdownName?: string;
     /**
      * A function that can be used to convert a different markup variant into Markdown.

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

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/api/types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvE,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACpC,OAAO,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AACzE,OAAO,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACvE,OAAO,EAAE,SAAS,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAC3D,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAEtC,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI;IACxB,GAAG,EAAE,CAAC,CAAC;IACP,GAAG,EAAE,MAAM,GAAG,SAAS,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,KAAK,GAAG;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAC,CAAC;AAE/C;;;;;;GAMG;AACH,MAAM,MAAM,kBAAkB,GAAG,KAAK,EAAE,CAAC;AAEzC,MAAM,MAAM,mBAAmB,GAAG;IAC9B,+DAA+D;IAC/D,cAAc,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IACxD,uGAAuG;IACvG,WAAW,EAAE,MAAM,IAAI,CAAC;IACxB,0DAA0D;IAC1D,WAAW,EAAE,MAAM,IAAI,CAAC;IACxB;;;OAGG;IACH,cAAc,EAAE,CAAC,MAAM,EAAE,SAAS,GAAG,iBAAiB,KAAK,IAAI,CAAC;IAChE,gGAAgG;IAChG,cAAc,EAAE,CAAC,YAAY,EAAE,MAAM,KAAK,IAAI,CAAC;IAC/C,sIAAsI;IACtI,YAAY,EAAE,CAAC,cAAc,EAAE,MAAM,KAAK,IAAI,CAAC;IAC/C,0FAA0F;IAC1F,YAAY,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,KAAK,IAAI,CAAC;CACtD,CAAA;AAED;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG;IACvB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAA;CACnB,CAAA;AAED,0BAAkB,sBAAsB;IACpC,IAAI,IAAI,CAAE,QAAQ;IAClB,QAAQ,IAAI,CAAE,QAAQ;IACtB,YAAY,IAAI;CACnB;AAED;;;;;;;;;;GAUG;AACH,MAAM,MAAM,eAAe,GAAG;IAAE,mBAAmB,EAAE,OAAO,CAAC;IAAC,oBAAoB,EAAE,OAAO,CAAA;CAAE,CAAC;AAE9F;;;;;;;;;GASG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC3B,QAAQ,EAAE,YAAY,GAAG,eAAe,CAAC;IACzC,IAAI,EAAE,YAAY,GAAG,eAAe,CAAC;IACrC,IAAI,EAAG;QAAE,OAAO,EAAE,CAAC,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,GAAG,eAAe,CAAC;IACpF,KAAK,EAAE,YAAY,GAAG,eAAe,CAAC;IACtC,IAAI,EAAE,YAAY,GAAG,eAAe,CAAC;IACrC,SAAS,EAAE;QAAE,OAAO,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,GAAG,eAAe,CAAC;CACxF,CAAA;AAED,qBAAa,eAAgB,SAAQ,KAAK;gBAC1B,OAAO,EAAE,MAAM;CAC9B;AAED,qBAAa,eAAgB,SAAQ,KAAK;gBAC1B,OAAO,EAAE,MAAM;CAC9B;AAED,qBAAa,YAAa,SAAQ,KAAK;gBACvB,OAAO,EAAE,MAAM;CAC9B;AAED,MAAM,MAAM,YAAY,GAAG;IACvB,sCAAsC;IACtC,KAAK,EAAE,MAAM,CAAC;IACd,uDAAuD;IACvD,SAAS,EAAE,MAAM,CAAC;IAClB,yDAAyD;IACzD,QAAQ,EAAE,MAAM,IAAI,CAAC;IACrB,+JAA+J;IAC/J,QAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,WAAW,KAAK,OAAO,CAAC;IAC3C,0CAA0C;IAC1C,gBAAgB,CAAC,EAAE;QACf,sEAAsE;QACtE,eAAe,CAAC,EAAE,OAAO,CAAC;QAC1B,yHAAyH;QACzH,aAAa,CAAC,EAAE,OAAO,CAAC;KAC3B,CAAA;CACJ,CAAA;AAED,MAAM,MAAM,qBAAqB,GAAG;IAChC,eAAe,EAAE,eAAe,CAAC;IACjC,cAAc,EAAE,cAAc,CAAC;IAC/B,aAAa,EAAE,cAAc,CAAC;CACjC,CAAA;AAED;;;;;;GAMG;AACH,MAAM,MAAM,sBAAsB,GAAG;IACjC,qEAAqE;IACrE,WAAW,EAAE,KAAK,CAAC,oBAAoB,CAAC,CAAC;IACzC,2EAA2E;IAC3E,OAAO,EAAE,KAAK,CAAC,gBAAgB,CAAC,CAAC;IACjC,wDAAwD;IACxD,GAAG,EAAE,mBAAmB,CAAC;IACzB,+EAA+E;IAC/E,mBAAmB,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,kBAAkB,CAAC;IAE9D;;;;OAIG;IACH,gBAAgB,EAAE,gBAAgB,CAAC;IAEnC;;;;OAIG;IACH,UAAU,CAAC,EAAE,kBAAkB,CAAC;IAEhC;;MAEE;IACF,YAAY,CAAC,EAAE,MAAM,CAAC;IAEtB;;;;;;;OAOG;IACH,UAAU,CAAC,EAAE,CAAC,WAAW,EAAE,MAAM,KAAK,MAAM,CAAC;IAC7C;;OAEG;IACH,uBAAuB,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IAExC;;OAEG;IACH,cAAc,CAAC,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;IAErC,cAAc,CAAC,EAAE,qBAAqB,CAAC;CAC1C,CAAA;AAED,oBAAY,aAAa;IACrB,IAAI,IAAA;IACJ,IAAI,IAAA;CACP;AAED,MAAM,WAAW,gBAAgB;IAC7B,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,QAAQ,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;CACrB;AAED,oBAAY,UAAU;IAClB,KAAK,IAAA;IAAE,IAAI,IAAA;CACd"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/api/types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AACvE,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACpC,OAAO,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AACzE,OAAO,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACvE,OAAO,EAAE,SAAS,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAC3D,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAEtC,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI;IAC1B,GAAG,EAAE,CAAC,CAAC;IACP,GAAG,EAAE,MAAM,GAAG,SAAS,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,KAAK,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC;AAEjD;;;;;;GAMG;AACH,MAAM,MAAM,kBAAkB,GAAG,KAAK,EAAE,CAAC;AAEzC,MAAM,MAAM,mBAAmB,GAAG;IAChC,+DAA+D;IAC/D,cAAc,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IACxD,uGAAuG;IACvG,WAAW,EAAE,MAAM,IAAI,CAAC;IACxB,0DAA0D;IAC1D,WAAW,EAAE,MAAM,IAAI,CAAC;IACxB;;;OAGG;IACH,cAAc,EAAE,CAAC,MAAM,EAAE,SAAS,GAAG,iBAAiB,KAAK,IAAI,CAAC;IAChE,gGAAgG;IAChG,cAAc,EAAE,CAAC,YAAY,EAAE,MAAM,KAAK,IAAI,CAAC;IAC/C,sIAAsI;IACtI,YAAY,EAAE,CAAC,cAAc,EAAE,MAAM,KAAK,IAAI,CAAC;IAC/C,0FAA0F;IAC1F,YAAY,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,KAAK,IAAI,CAAC;CACpD,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;CAClB,CAAC;AAEF,0BAAkB,sBAAsB;IACtC,IAAI,IAAI,CAAE,QAAQ;IAClB,QAAQ,IAAI,CAAE,QAAQ;IACtB,YAAY,IAAI;CACjB;AAED;;;;;;;;;;GAUG;AACH,MAAM,MAAM,eAAe,GAAG;IAC5B,mBAAmB,EAAE,OAAO,CAAC;IAC7B,oBAAoB,EAAE,OAAO,CAAC;CAC/B,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,EAAE,YAAY,GAAG,eAAe,CAAC;IACzC,IAAI,EAAE,YAAY,GAAG,eAAe,CAAC;IACrC,IAAI,EAAE;QACJ,OAAO,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC;QACnC,QAAQ,EAAE,MAAM,CAAC;KAClB,GAAG,eAAe,CAAC;IACpB,KAAK,EAAE,YAAY,GAAG,eAAe,CAAC;IACtC,IAAI,EAAE,YAAY,GAAG,eAAe,CAAC;IACrC,SAAS,EAAE;QACT,OAAO,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC;QAClC,QAAQ,EAAE,MAAM,CAAC;KAClB,GAAG,eAAe,CAAC;CACrB,CAAC;AAEF,qBAAa,eAAgB,SAAQ,KAAK;gBAC5B,OAAO,EAAE,MAAM;CAG5B;AAED,qBAAa,eAAgB,SAAQ,KAAK;gBAC5B,OAAO,EAAE,MAAM;CAG5B;AAED,qBAAa,YAAa,SAAQ,KAAK;gBACzB,OAAO,EAAE,MAAM;CAG5B;AAED,MAAM,MAAM,YAAY,GAAG;IACzB,sCAAsC;IACtC,KAAK,EAAE,MAAM,CAAC;IACd,uDAAuD;IACvD,SAAS,EAAE,MAAM,CAAC;IAClB,yDAAyD;IACzD,QAAQ,EAAE,MAAM,IAAI,CAAC;IACrB,+JAA+J;IAC/J,QAAQ,CAAC,EAAE,CAAC,KAAK,EAAE,WAAW,KAAK,OAAO,CAAC;IAC3C,0CAA0C;IAC1C,gBAAgB,CAAC,EAAE;QACjB,sEAAsE;QACtE,eAAe,CAAC,EAAE,OAAO,CAAC;QAC1B,yHAAyH;QACzH,aAAa,CAAC,EAAE,OAAO,CAAC;KACzB,CAAC;CACH,CAAC;AAEF,MAAM,MAAM,qBAAqB,GAAG;IAClC,eAAe,EAAE,eAAe,CAAC;IACjC,cAAc,EAAE,cAAc,CAAC;IAC/B,aAAa,EAAE,cAAc,CAAC;CAC/B,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,MAAM,sBAAsB,GAAG;IACnC,qEAAqE;IACrE,WAAW,EAAE,KAAK,CAAC,oBAAoB,CAAC,CAAC;IACzC,2EAA2E;IAC3E,OAAO,EAAE,KAAK,CAAC,gBAAgB,CAAC,CAAC;IACjC,wDAAwD;IACxD,GAAG,EAAE,mBAAmB,CAAC;IACzB,+EAA+E;IAC/E,mBAAmB,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,kBAAkB,CAAC;IAE9D;;;;OAIG;IACH,gBAAgB,EAAE,gBAAgB,CAAC;IAEnC;;;;OAIG;IACH,UAAU,CAAC,EAAE,kBAAkB,CAAC;IAEhC;;OAEG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC;IAEtB;;;;;;;OAOG;IACH,UAAU,CAAC,EAAE,CAAC,WAAW,EAAE,MAAM,KAAK,MAAM,CAAC;IAC7C;;OAEG;IACH,uBAAuB,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IAExC;;OAEG;IACH,cAAc,CAAC,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;IAErC,cAAc,CAAC,EAAE,qBAAqB,CAAC;CACxC,CAAC;AAEF,oBAAY,aAAa;IACvB,IAAI,IAAA;IACJ,IAAI,IAAA;CACL;AAED,MAAM,WAAW,gBAAgB;IAC/B,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,QAAQ,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,oBAAY,UAAU;IACpB,KAAK,IAAA;IACL,IAAI,IAAA;CACL"}

package/dist/autocomplete/renderSymbol.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"renderSymbol.d.ts","sourceRoot":"","sources":["../../src/autocomplete/renderSymbol.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAgBtD,eAAO,MAAM,UAAU;yBAdK,UAAU,KAAG,UAAU,CAAC,IAAI,GAAG,IAAI;;CAiB9D,CAAA"}
+{"version":3,"file":"renderSymbol.d.ts","sourceRoot":"","sources":["../../src/autocomplete/renderSymbol.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAgBtD,eAAO,MAAM,UAAU;yBAdK,UAAU,KAAG,UAAU,CAAC,IAAI,GAAG,IAAI;;CAiB9D,CAAC"}

package/dist/codeview/busy-indicator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"busy-indicator.d.ts","sourceRoot":"","sources":["../../src/codeview/busy-indicator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAU,YAAY,EAAE,MAAM,kBAAkB,CAAC;AACpE,OAAO,EAAE,UAAU,EAAe,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAEtE;;;;;GAKG;AACH,qBAAa,mBAAoB,SAAQ,YAAY;IAMvC,OAAO,CAAC,QAAQ,CAAC,KAAK;IAAU,OAAO,CAAC,QAAQ,CAAC,KAAK;IALlE;;;;OAIG;gBAC0B,KAAK,EAAE,MAAM,EAAmB,KAAK,EAAE,MAAM;IAI1E;;;;;;;;OAQG;IACH,EAAE,CAAC,KAAK,EAAE,YAAY,GAAG,OAAO;IAIhC;;;;;;;;OAQG;IACH,KAAK,IAAI,IAAI;CAUd;AAMD,eAAO,MAAM,uBAAuB,MAAM,CAAC;AAG3C,eAAO,MAAM,oBAAoB,mBAAmB,CAAC;AAErD;;;;GAIG;AACH,qBAAa,sBAAsB;IAGjC;;;OAGG;IACH,OAAO,CAAC,QAAQ,CAAC,aAAa,CAE3B;IAEH;;OAEG;IACH,OAAO,CAAC,QAAQ,CAAC,eAAe,CAA8B;IAI9D;;;OAGG;IACH,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAqC;IAE/D;;;;OAIG;IACH,OAAO,CAAC,QAAQ,CAAC,UAAU,CAA4B;IAIvD;;;;OAIG;IACH,OAAO,CAAC,cAAc,CAAuB;;IAoC7C;;;;;;OAMG;IACI,aAAa;IAMpB;;;;;;;;;;;;;;;;OAgBG;IACI,OAAO,CACZ,IAAI,EAAE,UAAU,EAChB,SAAS,EAAE,MAAM,EACjB,aAAa,EAAE,MAAM,GAAG,SAAS,GAChC,IAAI;IAyBP;;;;OAIG;IACI,SAAS,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI;IAMxC;;;;OAIG;IACH,OAAO,CAAC,iBAAiB;CAM1B"}
+{"version":3,"file":"busy-indicator.d.ts","sourceRoot":"","sources":["../../src/codeview/busy-indicator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAU,YAAY,EAAE,MAAM,kBAAkB,CAAC;AACpE,OAAO,EAAE,UAAU,EAAe,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAEtE;;;;;GAKG;AACH,qBAAa,mBAAoB,SAAQ,YAAY;IAOjD,OAAO,CAAC,QAAQ,CAAC,KAAK;IACtB,OAAO,CAAC,QAAQ,CAAC,KAAK;IAPxB;;;;OAIG;gBAEgB,KAAK,EAAE,MAAM,EACb,KAAK,EAAE,MAAM;IAKhC;;;;;;;;OAQG;IACH,EAAE,CAAC,KAAK,EAAE,YAAY,GAAG,OAAO;IAIhC;;;;;;;;OAQG;IACH,KAAK,IAAI,IAAI;CAUd;AAMD,eAAO,MAAM,uBAAuB,MAAM,CAAC;AAG3C,eAAO,MAAM,oBAAoB,mBAAmB,CAAC;AAErD;;;;GAIG;AACH,qBAAa,sBAAsB;IAGjC;;;OAGG;IACH,OAAO,CAAC,QAAQ,CAAC,aAAa,CAE3B;IAEH;;OAEG;IACH,OAAO,CAAC,QAAQ,CAAC,eAAe,CAA8B;IAI9D;;;OAGG;IACH,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAqC;IAE/D;;;;OAIG;IACH,OAAO,CAAC,QAAQ,CAAC,UAAU,CAA4B;IAIvD;;;;OAIG;IACH,OAAO,CAAC,cAAc,CAAuB;;IAoC7C;;;;;;OAMG;IACI,aAAa;IAMpB;;;;;;;;;;;;;;;;OAgBG;IACI,OAAO,CACZ,IAAI,EAAE,UAAU,EAChB,SAAS,EAAE,MAAM,EACjB,aAAa,EAAE,MAAM,GAAG,SAAS,GAChC,IAAI;IAyBP;;;;OAIG;IACI,SAAS,CAAC,IAAI,EAAE,UAAU,GAAG,IAAI;IAMxC;;;;OAIG;IACH,OAAO,CAAC,iBAAiB;CAM1B"}

package/dist/codeview/code-plugin.d.ts

@@ -23,6 +23,6 @@ export declare const CODE_PLUGIN_KEY: PluginKey<ICodePluginState>;
  * Returns a function suitable for passing as a field in `EditorProps.nodeViews`.
  * @see https://prosemirror.net/docs/ref/#view.EditorProps.nodeViews
  */
-export declare function createCoqCodeView(completions: Array<Completion>, symbols: Array<Completion>, editorInstance: WaterproofEditor, initialThemeStyle: ThemeStyle, languageConfig?: LanguageConfiguration): (node: ProseNode, view: EditorView, getPos: () => number | undefined) => CodeBlockView;
+export declare function createCodeBlockView(completions: Array<Completion>, symbols: Array<Completion>, editorInstance: WaterproofEditor, initialThemeStyle: ThemeStyle, languageConfig?: LanguageConfiguration): (node: ProseNode, view: EditorView, getPos: () => number | undefined) => CodeBlockView;
 export declare const codePlugin: (completions: Array<WaterproofCompletion>, symbols: Array<WaterproofSymbol>, editorInstance: WaterproofEditor, initialThemeStyle: ThemeStyle, languageConfig?: LanguageConfiguration) => ProsePlugin<ICodePluginState>;
 //# sourceMappingURL=code-plugin.d.ts.map

package/dist/codeview/code-plugin.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"code-plugin.d.ts","sourceRoot":"","sources":["../../src/codeview/code-plugin.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,MAAM,EAAE,IAAI,IAAI,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC9D,OAAO,EAAE,MAAM,IAAI,WAAW,EAAE,SAAS,EAAc,MAAM,mBAAmB,CAAC;AACjF,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE3C,OAAO,EAAE,qBAAqB,EAAE,UAAU,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,QAAQ,CAAC;AACnG,OAAO,EAAE,UAAU,EAAqB,MAAM,0BAA0B,CAAC;AACzE,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAI7C,MAAM,WAAW,gBAAgB;IAChC,MAAM,EAAE;QAAE,CAAC,GAAG,EAAC,MAAM,GAAI,MAAM,CAAA;KAAE,CAAC;IAClC,oIAAoI;IACpI,eAAe,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC;IACjC,qCAAqC;IACrC,MAAM,EAAE,MAAM,CAAC;IACf,oDAAoD;IACpD,SAAS,EAAE,OAAO,CAAC;IACtB,wCAAwC;IACxC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;CACrB;AAED,eAAO,MAAM,eAAe,6BAAmE,CAAC;AAEhG;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,EAAE,cAAc,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,UAAU,EAAE,cAAc,CAAC,EAAE,qBAAqB,IAC5L,MAAM,SAAS,EAAE,MAAM,UAAU,EAAE,QAAQ,MAAM,MAAM,GAAG,SAAS,KAAG,aAAa,CAgB3F;AA2ED,eAAO,MAAM,UAAU,GAAI,aAAa,KAAK,CAAC,oBAAoB,CAAC,EAAE,SAAS,KAAK,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,gBAAgB,EAAE,mBAAmB,UAAU,EAAE,iBAAiB,qBAAqB,kCAO7M,CAAC"}
+{"version":3,"file":"code-plugin.d.ts","sourceRoot":"","sources":["../../src/codeview/code-plugin.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,MAAM,EAAE,IAAI,IAAI,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC9D,OAAO,EACL,MAAM,IAAI,WAAW,EACrB,SAAS,EAEV,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE3C,OAAO,EACL,qBAAqB,EACrB,UAAU,EACV,oBAAoB,EACpB,gBAAgB,EACjB,MAAM,QAAQ,CAAC;AAChB,OAAO,EAAE,UAAU,EAAqB,MAAM,0BAA0B,CAAC;AACzE,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAI7C,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE;QAAE,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAAA;KAAE,CAAC;IAClC,oIAAoI;IACpI,eAAe,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC;IACpC,qCAAqC;IACrC,MAAM,EAAE,MAAM,CAAC;IACf,oDAAoD;IACpD,SAAS,EAAE,OAAO,CAAC;IACnB,wCAAwC;IACxC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;CACtB;AAED,eAAO,MAAM,eAAe,6BAE3B,CAAC;AAEF;;;GAGG;AACH,wBAAgB,mBAAmB,CACjC,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC,EAC9B,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,EAC1B,cAAc,EAAE,gBAAgB,EAChC,iBAAiB,EAAE,UAAU,EAC7B,cAAc,CAAC,EAAE,qBAAqB,IAGpC,MAAM,SAAS,EACf,MAAM,UAAU,EAChB,QAAQ,MAAM,MAAM,GAAG,SAAS,KAC/B,aAAa,CA4BjB;AA0FD,eAAO,MAAM,UAAU,GACrB,aAAa,KAAK,CAAC,oBAAoB,CAAC,EACxC,SAAS,KAAK,CAAC,gBAAgB,CAAC,EAChC,gBAAgB,gBAAgB,EAChC,mBAAmB,UAAU,EAC7B,iBAAiB,qBAAqB,kCAgBvC,CAAC"}

package/dist/codeview/color-scheme.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"color-scheme.d.ts","sourceRoot":"","sources":["../../src/codeview/color-scheme.ts"],"names":[],"mappings":"AAGA;;;GAGG;AACH,eAAO,MAAM,WAAW,uCAA2C,CAAC"}
+{"version":3,"file":"color-scheme.d.ts","sourceRoot":"","sources":["../../src/codeview/color-scheme.ts"],"names":[],"mappings":"AAGA;;;GAGG;AACH,eAAO,MAAM,WAAW,uCAA8C,CAAC"}

package/dist/codeview/debouncer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"debouncer.d.ts","sourceRoot":"","sources":["../../src/codeview/debouncer.ts"],"names":[],"mappings":"AAAA,qBAAa,SAAS;IAClB,OAAO,CAAC,KAAK,CAAa;IAC1B,OAAO,CAAC,MAAM,CAAS;IAEvB,OAAO,CAAC,KAAK,CAAqB;gBAEtB,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,IAAI;IAKpC,IAAI;CAMd"}
+{"version":3,"file":"debouncer.d.ts","sourceRoot":"","sources":["../../src/codeview/debouncer.ts"],"names":[],"mappings":"AAAA,qBAAa,SAAS;IACpB,OAAO,CAAC,KAAK,CAAa;IAC1B,OAAO,CAAC,MAAM,CAAS;IAEvB,OAAO,CAAC,KAAK,CAAqB;gBAEtB,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,IAAI;IAKpC,IAAI;CAMZ"}

package/dist/codeview/nodeview.d.ts

@@ -21,7 +21,7 @@ export declare class CodeBlockView extends EmbeddedCodeMirrorEditor {
     private _themeCompartment;
     private lastUsedDiagnosticsVersion;
     private readonly busyIndicator;
-    constructor(node: Node, view: EditorView, editorInstance: WaterproofEditor, getPos: (() => number | undefined), schema: Schema, completions: Array<Completion>, symbols: Array<Completion>, initialThemeStyle: ThemeStyle, languageConfig?: LanguageConfiguration | undefined);
+    constructor(node: Node, view: EditorView, editorInstance: WaterproofEditor, getPos: () => number | undefined, schema: Schema, completions: Array<Completion>, symbols: Array<Completion>, initialThemeStyle: ThemeStyle, languageConfig?: LanguageConfiguration | undefined);
     dispatchEmpty(): void;
     private partOfInputArea;
     handleSnippet(template: string, posFrom: number, posTo: number, completion?: Completion | undefined): void;
@@ -60,7 +60,7 @@ export declare class CodeBlockView extends EmbeddedCodeMirrorEditor {
      */
     private lintingFunction;
     /**
-     * Add a new coq error to this view
+     * Add a new diagnostic to this view
      * @param from The from position of the error.
      * @param to The to postion of the error (should be larger than `from`).
      * @param message The message attached to this error.

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

@@ -1 +1 @@
-{"version":3,"file":"nodeview.d.ts","sourceRoot":"","sources":["../../src/codeview/nodeview.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAuC,gBAAgB,EAA8M,MAAM,0BAA0B,CAAC;AAMzT,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAG7C,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,EAAsB,UAAU,EAAc,MAAM,kBAAkB,CAAC;AAE9E,OAAO,EAAE,qBAAqB,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AAC3D,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAK7C;;;;GAIG;AACH,qBAAa,aAAc,SAAQ,wBAAwB;IAgBzD,OAAO,CAAC,QAAQ,CAAC,cAAc;IAM/B,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAC;IArBjC,GAAG,EAAE,WAAW,CAAC;IAEjB,OAAO,CAAC,sBAAsB,CAAc;IAC5C,OAAO,CAAC,qBAAqB,CAAY;IACzC,OAAO,CAAC,mBAAmB,CAAoB;IAC/C,OAAO,CAAC,oBAAoB,CAAc;IAC1C,OAAO,CAAC,iBAAiB,CAAc;IAEvC,OAAO,CAAC,0BAA0B,CAAa;IAE/C,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAyB;gBAGtD,IAAI,EAAE,IAAI,EACV,IAAI,EAAE,UAAU,EACC,cAAc,EAAE,gBAAgB,EACjD,MAAM,EAAE,CAAC,MAAM,MAAM,GAAG,SAAS,CAAC,EAClC,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC,EAC9B,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,EAC1B,iBAAiB,EAAE,UAAU,EACZ,cAAc,CAAC,EAAE,qBAAqB,YAAA;IA+OjD,aAAa;IAIpB,OAAO,CAAC,eAAe;IAShB,aAAa,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,CAAC,EAAG,UAAU,GAAG,SAAS;IAQ3G;;OAEG;IACH,iBAAiB,IAAI,IAAI;IASzB;;OAEG;IACI,qBAAqB,CAAC,KAAK,EAAE,UAAU,GAAG,IAAI;IAarD;;;OAGG;IACI,gBAAgB,CAAC,gBAAgB,EAAE,MAAM,GAAG,IAAI;IAKvD,+CAA+C;IACxC,mBAAmB,IAAI,IAAI;IAMlC;;OAEG;IACH,iBAAiB,CAAC,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,GAAG,IAAI;IAWlE;;OAEG;IACH,iBAAiB,CAAC,cAAc,EAAE,UAAU,EAAE,GAAG,IAAI;IAIrD;;;OAGG;IACH,uBAAuB,EAAE,gBAAgB,CAYvC;IAEF;;;;OAIG;IACH,OAAO,CAAC,eAAe,CAmBtB;IAED;;;;;;OAMG;IACI,oBAAoB,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,UAAU;IAuEpG,OAAO,CAAC,oBAAoB;CAwB5B;AAED,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,MAAM,yCAa1C"}
+{"version":3,"file":"nodeview.d.ts","sourceRoot":"","sources":["../../src/codeview/nodeview.ts"],"names":[],"mappings":"AACA,OAAO,EACL,UAAU,EAGV,gBAAgB,EAajB,MAAM,0BAA0B,CAAC;AAUlC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAG9C,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,EAAsB,UAAU,EAAc,MAAM,kBAAkB,CAAC;AAE9E,OAAO,EAAE,qBAAqB,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AAC3D,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAI7C;;;;GAIG;AACH,qBAAa,aAAc,SAAQ,wBAAwB;IAgBvD,OAAO,CAAC,QAAQ,CAAC,cAAc;IAM/B,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAC;IArBlC,GAAG,EAAE,WAAW,CAAC;IAEjB,OAAO,CAAC,sBAAsB,CAAc;IAC5C,OAAO,CAAC,qBAAqB,CAAY;IACzC,OAAO,CAAC,mBAAmB,CAAoB;IAC/C,OAAO,CAAC,oBAAoB,CAAc;IAC1C,OAAO,CAAC,iBAAiB,CAAc;IAEvC,OAAO,CAAC,0BAA0B,CAAa;IAE/C,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAyB;gBAGrD,IAAI,EAAE,IAAI,EACV,IAAI,EAAE,UAAU,EACC,cAAc,EAAE,gBAAgB,EACjD,MAAM,EAAE,MAAM,MAAM,GAAG,SAAS,EAChC,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC,EAC9B,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,EAC1B,iBAAiB,EAAE,UAAU,EACZ,cAAc,CAAC,EAAE,qBAAqB,YAAA;IAmRlD,aAAa;IAIpB,OAAO,CAAC,eAAe;IAShB,aAAa,CAClB,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,MAAM,EACb,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS;IAcrC;;OAEG;IACH,iBAAiB,IAAI,IAAI;IASzB;;OAEG;IACI,qBAAqB,CAAC,KAAK,EAAE,UAAU,GAAG,IAAI;IAiBrD;;;OAGG;IACI,gBAAgB,CAAC,gBAAgB,EAAE,MAAM,GAAG,IAAI;IASvD,+CAA+C;IACxC,mBAAmB,IAAI,IAAI;IAKlC;;OAEG;IACH,iBAAiB,CAAC,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,GAAG,IAAI;IAWlE;;OAEG;IACH,iBAAiB,CAAC,cAAc,EAAE,UAAU,EAAE,GAAG,IAAI;IAIrD;;;OAGG;IACH,uBAAuB,EAAE,gBAAgB,CAcvC;IAEF;;;;OAIG;IACH,OAAO,CAAC,eAAe,CA6BrB;IAEF;;;;;;OAMG;IACI,oBAAoB,CACzB,IAAI,EAAE,MAAM,EACZ,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACf,UAAU;IAwFb,OAAO,CAAC,oBAAoB;CAwB7B;AAED,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,MAAM,yCAa1C"}

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

@@ -1 +1 @@
-{"version":3,"file":"command-helpers.d.ts","sourceRoot":"","sources":["../../src/commands/command-helpers.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,QAAQ,EAAE,IAAI,IAAI,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,EAAE,WAAW,EAAiB,WAAW,EAAE,SAAS,EAAiB,MAAM,mBAAmB,CAAC;AAKtG,OAAO,EAAE,gBAAgB,EAAE,MAAM,QAAQ,CAAC;AAI1C;;;;;;GAMG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,WAAW,EAAE,EAAE,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,gBAAgB,GAAG,WAAW,GAAG,SAAS,CA4DvI;AAED;;;;;;GAMG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,WAAW,EAAE,EAAE,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,gBAAgB,GAAG,WAAW,GAAG,SAAS,CA6DvI;AAED,wBAAgB,WAAW,CAAC,GAAG,EAAE,SAAS,GAAG,KAAK,GAAG,SAAS,CAQ7D;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,SAAS,GAAG,KAAK,GAAG,SAAS,CAQnE;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CAO3D;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,SAAS,GAAG,OAAO,CAQtD"}
+{"version":3,"file":"command-helpers.d.ts","sourceRoot":"","sources":["../../src/commands/command-helpers.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,QAAQ,EAAE,IAAI,IAAI,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC5D,OAAO,EACL,WAAW,EAEX,WAAW,EACX,SAAS,EAEV,MAAM,mBAAmB,CAAC;AAW3B,OAAO,EAAE,gBAAgB,EAAE,MAAM,QAAQ,CAAC;AAI1C;;;;;;GAMG;AACH,wBAAgB,WAAW,CACzB,KAAK,EAAE,WAAW,EAClB,EAAE,EAAE,WAAW,EACf,QAAQ,EAAE,QAAQ,EAClB,OAAO,EAAE,gBAAgB,GACxB,WAAW,GAAG,SAAS,CAqFzB;AAED;;;;;;GAMG;AACH,wBAAgB,WAAW,CACzB,KAAK,EAAE,WAAW,EAClB,EAAE,EAAE,WAAW,EACf,QAAQ,EAAE,QAAQ,EAClB,OAAO,EAAE,gBAAgB,GACxB,WAAW,GAAG,SAAS,CAoFzB;AAED,wBAAgB,WAAW,CAAC,GAAG,EAAE,SAAS,GAAG,KAAK,GAAG,SAAS,CAQ7D;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,SAAS,GAAG,KAAK,GAAG,SAAS,CAQnE;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CAO3D;AAED;;;GAGG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,SAAS,GAAG,OAAO,CAatD"}

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

@@ -1 +1 @@
-{"version":3,"file":"commands.d.ts","sourceRoot":"","sources":["../../src/commands/commands.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAA0D,MAAM,mBAAmB,CAAC;AAKpG,OAAO,EAAE,gBAAgB,EAAE,MAAM,QAAQ,CAAC;AAE1C,wBAAgB,MAAM,CAAC,QAAQ,EAAE,gBAAgB,GAAG,OAAO,CAoD1D;AA6CD,wBAAgB,eAAe,CAAC,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAqBlE;AA2CD,wBAAgB,UAAU,CAAC,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAW7D;AAED,wBAAgB,WAAW,CAAC,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAS9D;AAED,wBAAgB,eAAe,CAAC,OAAO,EAAE,gBAAgB,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAKhF"}
+{"version":3,"file":"commands.d.ts","sourceRoot":"","sources":["../../src/commands/commands.ts"],"names":[],"mappings":"AACA,OAAO,EACL,OAAO,EAKR,MAAM,mBAAmB,CAAC;AAW3B,OAAO,EAAE,gBAAgB,EAAE,MAAM,QAAQ,CAAC;AAE1C,wBAAgB,MAAM,CAAC,QAAQ,EAAE,gBAAgB,GAAG,OAAO,CAiE1D;AAqDD,wBAAgB,eAAe,CAAC,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAyBlE;AA+CD,wBAAgB,UAAU,CAAC,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAkB7D;AAED,wBAAgB,WAAW,CAAC,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAgB9D;AAED,wBAAgB,eAAe,CAC7B,OAAO,EAAE,gBAAgB,EACzB,IAAI,EAAE,MAAM,GACX,OAAO,CAQT"}

package/dist/commands/index.d.ts

@@ -1,3 +1,3 @@
-export { wpLift, wrapInHint, wrapInInput, wrapInContainer, deleteSelection } from "./commands";
+export { wpLift, wrapInHint, wrapInInput, wrapInContainer, deleteSelection, } from "./commands";
 export { InsertionPlace } from "./types";
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/commands/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAC/F,OAAO,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/commands/index.ts"],"names":[],"mappings":"AACA,OAAO,EACL,MAAM,EACN,UAAU,EACV,WAAW,EACX,eAAe,EACf,eAAe,GAChB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC"}

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

@@ -2,7 +2,7 @@ import { EditorState, Transaction } from "prosemirror-state";
 import { EditorView } from "prosemirror-view";
 import { InsertionPlace } from "./types";
 import { TagConfiguration } from "../api";
-export declare function getCmdInsertMarkdown(place: InsertionPlace, tagConf: TagConfiguration): (state: EditorState, dispatch?: ((tr: Transaction) => void), _view?: EditorView) => boolean;
-export declare function getCmdInsertLatex(place: InsertionPlace, tagConf: TagConfiguration): (state: EditorState, dispatch?: ((tr: Transaction) => void), _view?: EditorView) => boolean;
-export declare function getCmdInsertCode(place: InsertionPlace, tagConf: TagConfiguration): (state: EditorState, dispatch?: ((tr: Transaction) => void), _view?: EditorView) => boolean;
+export declare function getCmdInsertMarkdown(place: InsertionPlace, tagConf: TagConfiguration): (state: EditorState, dispatch?: (tr: Transaction) => void, _view?: EditorView) => boolean;
+export declare function getCmdInsertLatex(place: InsertionPlace, tagConf: TagConfiguration): (state: EditorState, dispatch?: (tr: Transaction) => void, _view?: EditorView) => boolean;
+export declare function getCmdInsertCode(place: InsertionPlace, tagConf: TagConfiguration): (state: EditorState, dispatch?: (tr: Transaction) => void, _view?: EditorView) => boolean;
 //# sourceMappingURL=insert-command.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"insert-command.d.ts","sourceRoot":"","sources":["../../src/commands/insert-command.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAG9C,OAAO,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC;AACzC,OAAO,EAAE,gBAAgB,EAAE,MAAM,QAAQ,CAAC;AAE1C,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,cAAc,EAAE,OAAO,EAAE,gBAAgB,IACzE,OAAO,WAAW,EAAE,WAAW,CAAC,CAAC,EAAE,EAAE,WAAW,KAAK,IAAI,CAAC,EAAE,QAAQ,UAAU,KAAG,OAAO,CAoBnG;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,cAAc,EAAE,OAAO,EAAE,gBAAgB,IACtE,OAAO,WAAW,EAAE,WAAW,CAAC,CAAC,EAAE,EAAE,WAAW,KAAK,IAAI,CAAC,EAAE,QAAQ,UAAU,KAAG,OAAO,CAenG;AAED,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,cAAc,EAAE,OAAO,EAAE,gBAAgB,IACrE,OAAO,WAAW,EAAE,WAAW,CAAC,CAAC,EAAE,EAAE,WAAW,KAAK,IAAI,CAAC,EAAE,QAAQ,UAAU,KAAG,OAAO,CAenG"}
+{"version":3,"file":"insert-command.d.ts","sourceRoot":"","sources":["../../src/commands/insert-command.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAC7D,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAG9C,OAAO,EAAE,cAAc,EAAE,MAAM,SAAS,CAAC;AACzC,OAAO,EAAE,gBAAgB,EAAE,MAAM,QAAQ,CAAC;AAE1C,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,cAAc,EACrB,OAAO,EAAE,gBAAgB,IAGvB,OAAO,WAAW,EAClB,WAAW,CAAC,EAAE,EAAE,WAAW,KAAK,IAAI,EACpC,QAAQ,UAAU,KACjB,OAAO,CAsBX;AAED,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,cAAc,EACrB,OAAO,EAAE,gBAAgB,IAGvB,OAAO,WAAW,EAClB,WAAW,CAAC,EAAE,EAAE,WAAW,KAAK,IAAI,EACpC,QAAQ,UAAU,KACjB,OAAO,CAsBX;AAED,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,cAAc,EACrB,OAAO,EAAE,gBAAgB,IAGvB,OAAO,WAAW,EAClB,WAAW,CAAC,EAAE,EAAE,WAAW,KAAK,IAAI,EACpC,QAAQ,UAAU,KACjB,OAAO,CAiBX"}

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

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

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

@@ -1 +1 @@
-{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../src/commands/utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,gBAAgB,EAAE,MAAM,QAAQ,CAAC;AAE1C,OAAO,EAAiB,SAAS,EAAiB,MAAM,mBAAmB,CAAC;AAE5E,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,SAAS,GAAG;IAAC,MAAM,EAAE,IAAI,GAAG,IAAI,CAAC;IAAC,KAAK,EAAE,IAAI,GAAG,IAAI,CAAA;CAAC,CAQ7F;AAED,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,SAAS,GAAG;IAAC,MAAM,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAC,GAAG,IAAI,CAWtF;AAYD,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAEzF;AAED,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAExF;AAED,wBAAgB,yBAAyB,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAKhG;AAED,wBAAgB,2BAA2B,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAElG"}
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../src/commands/utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,gBAAgB,EAAE,MAAM,QAAQ,CAAC;AAE1C,OAAO,EAAiB,SAAS,EAAiB,MAAM,mBAAmB,CAAC;AAE5E,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,SAAS,GAAG;IACnD,MAAM,EAAE,IAAI,GAAG,IAAI,CAAC;IACpB,KAAK,EAAE,IAAI,GAAG,IAAI,CAAC;CACpB,CAQA;AAED,wBAAgB,iBAAiB,CAC/B,GAAG,EAAE,SAAS,GACb;IAAE,MAAM,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,CAcxC;AAYD,wBAAgB,kBAAkB,CAChC,QAAQ,EAAE,QAAQ,EAClB,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAET;AAED,wBAAgB,iBAAiB,CAC/B,QAAQ,EAAE,QAAQ,EAClB,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAET;AAED,wBAAgB,yBAAyB,CACvC,QAAQ,EAAE,QAAQ,EAClB,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAMT;AAED,wBAAgB,2BAA2B,CACzC,QAAQ,EAAE,QAAQ,EAClB,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAIT"}

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

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

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

@@ -1 +1 @@
-{"version":3,"file":"block.d.ts","sourceRoot":"","sources":["../../../src/document/blocks/block.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,IAAI,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAGtD,oBAAY,UAAU;IAClB,YAAY,iBAAiB;IAC7B,UAAU,UAAU;IACpB,IAAI,SAAS;IACb,QAAQ,aAAa;IACrB,IAAI,SAAS;IACb,OAAO,YAAY;IACnB,SAAS,cAAc;CAC1B;AAED,MAAM,WAAW,UAAU;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;CACd;AAGD,MAAM,WAAW,KAAK;IAClB,IAAI,EAAE,UAAU,CAAC;IACjB,aAAa,EAAE,MAAM,CAAC;IACtB,kFAAkF;IAClF,KAAK,EAAE,UAAU,CAAC;IAClB,gFAAgF;IAChF,UAAU,EAAE,UAAU,CAAC;IACvB,0DAA0D;IAC1D,SAAS,EAAE,MAAM,CAAC;IAElB,oGAAoG;IACpG,WAAW,CAAC,EAAE,KAAK,EAAE,CAAC;IAEtB,gEAAgE;IAChE,aAAa,IAAI,SAAS,CAAC;IAC3B,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;CACnC"}
+{"version":3,"file":"block.d.ts","sourceRoot":"","sources":["../../../src/document/blocks/block.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,IAAI,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAGtD,oBAAY,UAAU;IACpB,YAAY,iBAAiB;IAC7B,UAAU,UAAU;IACpB,IAAI,SAAS;IACb,QAAQ,aAAa;IACrB,IAAI,SAAS;IACb,OAAO,YAAY;IACnB,SAAS,cAAc;CACxB;AAED,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;CACZ;AAGD,MAAM,WAAW,KAAK;IACpB,IAAI,EAAE,UAAU,CAAC;IACjB,aAAa,EAAE,MAAM,CAAC;IACtB,kFAAkF;IAClF,KAAK,EAAE,UAAU,CAAC;IAClB,gFAAgF;IAChF,UAAU,EAAE,UAAU,CAAC;IACvB,0DAA0D;IAC1D,SAAS,EAAE,MAAM,CAAC;IAElB,oGAAoG;IACpG,WAAW,CAAC,EAAE,KAAK,EAAE,CAAC;IAEtB,gEAAgE;IAChE,aAAa,IAAI,SAAS,CAAC;IAC3B,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;CACjC"}

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

@@ -1 +1 @@
-{"version":3,"file":"blocktypes.d.ts","sourceRoot":"","sources":["../../../src/document/blocks/blocktypes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAEzC,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAMxD;;;GAGG;AACH,qBAAa,cAAe,YAAW,KAAK;IAWpB,aAAa,EAAE,MAAM;IAAS,KAAK,EAAE,UAAU;IAAS,UAAU,EAAE,UAAU;IAAS,SAAS,EAAE,MAAM;IAVrH,IAAI,aAAyB;IAC7B,WAAW,EAAE,KAAK,EAAE,CAAC;IAE5B;;;;;;OAMG;gBACiB,aAAa,EAAE,MAAM,EAAS,KAAK,EAAE,UAAU,EAAS,UAAU,EAAE,UAAU,EAAS,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,YAAY,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,KAAK,KAAK,EAAE,CAAC;IASzO,aAAa;IAMb,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;CAKlC;AAED;;;GAGG;AACH,qBAAa,SAAU,YAAW,KAAK;IAYf,aAAa,EAAE,MAAM;IAAS,KAAK,EAAE,MAAM;IAAS,KAAK,EAAE,UAAU;IAAS,UAAU,EAAE,UAAU;IAAS,SAAS,EAAE,MAAM;IAX3I,IAAI,aAAmB;IACvB,WAAW,EAAE,KAAK,EAAE,CAAC;IAE5B;;;;;;;OAOG;gBACiB,aAAa,EAAE,MAAM,EAAS,KAAK,EAAE,MAAM,EAAS,KAAK,EAAE,UAAU,EAAS,UAAU,EAAE,UAAU,EAAS,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,YAAY,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,KAAK,KAAK,EAAE,CAAC;IAQ/P,aAAa;IAOb,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;CAKlC;AAED;;GAEG;AACH,qBAAa,gBAAiB,YAAW,KAAK;IAEtB,aAAa,EAAE,MAAM;IAAS,KAAK,EAAE,UAAU;IAAS,UAAU,EAAE,UAAU;IAAS,SAAS,EAAE,MAAM;IADrH,IAAI,aAA2B;gBAClB,aAAa,EAAE,MAAM,EAAS,KAAK,EAAE,UAAU,EAAS,UAAU,EAAE,UAAU,EAAS,SAAS,EAAE,MAAM;IAE5H,aAAa;IASb,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;CAGlC;AAED;;GAEG;AACH,qBAAa,aAAc,YAAW,KAAK;IAInB,aAAa,EAAE,MAAM;IAAS,KAAK,EAAE,UAAU;IAAS,UAAU,EAAE,UAAU;IAAS,SAAS,EAAE,MAAM;IAHrH,IAAI,aAAuB;IAC3B,aAAa,UAAS;gBAET,aAAa,EAAE,MAAM,EAAS,KAAK,EAAE,UAAU,EAAS,UAAU,EAAE,UAAU,EAAS,SAAS,EAAE,MAAM;IAI5H,aAAa;IASb,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;CAGlC;AAED;;GAEG;AACH,qBAAa,SAAU,YAAW,KAAK;IAGf,aAAa,EAAE,MAAM;IAAS,KAAK,EAAE,UAAU;IAAS,UAAU,EAAE,UAAU;IAAS,SAAS,EAAE,MAAM;IAFrH,IAAI,aAAmB;gBAEV,aAAa,EAAE,MAAM,EAAS,KAAK,EAAE,UAAU,EAAS,UAAU,EAAE,UAAU,EAAS,SAAS,EAAE,MAAM;IAE5H,aAAa;IASb,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;CAGlC;AAED;;;GAGG;AACH,qBAAa,YAAa,YAAW,KAAK;IAGjB,KAAK,EAAE,UAAU;IAAS,UAAU,EAAE,UAAU;IAAS,SAAS,EAAE,MAAM;IAFxF,IAAI,aAAsB;gBAEZ,KAAK,EAAE,UAAU,EAAS,UAAU,EAAE,UAAU,EAAS,SAAS,EAAE,MAAM;IAE/F,aAAa,EAAE,MAAM,CAAM;IAE3B,aAAa,IAAK,IAAI;IAKtB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;CAGlC;AAED;;;;;GAKG;AACH,qBAAa,cAAe,YAAW,KAAK;IAK7B,aAAa,EAAE,MAAM;IACrB,IAAI,EAAE,MAAM;IACZ,KAAK,EAAE,UAAU;IACjB,UAAU,EAAE,UAAU;IACtB,SAAS,EAAE,MAAM;IARrB,IAAI,aAAwB;IAC5B,WAAW,EAAE,KAAK,EAAE,CAAC;gBAGjB,aAAa,EAAE,MAAM,EACrB,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,UAAU,EACjB,UAAU,EAAE,UAAU,EACtB,SAAS,EAAE,MAAM,EACxB,WAAW,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,YAAY,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,KAAK,KAAK,EAAE,CAAC;IAS/G,aAAa;IAKb,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;CAKlC"}
+{"version":3,"file":"blocktypes.d.ts","sourceRoot":"","sources":["../../../src/document/blocks/blocktypes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAEzC,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAexD;;;GAGG;AACH,qBAAa,cAAe,YAAW,KAAK;IAYjC,aAAa,EAAE,MAAM;IACrB,KAAK,EAAE,UAAU;IACjB,UAAU,EAAE,UAAU;IACtB,SAAS,EAAE,MAAM;IAdnB,IAAI,aAAyB;IAC7B,WAAW,EAAE,KAAK,EAAE,CAAC;IAE5B;;;;;;OAMG;gBAEM,aAAa,EAAE,MAAM,EACrB,KAAK,EAAE,UAAU,EACjB,UAAU,EAAE,UAAU,EACtB,SAAS,EAAE,MAAM,EACxB,WAAW,EACP,KAAK,EAAE,GACP,CAAC,CACC,YAAY,EAAE,MAAM,EACpB,UAAU,EAAE,UAAU,EACtB,eAAe,EAAE,MAAM,KACpB,KAAK,EAAE,CAAC;IASnB,aAAa;IAMb,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;CAKhC;AAED;;;GAGG;AACH,qBAAa,SAAU,YAAW,KAAK;IAa5B,aAAa,EAAE,MAAM;IACrB,KAAK,EAAE,MAAM;IACb,KAAK,EAAE,UAAU;IACjB,UAAU,EAAE,UAAU;IACtB,SAAS,EAAE,MAAM;IAhBnB,IAAI,aAAmB;IACvB,WAAW,EAAE,KAAK,EAAE,CAAC;IAE5B;;;;;;;OAOG;gBAEM,aAAa,EAAE,MAAM,EACrB,KAAK,EAAE,MAAM,EACb,KAAK,EAAE,UAAU,EACjB,UAAU,EAAE,UAAU,EACtB,SAAS,EAAE,MAAM,EACxB,WAAW,EACP,KAAK,EAAE,GACP,CAAC,CACC,YAAY,EAAE,MAAM,EACpB,UAAU,EAAE,UAAU,EACtB,eAAe,EAAE,MAAM,KACpB,KAAK,EAAE,CAAC;IASnB,aAAa;IAOb,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;CAOhC;AAED;;GAEG;AACH,qBAAa,gBAAiB,YAAW,KAAK;IAGnC,aAAa,EAAE,MAAM;IACrB,KAAK,EAAE,UAAU;IACjB,UAAU,EAAE,UAAU;IACtB,SAAS,EAAE,MAAM;IALnB,IAAI,aAA2B;gBAE7B,aAAa,EAAE,MAAM,EACrB,KAAK,EAAE,UAAU,EACjB,UAAU,EAAE,UAAU,EACtB,SAAS,EAAE,MAAM;IAG1B,aAAa;IASb,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;CAKhC;AAED;;GAEG;AACH,qBAAa,aAAc,YAAW,KAAK;IAKhC,aAAa,EAAE,MAAM;IACrB,KAAK,EAAE,UAAU;IACjB,UAAU,EAAE,UAAU;IACtB,SAAS,EAAE,MAAM;IAPnB,IAAI,aAAuB;IAC3B,aAAa,UAAS;gBAGpB,aAAa,EAAE,MAAM,EACrB,KAAK,EAAE,UAAU,EACjB,UAAU,EAAE,UAAU,EACtB,SAAS,EAAE,MAAM;IAK1B,aAAa;IASb,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;CAKhC;AAED;;GAEG;AACH,qBAAa,SAAU,YAAW,KAAK;IAI5B,aAAa,EAAE,MAAM;IACrB,KAAK,EAAE,UAAU;IACjB,UAAU,EAAE,UAAU;IACtB,SAAS,EAAE,MAAM;IANnB,IAAI,aAAmB;gBAGrB,aAAa,EAAE,MAAM,EACrB,KAAK,EAAE,UAAU,EACjB,UAAU,EAAE,UAAU,EACtB,SAAS,EAAE,MAAM;IAG1B,aAAa;IASb,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;CAKhC;AAED;;;GAGG;AACH,qBAAa,YAAa,YAAW,KAAK;IAI/B,KAAK,EAAE,UAAU;IACjB,UAAU,EAAE,UAAU;IACtB,SAAS,EAAE,MAAM;IALnB,IAAI,aAAsB;gBAGxB,KAAK,EAAE,UAAU,EACjB,UAAU,EAAE,UAAU,EACtB,SAAS,EAAE,MAAM;IAG1B,aAAa,EAAE,MAAM,CAAM;IAE3B,aAAa,IAAI,IAAI;IAKrB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;CAGhC;AAED;;;;;GAKG;AACH,qBAAa,cAAe,YAAW,KAAK;IAKjC,aAAa,EAAE,MAAM;IACrB,IAAI,EAAE,MAAM;IACZ,KAAK,EAAE,UAAU;IACjB,UAAU,EAAE,UAAU;IACtB,SAAS,EAAE,MAAM;IARnB,IAAI,aAAwB;IAC5B,WAAW,EAAE,KAAK,EAAE,CAAC;gBAGnB,aAAa,EAAE,MAAM,EACrB,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,UAAU,EACjB,UAAU,EAAE,UAAU,EACtB,SAAS,EAAE,MAAM,EACxB,WAAW,EACP,KAAK,EAAE,GACP,CAAC,CACC,YAAY,EAAE,MAAM,EACpB,UAAU,EAAE,UAAU,EACtB,eAAe,EAAE,MAAM,KACpB,KAAK,EAAE,CAAC;IASnB,aAAa;IAKb,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;CAOhC"}

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

@@ -5,7 +5,7 @@ export declare const text: (content: string) => ProseNode;
 export declare const mathDisplay: (content: string) => ProseNode;
 /** Construct markdown prosemirror node. */
 export declare const markdown: (content: string) => ProseNode;
-/** Construct coqcode prosemirror node. */
+/** Construct code prosemirror node. */
 export declare const code: (content: string) => ProseNode;
 /** Construct input area prosemirror node. */
 export declare const inputArea: (childNodes: ProseNode[]) => ProseNode;

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

@@ -1 +1 @@
-{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../../src/document/blocks/schema.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,IAAI,IAAI,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAItD,6CAA6C;AAC7C,eAAO,MAAM,IAAI,GAAI,SAAS,MAAM,KAAG,SAEtC,CAAA;AAED,+CAA+C;AAC/C,eAAO,MAAM,WAAW,GAAI,SAAS,MAAM,KAAG,SAE7C,CAAA;AAED,2CAA2C;AAC3C,eAAO,MAAM,QAAQ,GAAI,SAAS,MAAM,KAAG,SAE1C,CAAA;AAED,0CAA0C;AAC1C,eAAO,MAAM,IAAI,GAAI,SAAS,MAAM,KAAG,SAEtC,CAAA;AAID,6CAA6C;AAC7C,eAAO,MAAM,SAAS,GAAI,YAAY,SAAS,EAAE,KAAG,SAEnD,CAAA;AAED,uCAAuC;AACvC,eAAO,MAAM,IAAI,GAAI,OAAO,MAAM,EAAE,YAAY,SAAS,EAAE,KAAG,SAE7D,CAAA;AAED,4CAA4C;AAC5C,eAAO,MAAM,SAAS,GAAI,MAAM,MAAM,EAAE,YAAY,SAAS,EAAE,KAAG,SAEjE,CAAA;AAGD,eAAO,MAAM,OAAO,iBAEnB,CAAA;AAGD,eAAO,MAAM,IAAI,GAAI,YAAY,SAAS,EAAE,KAAG,SAE9C,CAAA"}
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../../src/document/blocks/schema.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,IAAI,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAItD,6CAA6C;AAC7C,eAAO,MAAM,IAAI,GAAI,SAAS,MAAM,KAAG,SAEtC,CAAC;AAEF,+CAA+C;AAC/C,eAAO,MAAM,WAAW,GAAI,SAAS,MAAM,KAAG,SAE7C,CAAC;AAEF,2CAA2C;AAC3C,eAAO,MAAM,QAAQ,GAAI,SAAS,MAAM,KAAG,SAE1C,CAAC;AAEF,uCAAuC;AACvC,eAAO,MAAM,IAAI,GAAI,SAAS,MAAM,KAAG,SAEtC,CAAC;AAIF,6CAA6C;AAC7C,eAAO,MAAM,SAAS,GAAI,YAAY,SAAS,EAAE,KAAG,SAEnD,CAAC;AAEF,uCAAuC;AACvC,eAAO,MAAM,IAAI,GAAI,OAAO,MAAM,EAAE,YAAY,SAAS,EAAE,KAAG,SAE7D,CAAC;AAEF,4CAA4C;AAC5C,eAAO,MAAM,SAAS,GAAI,MAAM,MAAM,EAAE,YAAY,SAAS,EAAE,KAAG,SAEjE,CAAC;AAGF,eAAO,MAAM,OAAO,iBAEnB,CAAC;AAGF,eAAO,MAAM,IAAI,GAAI,YAAY,SAAS,EAAE,KAAG,SAE9C,CAAC"}

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

@@ -1 +1 @@
-{"version":3,"file":"typeguards.d.ts","sourceRoot":"","sources":["../../../src/document/blocks/typeguards.ts"],"names":[],"mappings":"AAAA,OAAO,EAAc,KAAK,EAAE,MAAM,SAAS,CAAC;AAC5C,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,SAAS,EAAE,cAAc,EAAE,aAAa,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAEnI,eAAO,MAAM,gBAAgB,GAAI,OAAO,KAAK,KAAG,KAAK,IAAI,cAAsD,CAAC;AAChH,eAAO,MAAM,WAAW,GAAI,OAAO,KAAK,KAAG,KAAK,IAAI,SAA2C,CAAC;AAChG,eAAO,MAAM,kBAAkB,GAAI,OAAO,KAAK,KAAG,KAAK,IAAI,gBAA0D,CAAC;AACtH,eAAO,MAAM,WAAW,GAAI,OAAO,KAAK,KAAG,KAAK,IAAI,SAA2C,CAAC;AAChG,eAAO,MAAM,eAAe,GAAI,OAAO,KAAK,KAAG,KAAK,IAAI,aAAmD,CAAC;AAC5G,eAAO,MAAM,cAAc,GAAI,OAAO,KAAK,KAAG,KAAK,IAAI,YAAiD,CAAC;AACzG,eAAO,MAAM,gBAAgB,GAAI,OAAO,KAAK,KAAG,KAAK,IAAI,cAAqD,CAAC"}
+{"version":3,"file":"typeguards.d.ts","sourceRoot":"","sources":["../../../src/document/blocks/typeguards.ts"],"names":[],"mappings":"AAAA,OAAO,EAAc,KAAK,EAAE,MAAM,SAAS,CAAC;AAC5C,OAAO,EACL,SAAS,EACT,cAAc,EACd,SAAS,EACT,cAAc,EACd,aAAa,EACb,gBAAgB,EAChB,YAAY,EACb,MAAM,cAAc,CAAC;AAEtB,eAAO,MAAM,gBAAgB,GAAI,OAAO,KAAK,KAAG,KAAK,IAAI,cACnB,CAAC;AACvC,eAAO,MAAM,WAAW,GAAI,OAAO,KAAK,KAAG,KAAK,IAAI,SACpB,CAAC;AACjC,eAAO,MAAM,kBAAkB,GAAI,OAAO,KAAK,KAAG,KAAK,IAAI,gBACnB,CAAC;AACzC,eAAO,MAAM,WAAW,GAAI,OAAO,KAAK,KAAG,KAAK,IAAI,SACpB,CAAC;AACjC,eAAO,MAAM,eAAe,GAAI,OAAO,KAAK,KAAG,KAAK,IAAI,aACpB,CAAC;AACrC,eAAO,MAAM,cAAc,GAAI,OAAO,KAAK,KAAG,KAAK,IAAI,YACpB,CAAC;AACpC,eAAO,MAAM,gBAAgB,GAAI,OAAO,KAAK,KAAG,KAAK,IAAI,cACpB,CAAC"}

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

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

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

@@ -1 +1 @@
-{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../src/document/utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAE7C;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,KAAK,EAAE,sCAEvD;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,MAAM,EAAE,KAAK,EAAE,WAEzC;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,SAAS,EAAE,kBAAkB,EAAE,KAAK,EAAE,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,KAAK,kBAAkB,wBAEzI;AAED;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB,GAAI,QAAQ,KAAK,CAAC,KAAK,CAAC,EAAE,eAAe,MAAM,EAAE,eAAc,MAAU,KAAG;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAC,EAczI,CAAA;AAED,wBAAgB,iBAAiB,CAAC,aAAa,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,CAMhF;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,SAAS,SAAS,KAAK,EAC5D,aAAa,EAAE,MAAM,EACrB,MAAM,EAAE;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAC,EAAE,EACpC,gBAAgB,EAAE,KAAK,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,EAAE,UAAU,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,KAAK,SAAS,EACpI,YAAY,GAAE,MAAU,GAAG,SAAS,EAAE,CAYzC"}
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../src/document/utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAE7C;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,KAAK,EAAE,sCAEvD;AAED;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,MAAM,EAAE,KAAK,EAAE,WAEzC;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAAC,SAAS,EAAE,kBAAkB,EACxD,KAAK,EAAE,KAAK,CAAC,SAAS,CAAC,EACvB,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,KAAK,kBAAkB,wBAGtD;AAED;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB,GAClC,QAAQ,KAAK,CAAC,KAAK,CAAC,EACpB,eAAe,MAAM,EACrB,eAAc,MAAU,KACvB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,EAoB9B,CAAC;AAEF,wBAAgB,iBAAiB,CAC/B,aAAa,EAAE,MAAM,EACrB,MAAM,EAAE,KAAK,EAAE,GACd,MAAM,CASR;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,SAAS,SAAS,KAAK,EAC9D,aAAa,EAAE,MAAM,EACrB,MAAM,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,EAAE,EACtC,gBAAgB,EAAE,KAChB,OAAO,EAAE,MAAM,EACf,KAAK,EAAE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,EACnC,UAAU,EAAE,UAAU,EACtB,SAAS,EAAE,MAAM,KACd,SAAS,EACd,YAAY,GAAE,MAAU,GACvB,SAAS,EAAE,CAgBb"}

package/dist/documentProgressDecorator.d.ts

@@ -1,4 +1,4 @@
-import { Plugin, PluginKey } from 'prosemirror-state';
+import { Plugin, PluginKey } from "prosemirror-state";
 export interface IDocumentProgressDecoratorState {
     total: number;
     progressHeightLow: number;

package/dist/documentProgressDecorator.d.ts.map

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

package/dist/edit-utils.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"edit-utils.d.ts","sourceRoot":"","sources":["../src/edit-utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,iBAAiB,EAAE,MAAM,OAAO,CAAC;AAErD,0BAAkB,QAAQ;IACtB,MAAM,IAAA;IAAE,OAAO,IAAA;IAAE,MAAM,IAAA;CAC1B;AAED,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,SAAS,GAAG,QAAQ,CAQ7D;AAED,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,SAAS,GAAG,iBAAiB,GAAG,MAAM,IAAI,iBAAiB,CAEtG;AAED,wBAAgB,WAAW,CAAC,MAAM,EAAE,SAAS,GAAG,iBAAiB,GAAG,MAAM,IAAI,SAAS,CAEtF"}
+{"version":3,"file":"edit-utils.d.ts","sourceRoot":"","sources":["../src/edit-utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,iBAAiB,EAAE,MAAM,OAAO,CAAC;AAErD,0BAAkB,QAAQ;IACxB,MAAM,IAAA;IACN,OAAO,IAAA;IACP,MAAM,IAAA;CACP;AAED,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,SAAS,GAAG,QAAQ,CAQ7D;AAED,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,SAAS,GAAG,iBAAiB,GACpC,MAAM,IAAI,iBAAiB,CAE7B;AAED,wBAAgB,WAAW,CACzB,MAAM,EAAE,SAAS,GAAG,iBAAiB,GACpC,MAAM,IAAI,SAAS,CAErB"}

package/dist/editor.d.ts

@@ -4,7 +4,7 @@ import "katex/dist/katex.min.css";
 import "prosemirror-view/style/prosemirror.css";
 import "./styles";
 import { Completion } from "@codemirror/autocomplete";
-/** Type that contains a coq diagnostics object fit for use in the ProseMirror editor context. */
+/** Type that contains a diagnostics object fit for use in the ProseMirror editor context. */
 export type DiagnosticObjectProse = {
     message: string;
     start: number;

package/dist/editor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"editor.d.ts","sourceRoot":"","sources":["../src/editor.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,OAAO,EAA6E,MAAM,mBAAmB,CAAC;AAMvH,OAAO,EAAa,eAAe,EAAqB,aAAa,EAAE,QAAQ,EAAE,gBAAgB,EAAkF,UAAU,EAAE,sBAAsB,EAA0B,oBAAoB,EAAE,MAAM,OAAO,CAAC;AAanR,OAAO,0BAA0B,CAAC;AAClC,OAAO,wCAAwC,CAAC;AAChD,OAAO,UAAU,CAAC;AAIlB,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAOtD,iGAAiG;AACjG,MAAM,MAAM,qBAAqB,GAAG;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,QAAQ,CAAA;CAAC,CAAC;AAEtG;;GAEG;AACH,qBAAa,gBAAiB,YAAW,oBAAoB;IAqCa,OAAO,CAAC,QAAQ,CAAC,iBAAiB;IAnC3G,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAyB;IAGvD,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAc;IAG1C,OAAO,CAAC,KAAK,CAAyB;IAGtC,OAAO,CAAC,QAAQ,CAAsB;IAGtC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC;IAEzB,OAAO,CAAC,uBAAuB,CAA+B;IAM9D,OAAO,CAAC,wBAAwB,CAAK;IAErC,OAAO,CAAC,iBAAiB,CAAkB;IAE3C,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAqB;IAEjD,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC;IAE9B,OAAO,CAAC,gBAAgB,CAAuB;IAE/C;;;;OAIG;gBACU,aAAa,EAAE,WAAW,EAAE,MAAM,EAAE,sBAAsB,EAAmB,iBAAiB,EAAE,UAAU;IAwCvH,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,GAAE,MAAU;IAwBzC,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,GAAE,MAAU;IAsBpD,OAAO,KAAK,KAAK,GAEhB;IAED,OAAO,CAAC,uBAAuB;IAuG/B,uCAAuC;IACvC,OAAO,CAAC,WAAW;IAQnB,iEAAiE;IACjE,OAAO,CAAC,kBAAkB;IA8B1B;;;OAGG;IACI,iBAAiB,IAAI,MAAM,GAAG,SAAS;IAK9C;;;;;OAKG;IACI,uBAAuB,CAAC,OAAO,GAAE,MAAU,GAAG,KAAK,CAAC,CAAC,MAAM,EAAE;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAC,CAAC,CAAC;IA4BlG;;;OAGG;IACI,oBAAoB,CAAC,KAAK,EAAE,UAAU;IAa7C;;;OAGG;IACI,aAAa,CAAC,QAAQ,EAAE,MAAM;IAiCrC,wCAAwC;IACxC,OAAO,CAAC,YAAY;IAOpB,gFAAgF;IAChF,OAAO,CAAC,iBAAiB;IAOzB;;;OAGG;IACI,iBAAiB,CAAC,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC;IAUvD;;;OAGG;IACI,mBAAmB,CAAC,IAAI,EAAE,aAAa;IAOtC,YAAY,CAAC,WAAW,EAAE,MAAM;IAqCxC;;;;;OAKG;IACI,YAAY,CAAC,aAAa,EAAE,MAAM,GAAG,OAAO;IAgD5C,YAAY,CAAC,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO;IASlF;;;OAGG;IACI,kBAAkB,CAAC,IAAI,EAAE,OAAO;IAUvC;;;OAGG;IACI,gBAAgB,CAAC,IAAI,EAAE,OAAO;IAQrC,OAAO,CAAC,qCAAqC;IAO7C;;;;OAIG;IACI,kBAAkB,CAAC,SAAS,EAAE,OAAO,GAAI,IAAI;IAS7C,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI;IAInE,YAAY,IAAI,IAAI;IAEpB,WAAW,IAAI,IAAI;IAEnB,gBAAgB,CAAC,OAAO,EAAE,MAAM;IAgBhC,oBAAoB;IAO3B;;;;;OAKG;IACI,kBAAkB,CAAC,MAAM,EAAE,eAAe,EAAE,GAAI,IAAI;IAQ3D;;;;;;;OAOG;IACI,eAAe,CAAC,GAAG,WAAW,EAAE,KAAK,CAAC,gBAAgB,CAAC;IAuB9D;;;;;;OAMG;IACI,gBAAgB,CAAC,QAAQ,EAAE,gBAAgB,GAAG,OAAO;IAwBrD,gBAAgB;IAMvB;;;;;;;;;OASG;IACI,oBAAoB,CAAC,WAAW,EAAE,KAAK,CAAC,gBAAgB,CAAC;IAwBhE,OAAO,CAAC,qBAAqB;IAS7B;;;;;;OAMG;IACI,qBAAqB,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,eAAe,GAAE,MAAU,GAAG,KAAK,CAAC,qBAAqB,CAAC;IAMlH;;;;;OAKG;IACI,4BAA4B,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,eAAe,GAAE,MAAU,GAAG,KAAK,CAAC,qBAAqB,CAAC;IAczH;;;OAGG;IACI,yBAAyB,CAAC,GAAG,EAAE,OAAO,GAAG,IAAI;CAcpD"}
+{"version":3,"file":"editor.d.ts","sourceRoot":"","sources":["../src/editor.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,OAAO,EAOR,MAAM,mBAAmB,CAAC;AAM3B,OAAO,EAEL,eAAe,EAEf,aAAa,EACb,QAAQ,EACR,gBAAgB,EAMhB,UAAU,EACV,sBAAsB,EAEtB,oBAAoB,EACrB,MAAM,OAAO,CAAC;AAgBf,OAAO,0BAA0B,CAAC;AAClC,OAAO,wCAAwC,CAAC;AAChD,OAAO,UAAU,CAAC;AAIlB,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAWtD,6FAA6F;AAC7F,MAAM,MAAM,qBAAqB,GAAG;IAClC,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;IACZ,QAAQ,EAAE,QAAQ,CAAC;CACpB,CAAC;AAEF;;GAEG;AACH,qBAAa,gBAAiB,YAAW,oBAAoB;IAuCzD,OAAO,CAAC,QAAQ,CAAC,iBAAiB;IAtCpC,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAyB;IAGvD,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAc;IAG1C,OAAO,CAAC,KAAK,CAAyB;IAGtC,OAAO,CAAC,QAAQ,CAAsB;IAGtC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC;IAEzB,OAAO,CAAC,uBAAuB,CAA+B;IAM9D,OAAO,CAAC,wBAAwB,CAAK;IAErC,OAAO,CAAC,iBAAiB,CAAkB;IAE3C,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAqB;IAEjD,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC;IAE9B,OAAO,CAAC,gBAAgB,CAAuB;IAE/C;;;;OAIG;gBAED,aAAa,EAAE,WAAW,EAC1B,MAAM,EAAE,sBAAsB,EACb,iBAAiB,EAAE,UAAU;IA0ChD,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,GAAE,MAAU;IA6BzC,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,GAAE,MAAU;IA0BpD,OAAO,KAAK,KAAK,GAEhB;IAED,OAAO,CAAC,uBAAuB;IAmI/B,uCAAuC;IACvC,OAAO,CAAC,WAAW;IAQnB,iEAAiE;IACjE,OAAO,CAAC,kBAAkB;IA0D1B;;;OAGG;IACI,iBAAiB,IAAI,MAAM,GAAG,SAAS;IAK9C;;;;;OAKG;IACI,uBAAuB,CAC5B,OAAO,GAAE,MAAU,GAClB,KAAK,CAAC,CAAC,MAAM,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAuClD;;;OAGG;IACI,oBAAoB,CAAC,KAAK,EAAE,UAAU;IAa7C;;;OAGG;IACI,aAAa,CAAC,QAAQ,EAAE,MAAM;IAmCrC,wCAAwC;IACxC,OAAO,CAAC,YAAY;IAUpB,gFAAgF;IAChF,OAAO,CAAC,iBAAiB;IAOzB;;;OAGG;IACI,iBAAiB,CAAC,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC;IASvD;;;OAGG;IACI,mBAAmB,CAAC,IAAI,EAAE,aAAa;IAOvC,YAAY,CAAC,WAAW,EAAE,MAAM;IA8CvC;;;;;OAKG;IACI,YAAY,CAAC,aAAa,EAAE,MAAM,GAAG,OAAO;IAoD5C,YAAY,CACjB,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,MAAM,GACX,OAAO;IASV;;;OAGG;IACI,kBAAkB,CAAC,IAAI,EAAE,OAAO;IAavC;;;OAGG;IACI,gBAAgB,CAAC,IAAI,EAAE,OAAO;IAQrC,OAAO,CAAC,qCAAqC;IAU7C;;;;OAIG;IACI,kBAAkB,CAAC,SAAS,EAAE,OAAO,GAAG,IAAI;IAS5C,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,IAAI;IAInE,YAAY,IAAI,IAAI;IAIpB,WAAW,IAAI,IAAI;IAInB,gBAAgB,CAAC,OAAO,EAAE,MAAM;IAehC,oBAAoB;IAQ3B;;;;;OAKG;IACI,kBAAkB,CAAC,MAAM,EAAE,eAAe,EAAE,GAAG,IAAI;IAQ1D;;;;;;;OAOG;IACI,eAAe,CAAC,GAAG,WAAW,EAAE,KAAK,CAAC,gBAAgB,CAAC;IAuB9D;;;;;;OAMG;IACI,gBAAgB,CAAC,QAAQ,EAAE,gBAAgB,GAAG,OAAO;IA6BrD,gBAAgB;IAMvB;;;;;;;;;OASG;IACI,oBAAoB,CAAC,WAAW,EAAE,KAAK,CAAC,gBAAgB,CAAC;IA0BhE,OAAO,CAAC,qBAAqB;IAQ7B;;;;;;OAMG;IACI,qBAAqB,CAC1B,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,MAAM,EACZ,eAAe,GAAE,MAAU,GAC1B,KAAK,CAAC,qBAAqB,CAAC;IAU/B;;;;;OAKG;IACI,4BAA4B,CACjC,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,MAAM,EACZ,eAAe,GAAE,MAAU,GAC1B,KAAK,CAAC,qBAAqB,CAAC;IAoB/B;;;OAGG;IACI,yBAAyB,CAAC,GAAG,EAAE,OAAO,GAAG,IAAI;CAcrD"}

package/dist/embedded-codemirror/embedded-codemirror-keymap.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"embedded-codemirror-keymap.d.ts","sourceRoot":"","sources":["../../src/embedded-codemirror/embedded-codemirror-keymap.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,OAAO,EAAe,YAAY,EAAqD,MAAM,mBAAmB,CAAA;AAgBhH,eAAO,MAAM,gBAAgB,EAAE,YAM9B,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,WAAW,EAAE,UAAU,EAgEnC,CAAA"}
+{"version":3,"file":"embedded-codemirror-keymap.d.ts","sourceRoot":"","sources":["../../src/embedded-codemirror/embedded-codemirror-keymap.ts"],"names":[],"mappings":"AAuCA,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,OAAO,EAEL,YAAY,EAKb,MAAM,mBAAmB,CAAC;AA2B3B,eAAO,MAAM,gBAAgB,EAAE,YAW9B,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,WAAW,EAAE,UAAU,EAuHnC,CAAC"}

package/dist/embedded-codemirror/embeddedCodemirror.d.ts

@@ -5,16 +5,16 @@ import { MovementDirection, MovementUnit } from "./types";
 /**
  * A class implementing everything required to create an embedded codemirror editor for prosemirror.
  * Implements the `NodeView` prosemirror class. Can be extended to create custom codemirror editors like
- * the one used to edit markdown or coq.
+ * the one used to edit markdown or code.
  */
 export declare class EmbeddedCodeMirrorEditor implements NodeView {
-    _getPos: (() => number | undefined);
+    _getPos: () => number | undefined;
     protected updating: boolean;
     protected _codemirror: CodeMirror | undefined;
     protected _outerView: EditorView;
     protected _schema: Schema;
     protected _node: PNode;
-    constructor(node: PNode, view: EditorView, getPos: (() => number | undefined), schema: Schema);
+    constructor(node: PNode, view: EditorView, getPos: () => number | undefined, schema: Schema);
     dom: Node;
     contentDOM?: HTMLElement | null | undefined;
     update(node: PNode, _decorations: readonly Decoration[], _innerDecorations: DecorationSource): boolean;

package/dist/embedded-codemirror/embeddedCodemirror.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"embeddedCodemirror.d.ts","sourceRoot":"","sources":["../../src/embedded-codemirror/embeddedCodemirror.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,IAAI,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC7F,OAAO,EAAE,IAAI,IAAI,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAE1D,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACtF,OAAO,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAG1D;;;;GAIG;AACH,qBAAa,wBAAyB,YAAW,QAAQ;IAC9C,OAAO,EAAE,CAAC,MAAM,MAAM,GAAG,SAAS,CAAC,CAAC;IAG9C,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC;IAEzB,SAAS,CAAC,WAAW,EAAE,UAAU,GAAG,SAAS,CAAC;IAE9C,SAAS,CAAC,UAAU,EAAE,UAAU,CAAC;IAEjC,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC;IAE1B,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC;gBAGnB,IAAI,EAAE,KAAK,EACjB,IAAI,EAAE,UAAU,EAChB,MAAM,EAAE,CAAC,MAAM,MAAM,GAAG,SAAS,CAAC,EAClC,MAAM,EAAE,MAAM;IAYZ,GAAG,EAAG,IAAI,CAAC;IACX,UAAU,CAAC,EAAE,WAAW,GAAG,IAAI,GAAG,SAAS,CAAC;IAE5C,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,SAAS,UAAU,EAAE,EAAE,iBAAiB,EAAE,gBAAgB;IAqD5F,UAAU;IAMV,YAAY;IAMZ,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,GAAG,UAAU;IAYvE,SAAS,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,KAAK,OAAO,CAAC,GAAG,SAAS,CAAC;IACpD,cAAc,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE,cAAc,KAAK,OAAO,CAAC,GAAG,SAAS,CAAC;IACrE,OAAO,CAAC,IAAI,IAAI;IAEnB,aAAa,CAAC,MAAM,EAAE,UAAU,GAAG,IAAI;IAyCpC;;;;;;;;OAQA;IACH,WAAW,CAAC,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,iBAAiB,GAAG,OAAO;IAkEhE,wBAAwB,IAAI,UAAU,EAAE;CAUxC"}
+{"version":3,"file":"embeddedCodemirror.d.ts","sourceRoot":"","sources":["../../src/embedded-codemirror/embeddedCodemirror.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,UAAU,IAAI,UAAU,EACxB,OAAO,EACP,UAAU,EACV,UAAU,EACX,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,IAAI,IAAI,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAE1D,OAAO,EACL,UAAU,EACV,gBAAgB,EAChB,UAAU,EACV,QAAQ,EACT,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAG1D;;;;GAIG;AACH,qBAAa,wBAAyB,YAAW,QAAQ;IAChD,OAAO,EAAE,MAAM,MAAM,GAAG,SAAS,CAAC;IAGzC,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC;IAE5B,SAAS,CAAC,WAAW,EAAE,UAAU,GAAG,SAAS,CAAC;IAE9C,SAAS,CAAC,UAAU,EAAE,UAAU,CAAC;IAEjC,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC;IAE1B,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC;gBAGrB,IAAI,EAAE,KAAK,EACX,IAAI,EAAE,UAAU,EAChB,MAAM,EAAE,MAAM,MAAM,GAAG,SAAS,EAChC,MAAM,EAAE,MAAM;IAYhB,GAAG,EAAE,IAAI,CAAC;IACV,UAAU,CAAC,EAAE,WAAW,GAAG,IAAI,GAAG,SAAS,CAAC;IAE5C,MAAM,CACJ,IAAI,EAAE,KAAK,EACX,YAAY,EAAE,SAAS,UAAU,EAAE,EACnC,iBAAiB,EAAE,gBAAgB;IA0DrC,UAAU;IAMV,YAAY;IAMZ,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,GAAG,UAAU;IAYvE,SAAS,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,KAAK,OAAO,CAAC,GAAG,SAAS,CAAC;IACpD,cAAc,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE,cAAc,KAAK,OAAO,CAAC,GAAG,SAAS,CAAC;IACrE,OAAO,CAAC,IAAI,IAAI;IAEhB,aAAa,CAAC,MAAM,EAAE,UAAU,GAAG,IAAI;IA4CvC;;;;;;;;OAQG;IACH,WAAW,CAAC,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,iBAAiB,GAAG,OAAO;IAmEhE,wBAAwB,IAAI,UAAU,EAAE;CA2BzC"}

package/dist/embedded-codemirror/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/embedded-codemirror/types.ts"],"names":[],"mappings":"AAEA,oBAAY,YAAY;IACvB,IAAI,SAAS;IACb,SAAS,cAAc;CACvB;AAGD,oBAAY,iBAAiB;IAC5B,OAAO,IAAK;IACZ,QAAQ,KAAK;CACb"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/embedded-codemirror/types.ts"],"names":[],"mappings":"AACA,oBAAY,YAAY;IACtB,IAAI,SAAS;IACb,SAAS,cAAc;CACxB;AAGD,oBAAY,iBAAiB;IAC3B,OAAO,IAAK;IACZ,QAAQ,KAAK;CACd"}

package/dist/hinting/hint-plugin.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"hint-plugin.d.ts","sourceRoot":"","sources":["../../src/hinting/hint-plugin.ts"],"names":[],"mappings":"AACA,OAAO,EAAkC,MAAM,EAAe,MAAM,mBAAmB,CAAC;AAKxF;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,QAAO,MA6BnC,CAAA"}
+{"version":3,"file":"hint-plugin.d.ts","sourceRoot":"","sources":["../../src/hinting/hint-plugin.ts"],"names":[],"mappings":"AACA,OAAO,EAGL,MAAM,EAEP,MAAM,mBAAmB,CAAC;AAK3B;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,QAAO,MAiCnC,CAAC"}