@impermeable/waterproof-editor 0.13.0 → 0.14.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@impermeable/waterproof-editor",
-  "version": "0.13.0",
+  "version": "0.14.0",
   "description": "Waterproof Editor ",
   "homepage": "https://github.com/impermeable/waterproof-editor#readme",
   "bugs": {
@@ -15,7 +15,8 @@
   "main": "./dist/index.js",
   "exports": {
     ".": "./dist/index.js",
-    "./styles.css": "./dist/index.css"
+    "./styles.css": "./dist/index.css",
+    "./waterproof-defaults.css": "./dist/styles/waterproof-defaults.css"
   },
   "typesVersions": {
     "*": {
@@ -26,46 +27,51 @@
   },
   "scripts": {
     "watch:esbuild": "node esbuild.mjs --watch",
+    "watch:esbuild-debug": "node esbuild.mjs --watch --debug",
     "watch:tsc": "npx tsc -b --watch",
     "test": "npm run unit-tests",
     "unit-tests": "npx jest",
     "unit-tests-cov": "npx jest --coverage --collectCoverageFrom=src/**/*.ts",
     "lezer-generator": "npx lezer-generator ./src/codeview/lang-pack/syntax.grammar -o ./src/codeview/lang-pack/syntax.ts --typeScript",
+    "lezer-generator-verbose": "npx lezer-generator ./src/codeview/lang-pack-verbose/syntax.grammar -o ./src/codeview/lang-pack-verbose/syntax.ts --typeScript",
     "typecheck": "npx tsc -b",
     "build": "npm run typecheck && node esbuild.mjs --minify",
     "lint": "npx eslint .",
     "lint-fix": "npx eslint . --fix"
   },
   "devDependencies": {
+    "@codemirror/autocomplete": "6.18.1",
+    "@codemirror/commands": "6.6.2",
+    "@codemirror/language": "6.12.2",
+    "@codemirror/lint": "6.9.2",
+    "@codemirror/state": "~6.5.3",
+    "@codemirror/view": "6.38.8",
     "@eslint/js": "^9.18.0",
     "@lezer/generator": "^1.2.3",
     "@types/glob": "^7.1.1",
     "@types/jest": "^29.5.1",
     "@types/jquery": "^3.5.16",
+    "@types/markdown-it": "^14.1.2",
     "@types/mocha": "^10.0.1",
     "@types/node": "^16.11.7",
     "esbuild": "^0.25.9",
     "eslint": "^9.18.0",
     "jest": "^29.5.0",
-    "jest-environment-jsdom": "^29.7.0",
-    "mocha": "^10.2.0",
+    "jest-environment-jsdom": "^30.2.0",
+    "mocha": "^11.7.5",
     "prettier": "^2.8.1",
+    "prosemirror-dev-tools": "^4.2.0",
     "ts-jest": "^29.1.0",
     "typescript": "^5.1.3",
     "typescript-eslint": "^8.20.0"
   },
   "dependencies": {
     "@benrbray/prosemirror-math": "1.0.0",
-    "@codemirror/autocomplete": "6.18.1",
-    "@codemirror/commands": "6.6.2",
-    "@codemirror/language": "6.10.3",
-    "@codemirror/lint": "6.9.2",
-    "@codemirror/view": "6.38.8",
     "@lezer/highlight": "1.2.1",
     "@lezer/lr": "1.4.2",
     "jquery": "3.7.1",
     "katex": "^0.16.22",
-    "markdown-it": "13.0.2",
+    "markdown-it": "^14.1.1",
     "prosemirror-commands": "1.6.0",
     "prosemirror-history": "1.4.1",
     "prosemirror-inputrules": "1.4.0",
@@ -75,5 +81,22 @@
     "prosemirror-state": "1.4.3",
     "prosemirror-transform": "1.10.0",
     "prosemirror-view": "1.34.3"
+  },
+  "overrides": {
+    "mocha": {
+      "serialize-javascript": "7.0.5",
+      "diff": "8.0.3"
+    },
+    "eslint": {
+      "brace-expansion": "2.1.0"
+    }
+  },
+  "peerDependencies": {
+    "@codemirror/autocomplete": "6.18.1",
+    "@codemirror/commands": "6.6.2",
+    "@codemirror/language": "6.12.2",
+    "@codemirror/lint": "6.9.2",
+    "@codemirror/state": "~6.5.2",
+    "@codemirror/view": "6.38.8"
   }
 }

package/tsconfig.test.json

@@ -0,0 +1,14 @@
+{
+    "extends": "./tsconfig.json",
+    "compilerOptions": {
+        "rootDir": ".",
+        "outDir": "./dist-test",
+        "module": "nodenext",
+        "moduleResolution": "nodenext",
+        "isolatedModules": true,
+        "emitDeclarationOnly": false,
+        "declaration": false,
+        "declarationMap": false
+    },
+    "include": ["src/**/*.ts", "src/**/*.json", "__tests__/**/*.ts"]
+}

package/dist/codeview/progress-indicator.d.ts

@@ -1,19 +0,0 @@
-import { GutterMarker } from "@codemirror/view";
-import { StateField, RangeSet } from "@codemirror/state";
-export declare const addProgressIndicatorEffect: import("@codemirror/state").StateEffectType<number>;
-export declare const removeProgressIndicatorEffect: import("@codemirror/state").StateEffectType<null>;
-export declare const addBusyIndicatorEffect: import("@codemirror/state").StateEffectType<number>;
-export declare const removeBusyIndicatorEffect: import("@codemirror/state").StateEffectType<null>;
-export declare const progressIndicatorState: StateField<RangeSet<GutterMarker>>;
-export declare const busyIndicatorState: StateField<RangeSet<GutterMarker>>;
-/**
- * The busy indicator is used to display an indicator in the editor
- * for lines that take a long time.
- */
-export declare const busyGutter: import("@codemirror/state").Extension;
-/**
- * The progress gutter is used to add an invisible element into the editor that is used to
- * display the progress line.
- */
-export declare const progressGutter: import("@codemirror/state").Extension;
-//# sourceMappingURL=progress-indicator.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"progress-indicator.d.ts","sourceRoot":"","sources":["../../src/codeview/progress-indicator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAkC,YAAY,EAAiB,MAAM,kBAAkB,CAAA;AAC9F,OAAO,EAAE,UAAU,EAAe,QAAQ,EAAE,MAAM,mBAAmB,CAAA;AAErE,eAAO,MAAM,0BAA0B,qDAErC,CAAC;AACH,eAAO,MAAM,6BAA6B,mDAAuB,CAAC;AAElE,eAAO,MAAM,sBAAsB,qDAEjC,CAAC;AACH,eAAO,MAAM,yBAAyB,mDAAuB,CAAC;AAW9D,eAAO,MAAM,sBAAsB,oCAejC,CAAC;AAiBH,eAAO,MAAM,kBAAkB,oCAc7B,CAAC;AAEH;;;GAGG;AACH,eAAO,MAAM,UAAU,uCAGrB,CAAC;AAEH;;;GAGG;AACH,eAAO,MAAM,cAAc,uCAGzB,CAAC"}

package/dist/mapping/newmapping.d.ts

@@ -1,62 +0,0 @@
-import { Tree } from "./Tree";
-import { Block } from "../document";
-import { DocChange, DocumentSerializer, TagConfiguration, WrappingDocChange } from "../api";
-import { Node } from "prosemirror-model";
-import { Step } from "prosemirror-transform";
-/**
- * This class is responsible for keeping track of the mapping between the prosemirror state and the vscode Text
- * Document model
- */
-export declare class Mapping {
-    /** This stores the String cells of the entire document */
-    private tree;
-    /** The version of the underlying textDocument */
-    private _version;
-    private readonly nodeUpdate;
-    private readonly textUpdate;
-    /**
-     * Constructs a prosemirror view vscode mapping for the inputted prosemirror html element
-     *
-     * @param inputBlocks a string containing the prosemirror content html element
-     */
-    constructor(inputBlocks: Block[], versionNum: number, tMap: TagConfiguration, serializer: DocumentSerializer);
-    /**
-     * Returns the mapping to preserve integrity
-     */
-    getMapping(): Tree;
-    /**
-     * Get the version of the underlying text document
-     */
-    get version(): number;
-    /** Returns the vscode document model index of prosemirror index */
-    findPosition(index: number): number;
-    /**
-     * Returns the prosemirror index corresponding to the given document offset.
-     * @param offset The offset (in characters) in the document.
-     * @returns The corresponding prosemirror index.
-     */
-    findInvPosition(offset: number): number;
-    update(step: Step, doc: Node): DocChange | WrappingDocChange;
-    /**
-     * This checks if the doc change actually changed the document, since vscode
-     * does not register empty changes
-     */
-    private checkDocChange;
-    /**
-     * Initializes the mapping given the input document in the form of a Block array.
-     * @param blocks
-     */
-    private initTree;
-    /**
-     * Recursively computes the prosemirrorStart and prosemirrorEnd offsets for each node.
-     *
-     * @param node The current node to compute the offsets for.
-     * @param startTagMap The start tag mapping for each block type.
-     * @param endTagMap The end tag mapping for each block type.
-     * @param currentOffset The current offset from where the computation should begin.
-     * @param level The current depth level in the tree (used for adjusting offsets).
-     * @returns The updated offset after computing the current node.
-     */
-    private computeProsemirrorOffsets;
-}
-//# sourceMappingURL=newmapping.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"newmapping.d.ts","sourceRoot":"","sources":["../../src/mapping/newmapping.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;;;;OAIG;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,mEAAmE;IAC5D,YAAY,CAAC,KAAK,EAAE,MAAM;IAMjC;;;;OAIG;IACI,eAAe,CAAC,MAAM,EAAE,MAAM;IAM9B,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"}

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

@@ -1,21 +0,0 @@
-/**
- * Type of completions.
- */
-export type WaterproofCompletion = {
-    /** The label shown in the completion panel */
-    label: string;
-    /** The type of the completion */
-    type: string;
-    detail: string;
-    template: string;
-};
-/**
- * Completion that can always be inserted.
- * Does not support templating.
- */
-export type WaterproofSymbol = {
-    label: string;
-    type: string;
-    apply: string;
-};
-//# sourceMappingURL=Completions.d.ts.map

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

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

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

@@ -1,19 +0,0 @@
-/**
- * This object specifies a TextDocument change. As in prosemirror:
- * startInFile == endInFile: insert operation
- * else: replace or deletion with finalText
- */
-export type DocChange = {
-    startInFile: number;
-    endInFile: number;
-    finalText: string;
-};
-/**
- * This object specifies a wrapping TextDocument change. This happens when nodes
- * are wrapped with input or hint
- */
-export type WrappingDocChange = {
-    firstEdit: DocChange;
-    secondEdit: DocChange;
-};
-//# sourceMappingURL=DocChange.d.ts.map

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

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

package/dist/src/api/FileFormat.d.ts

@@ -1,10 +0,0 @@
-/**
- * The different supported input/output file types
- */
-export declare enum FileFormat {
-    /** Markdown enabled coq file (extension: `.mv`) */
-    MarkdownV = "MarkdownV",
-    /** Regular coq file, with the possibility for coqdoc comments (extension: `.v`) */
-    RegularV = "RegularV"
-}
-//# sourceMappingURL=FileFormat.d.ts.map

package/dist/src/api/FileFormat.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"FileFormat.d.ts","sourceRoot":"","sources":["../../../src/api/FileFormat.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,oBAAY,UAAU;IAClB,mDAAmD;IACnD,SAAS,cAAc;IACvB,mFAAmF;IACnF,QAAQ,aAAa;CACxB"}

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

@@ -1,14 +0,0 @@
-/**
- * The status of an input area.
- */
-export declare enum InputAreaStatus {
-    /** The proof is correct. */
-    Proven = "proven",
-    /** The proof is unfinished or contains an error. */
-    Incomplete = "incomplete",
-    /** The input area does not contain `Qed.` at the end, so the status cannot be determined. */
-    Invalid = "invalid",
-    /** Not in view, so was not requested */
-    NotInView = "not-in-view"
-}
-//# sourceMappingURL=InputAreaStatus.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"InputAreaStatus.d.ts","sourceRoot":"","sources":["../../../src/api/InputAreaStatus.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,oBAAY,eAAe;IACvB,4BAA4B;IAC5B,MAAM,WAAW;IACjB,oDAAoD;IACpD,UAAU,eAAe;IACzB,6FAA6F;IAC7F,OAAO,YAAY;IACnB,wCAAwC;IACxC,SAAS,gBAAgB;CAC5B"}

package/dist/src/api/LineNumber.d.ts

@@ -1,10 +0,0 @@
-/**
- * This is the versioned linenumber message
- */
-export type LineNumber = {
-    /** The linenumbers */
-    linenumbers: Array<number>;
-    /** Version of the document the linenumbers correspond to.. */
-    version: number;
-};
-//# sourceMappingURL=LineNumber.d.ts.map

package/dist/src/api/LineNumber.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"LineNumber.d.ts","sourceRoot":"","sources":["../../../src/api/LineNumber.ts"],"names":[],"mappings":"AACA;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG;IACrB,sBAAsB;IACtB,WAAW,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IAC3B,8DAA8D;IAC9D,OAAO,EAAE,MAAM,CAAC;CACnB,CAAA"}

package/dist/src/api/ServerStatus.d.ts

@@ -1,18 +0,0 @@
-/**
- * Type that indicates that the server is busy processing a document.
- */
-export type Busy = {
-    /** Status */
-    status: "Busy";
-    /** Extra metadata, can be used to communicate what the server is currently processing */
-    metadata: string;
-};
-/**
- * Type that indicates that the server is idle. This means that it has
- * either completed checking or is stopped.
- */
-export type Idle = {
-    status: "Idle" | "Stopped";
-};
-export type ServerStatus = Busy | Idle;
-//# sourceMappingURL=ServerStatus.d.ts.map

package/dist/src/api/ServerStatus.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"ServerStatus.d.ts","sourceRoot":"","sources":["../../../src/api/ServerStatus.ts"],"names":[],"mappings":"AACA;;GAEG;AACH,MAAM,MAAM,IAAI,GAAG;IACf,aAAa;IACb,MAAM,EAAE,MAAM,CAAC;IACf,yFAAyF;IACzF,QAAQ,EAAE,MAAM,CAAC;CACpB,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,IAAI,GAAG;IACf,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;CAC9B,CAAA;AAED,MAAM,MAAM,YAAY,GAAG,IAAI,GAAG,IAAI,CAAC"}

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

@@ -1,12 +0,0 @@
-/**
- * Severity of reported diagnostics
- */
-export declare enum Severity {
-    Error = 0,
-    Warning = 1,
-    Information = 2,
-    Hint = 3
-}
-export type SeverityLabel = "hint" | "info" | "warning" | "error";
-export declare const SeverityLabelMap: Record<Severity, SeverityLabel>;
-//# sourceMappingURL=Severity.d.ts.map

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

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

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

@@ -1,12 +0,0 @@
-export { DocChange, WrappingDocChange } from "./DocChange";
-export { InputAreaStatus } from "./InputAreaStatus";
-export { LineNumber } from "./LineNumber";
-export { Severity, SeverityLabel, SeverityLabelMap } from "./Severity";
-export { FileFormat } from "./FileFormat";
-export * from "./types";
-export { WaterproofCompletion, WaterproofSymbol } from "./Completions";
-export { Completion } from "@codemirror/autocomplete";
-export { Step, ReplaceStep, ReplaceAroundStep } from "prosemirror-transform";
-export { Fragment } from "prosemirror-model";
-export { ServerStatus, Idle, Busy } from "./ServerStatus";
-//# sourceMappingURL=index.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/api/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,SAAS,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAG3D,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,UAAU,EAAC,MAAM,cAAc,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAEvE,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE1C,cAAc,SAAS,CAAC;AAExB,OAAO,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAEvE,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AACtD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC7E,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAE7C,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAC"}

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

@@ -1,119 +0,0 @@
-import { Step } from "prosemirror-transform";
-import { DocChange, WrappingDocChange, Severity, WaterproofCompletion, WaterproofSymbol } from ".";
-import { Block } from "../document";
-/**
- * Represents an area of text, that is editable in the prosemirror view and its
- * mapping to the vscode document
- */
-export type StringCell = {
-    /** The prosemirror starting index of this cell */
-    startProse: number;
-    /** The prosemirror ending index of this cell */
-    endProse: number;
-    /** The starting index of this cell in the text document string vscode side */
-    startText: number;
-    /** The ending index of this cell in the text document string vscode side */
-    endText: number;
-};
-export type Positioned<A> = {
-    obj: A;
-    pos: number | undefined;
-};
-/**
- * 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`.
- *
- * Also see [documentation/UsingWaterproofEditor.md](../../documentation/UsingWaterproofEditor.md)
- */
-export type WaterproofDocument = Block[];
-export type WaterproofCallbacks = {
-    /** Used by the editor to execute a command in the document. */
-    executeCommand: (command: string, time: number) => void;
-    /** Executed by the editor when the user asks for help via the keybinding or the context menu entry. */
-    executeHelp: () => void;
-    /** Used by the editor to communicate that it is ready. */
-    editorReady: () => void;
-    /** The editor will call this function on every change that is made to the underlying document.
-     *
-     * The change can either be a regular document change or a wrapping document change.
-     */
-    documentChange: (change: DocChange | WrappingDocChange) => void;
-    /** Only ever used by the editor once an unrecoverable error has occured when mapping changes */
-    applyStepError: (errorMessage: string) => void;
-    /** Used by the editor to communicate the current cursor position, `cursorPosition` is an offset based position into the document.  */
-    cursorChange: (cursorPosition: number) => void;
-    /** Used to communicate that the linenumbers need to be recomputed for the current document */
-    lineNumbers: (linenumbers: Array<number>, version: number) => void;
-    /** Fired by the editor when the viewport (the user visible part of the editor changes) */
-    viewportHint: (start: number, end: number) => void;
-};
-export declare abstract class WaterproofMapping {
-    abstract getMapping: () => Map<number, StringCell>;
-    abstract get version(): number;
-    abstract findPosition: (index: number) => number;
-    abstract findInvPosition: (index: number) => number;
-    abstract update: (step: Step) => DocChange | WrappingDocChange;
-}
-/**
- * Configuration object for the WaterproofEditor.
- *
- * - `api` contains the callbacks that the editor will use to communicate with the host application.
- * - `documentConstructor` is a function that takes a string and returns a WaterproofDocument (block representation of a ProseMirror document).
- * - `mapping` is a constructor for the WaterproofMapping class, which handles the mapping between the ProseMirror document and the text document in the host application.
- */
-export type WaterproofEditorConfig = {
-    /** Set of  (static) completions that should be shown to the user. */
-    completions: Array<WaterproofCompletion>;
-    /** Set of (static) symbol completions that should be shown to the user. */
-    symbols: Array<WaterproofSymbol>;
-    /** How the editor communicates to the parent process */
-    api: WaterproofCallbacks;
-    /** Determines how the editor document gets constructed from a string input. */
-    documentConstructor: (document: string) => WaterproofDocument;
-    /** How to construct a mapping for this editor. The mapping is responsible for mapping changes from the underlying ProseMirror instance into changes that can be applied to the underlying document. */
-    mapping: new (inputString: string, versionNum: number) => WaterproofMapping;
-    /** THIS IS A TEMPORARY FEATURE THAT WILL GET REMOVED */
-    documentPreprocessor?: (inputString: string) => {
-        resultingDocument: string;
-        documentChange: DocChange | WrappingDocChange | undefined;
-    };
-};
-export declare enum HistoryChange {
-    Undo = 0,
-    Redo = 1
-}
-export type SimpleProgressInfo = {
-    /** Range for which the processing info was reported. */
-    range: {
-        start: {
-            line: number;
-            character: number;
-        };
-        end: {
-            line: number;
-            character: number;
-        };
-    };
-    /** Kind of progress that was reported. */
-    kind?: CoqFileProgressKind;
-};
-export type SimpleProgressParams = {
-    numberOfLines: number;
-    progress: SimpleProgressInfo[];
-};
-export declare enum CoqFileProgressKind {
-    Processing = 1,
-    FatalError = 2
-}
-export interface OffsetDiagnostic {
-    message: string;
-    severity: Severity;
-    startOffset: number;
-    endOffset: number;
-}
-export declare enum ThemeStyle {
-    Light = 0,
-    Dark = 1
-}
-//# sourceMappingURL=types.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/api/types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,uBAAuB,CAAC;AAC7C,OAAO,EAAE,SAAS,EAAE,iBAAiB,EAAE,QAAQ,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,GAAG,CAAC;AACnG,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAEpC;;;GAGG;AACH,MAAM,MAAM,UAAU,GAAG;IACrB,kDAAkD;IAClD,UAAU,EAAE,MAAM,CAAC;IACnB,gDAAgD;IAChD,QAAQ,EAAE,MAAM,CAAC;IACjB,8EAA8E;IAC9E,SAAS,EAAE,MAAM,CAAC;IAClB,4EAA4E;IAC5E,OAAO,EAAE,MAAM,CAAC;CACnB,CAAC;AAEF,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI;IACxB,GAAG,EAAE,CAAC,CAAC;IACP,GAAG,EAAE,MAAM,GAAG,SAAS,CAAC;CAC3B,CAAC;AAEF;;;;;;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,CAAA;IAC9C,8FAA8F;IAC9F,WAAW,EAAE,CAAC,WAAW,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC;IACnE,0FAA0F;IAC1F,YAAY,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,KAAK,IAAI,CAAC;CACtD,CAAA;AAED,8BAAsB,iBAAiB;IACnC,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACnD,QAAQ,KAAK,OAAO,IAAI,MAAM,CAAC;IAC/B,QAAQ,CAAC,YAAY,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC;IACjD,QAAQ,CAAC,eAAe,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC;IACpD,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,IAAI,KAAK,SAAS,GAAG,iBAAiB,CAAC;CAClE;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;IAC9D,uMAAuM;IACvM,OAAO,EAAE,KAAK,WAAW,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,KAAK,iBAAiB,CAAC;IAC5E,wDAAwD;IACxD,oBAAoB,CAAC,EAAE,CAAC,WAAW,EAAE,MAAM,KAAK;QAAC,iBAAiB,EAAE,MAAM,CAAC;QAAC,cAAc,EAAE,SAAS,GAAG,iBAAiB,GAAG,SAAS,CAAA;KAAC,CAAC;CAC1I,CAAA;AAED,oBAAY,aAAa;IACrB,IAAI,IAAA;IACJ,IAAI,IAAA;CACP;AAED,MAAM,MAAM,kBAAkB,GAAG;IAC7B,wDAAwD;IACxD,KAAK,EAAE;QACH,KAAK,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,SAAS,EAAE,MAAM,CAAA;SAAE,CAAC;QAC3C,GAAG,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,SAAS,EAAE,MAAM,CAAA;SAAE,CAAC;KAC5C,CAAC;IACF,0CAA0C;IAC1C,IAAI,CAAC,EAAE,mBAAmB,CAAC;CAC9B,CAAA;AAED,MAAM,MAAM,oBAAoB,GAAG;IAC/B,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,kBAAkB,EAAE,CAAC;CAClC,CAAA;AAED,oBAAY,mBAAmB;IAC3B,UAAU,IAAI;IACd,UAAU,IAAA;CACb;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"}

package/dist/src/autocomplete/coqTerms.d.ts

@@ -1,3 +0,0 @@
-import { CompletionSource } from "@codemirror/autocomplete";
-export declare const coqCompletionSource: CompletionSource;
-//# sourceMappingURL=coqTerms.d.ts.map

package/dist/src/autocomplete/coqTerms.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"coqTerms.d.ts","sourceRoot":"","sources":["../../../src/autocomplete/coqTerms.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmD,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAO7G,eAAO,MAAM,mBAAmB,EAAE,gBAcjC,CAAA"}

package/dist/src/autocomplete/emojis.d.ts

@@ -1,10 +0,0 @@
-import { CompletionSource } from "@codemirror/autocomplete";
-/**
- * Function that creates the `emojiCompletionSource`.
- * This function can be used in the editor as a completion source.
- *
- * Emoji list has been generated by using https://github.com/github/gemoji/blob/master/db/emoji.json
- * from https://github.com/github/gemoji
- */
-export declare const emojiCompletionSource: CompletionSource;
-//# sourceMappingURL=emojis.d.ts.map

package/dist/src/autocomplete/emojis.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"emojis.d.ts","sourceRoot":"","sources":["../../../src/autocomplete/emojis.ts"],"names":[],"mappings":"AAAA,OAAO,EAAiC,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAK3F;;;;;;GAMG;AACH,eAAO,MAAM,qBAAqB,EAAE,gBAUnC,CAAA"}

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

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

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

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/autocomplete/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC"}

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

@@ -1,7 +0,0 @@
-import { Completion } from "@codemirror/autocomplete";
-import { EditorState } from "@codemirror/state";
-export declare const renderIcon: {
-    render: (completion: Completion, _state: EditorState) => globalThis.Node | null;
-    position: number;
-};
-//# sourceMappingURL=renderSymbol.d.ts.map

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

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

package/dist/src/autocomplete/symbols.d.ts

@@ -1,7 +0,0 @@
-import { CompletionSource } from "@codemirror/autocomplete";
-/**
- * Function that creates the `symbolCompletionSource`.
- * This function can be used in the editor as a completion source.
- */
-export declare const symbolCompletionSource: CompletionSource;
-//# sourceMappingURL=symbols.d.ts.map

package/dist/src/autocomplete/symbols.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"symbols.d.ts","sourceRoot":"","sources":["../../../src/autocomplete/symbols.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmD,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAM7G;;;GAGG;AACH,eAAO,MAAM,sBAAsB,EAAE,gBAapC,CAAA"}

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

@@ -1,28 +0,0 @@
-import { Schema, Node as ProseNode } from "prosemirror-model";
-import { Plugin as ProsePlugin, PluginKey } from "prosemirror-state";
-import { EditorView } from "prosemirror-view";
-import { CodeBlockView } from "./nodeview";
-import { LineNumber, ThemeStyle, WaterproofCompletion, WaterproofSymbol } from "../api";
-import { Completion } from "@codemirror/autocomplete";
-import { WaterproofEditor } from "../editor";
-export interface ICodePluginState {
-    macros: {
-        [cmd: string]: string;
-    };
-    /** A list of currently active `NodeView`s, in insertion order. */
-    activeNodeViews: Set<CodeBlockView>;
-    /** The schema of the outer editor */
-    schema: Schema;
-    /** Should the codemirror cells show line numbers */
-    showLines: boolean;
-    /** The lastest versioned linenumbers */
-    lines: LineNumber;
-}
-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): (node: ProseNode, view: EditorView, getPos: () => number | undefined) => CodeBlockView;
-export declare const codePlugin: (completions: Array<WaterproofCompletion>, symbols: Array<WaterproofSymbol>, editorInstance: WaterproofEditor, initialThemeStyle: ThemeStyle) => ProsePlugin<ICodePluginState>;
-//# sourceMappingURL=code-plugin.d.ts.map

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

@@ -1 +0,0 @@
-{"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,UAAU,EAAE,UAAU,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,QAAQ,CAAC;AACxF,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,kEAAkE;IAClE,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,UAAU,CAAC;CAClB;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,IACpJ,MAAM,SAAS,EAAE,MAAM,UAAU,EAAE,QAAQ,MAAM,MAAM,GAAG,SAAS,KAAG,aAAa,CAe3F;AAiED,eAAO,MAAM,UAAU,GAAI,aAAa,KAAK,CAAC,oBAAoB,CAAC,EAAE,SAAS,KAAK,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,gBAAgB,EAAE,mBAAmB,UAAU,kCAOrK,CAAC"}

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

@@ -1,6 +0,0 @@
-/**
- * Inspired by:
- * https://github.com/codemirror/theme-one-dark/blob/main/src/one-dark.ts
- */
-export declare const customTheme: import("@codemirror/state").Extension;
-//# sourceMappingURL=color-scheme.d.ts.map

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

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

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

@@ -1,8 +0,0 @@
-export declare class Debouncer {
-    private _func;
-    private _delay;
-    private timer;
-    constructor(delay: number, func: () => void);
-    call(): void;
-}
-//# sourceMappingURL=debouncer.d.ts.map

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

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

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

@@ -1,3 +0,0 @@
-export { CodeBlockView } from "./nodeview";
-export { CODE_PLUGIN_KEY, codePlugin } from "./code-plugin";
-//# sourceMappingURL=index.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/codeview/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE3C,OAAO,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC"}

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

@@ -1,8 +0,0 @@
-import { HighlightStyle, LRLanguage, LanguageSupport } from "@codemirror/language";
-import { ThemeStyle } from "../../api";
-export declare const highlight_dark: HighlightStyle;
-export declare const highlight_light: HighlightStyle;
-export declare const coqLanguage: LRLanguage;
-export declare function coq(): LanguageSupport;
-export declare function coqSyntaxHighlighting(themeStyle: ThemeStyle): import("@codemirror/state").Extension;
-//# sourceMappingURL=index.d.ts.map