@impermeable/waterproof-editor 0.12.0 → 0.13.0

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

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

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

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

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

@@ -0,0 +1,22 @@
+import { EditorView as CodeMirror, ViewUpdate } from "@codemirror/view";
+import { Node, Schema } from "prosemirror-model";
+import { PluginKey } from "prosemirror-state";
+import { Decoration, EditorView } from "prosemirror-view";
+import { SwitchableView } from "./SwitchableView";
+import { EmbeddedCodeMirrorEditor } from "../../embedded-codemirror";
+/**
+ * Export CodeBlockView class that implements the custom codeblock nodeview.
+ * Corresponds with the example as can be found here:
+ * https://prosemirror.net/examples/codemirror/
+ */
+export declare class EditableView extends EmbeddedCodeMirrorEditor {
+    view: CodeMirror;
+    private _parent;
+    private _pluginKey;
+    constructor(node: Node, outerView: EditorView, schema: Schema, getPos: (() => number | undefined), place: HTMLElement, parent: SwitchableView, pluginKey: PluginKey);
+    focus(): void;
+    destroy(): void;
+    forwardUpdate(update: ViewUpdate): void;
+    update(node: Node, _decorations: readonly Decoration[]): boolean;
+}
+//# sourceMappingURL=EditableView.d.ts.map

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

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

package/dist/src/markup-views/switchable-view/EditorTheme.d.ts

@@ -0,0 +1,8 @@
+/**
+ * Inspired by:
+ * https://github.com/codemirror/theme-one-dark/blob/main/src/one-dark.ts
+ *
+ * Used for theming the markdown editors, differs from the one in color-scheme.ts.
+ */
+export declare const editorTheme: import("@codemirror/state").Extension;
+//# sourceMappingURL=EditorTheme.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"EditorTheme.d.ts","sourceRoot":"","sources":["../../../../src/markup-views/switchable-view/EditorTheme.ts"],"names":[],"mappings":"AAGA;;;;;GAKG;AACH,eAAO,MAAM,WAAW,uCAA4C,CAAC"}

package/dist/src/markup-views/switchable-view/MarkdownSchema.d.ts

@@ -0,0 +1,8 @@
+import { Schema } from "prosemirror-model";
+/**
+ * The schema in use to render markdown.
+ * Consists of the default prosemirror-markdown schema augmented with the
+ * prosemirror-math `math_inline` nodes.
+ */
+export declare const markdownRenderingSchema: Schema<keyof import("orderedmap").default<import("prosemirror-model").NodeSpec>, keyof import("orderedmap").default<import("prosemirror-model").MarkSpec>>;
+//# sourceMappingURL=MarkdownSchema.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"MarkdownSchema.d.ts","sourceRoot":"","sources":["../../../../src/markup-views/switchable-view/MarkdownSchema.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAG3C;;;;GAIG;AACH,eAAO,MAAM,uBAAuB,4JAGlC,CAAC"}

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

@@ -0,0 +1,13 @@
+import { EditorView } from "prosemirror-view";
+import { SwitchableView } from "./SwitchableView";
+export declare class RenderedView {
+    view: EditorView;
+    private _outerView;
+    private _parent;
+    constructor(target: HTMLElement, content: string, outerView: EditorView, parent: SwitchableView, usingCoqdocSyntax: boolean, _getPos: (() => number | undefined));
+    setSelection(anchor: number, head: number, _root: Document | ShadowRoot): void;
+    update(): boolean;
+    focus(): void;
+    destroy(): void;
+}
+//# sourceMappingURL=RenderedView.d.ts.map

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

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

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

@@ -0,0 +1,62 @@
+import { Decoration, EditorView, NodeView } from "prosemirror-view";
+import { PluginKey } from "prosemirror-state";
+import { Node as PNode, Schema } from "prosemirror-model";
+/**
+ * Abstract class for a switchable view.
+ * Switchable views allow for editing and rendering.
+ */
+export declare abstract class SwitchableView implements NodeView {
+    /** The DOM for this nodeview. */
+    dom: HTMLElement;
+    /** The currently active view. */
+    private view;
+    /** Whether we are in rendered mode */
+    private inRenderMode;
+    /** The place to insert the views into */
+    private _place;
+    /** The outer prosemirror editor */
+    private _outerView;
+    /** The node that is passed when constructing the NodeView */
+    private _node;
+    /** Represents whether the view is currently updating */
+    private _updating;
+    private _getPos;
+    private _outerSchema;
+    private _viewName;
+    private _pluginKey;
+    private _emptyClassName;
+    private _viewClassName;
+    private _editorClassName;
+    private _renderedClassName;
+    private _usingCoqdocSyntax;
+    get content(): string;
+    constructor(getPos: (() => number | undefined), outerView: EditorView, content: string, node: PNode, schema: Schema, pluginKey: PluginKey, viewName: string, usingCoqdocSyntax: boolean);
+    /**
+     * Returns whether this view is currently in the updating state.
+     */
+    get isUpdating(): boolean;
+    /**
+     * Overwrite the updating state of this node.
+     */
+    set updating(update: boolean);
+    /**
+     * Switch to the rendered view.
+     * This destroys the view currently in place and then adds a new rendered view.
+     */
+    makeRenderedView(): void;
+    /**
+     * Switch to the editable view.
+     * This destroys the view currently in place and then adds a new editable view.
+     */
+    makeEditableView(): void;
+    abstract preprocessContentForEditing(input: string): string;
+    abstract preprocessContentForRendering(input: string): string;
+    update(node: PNode, decorations: readonly Decoration[]): boolean;
+    selectNode(): void;
+    deselectNode(): void;
+    setSelection(anchor: number, head: number, root: Document | ShadowRoot): void;
+    stopEvent(event: Event): boolean;
+    ignoreMutation(): boolean;
+    destroy(): void;
+}
+//# sourceMappingURL=SwitchableView.d.ts.map

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

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

package/dist/src/markup-views/switchable-view/index.d.ts

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

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/markup-views/switchable-view/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC"}

package/dist/src/math-integration/index.d.ts

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

package/dist/src/math-integration/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/math-integration/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,aAAa,CAAA"}

package/dist/src/math-integration/nodespecs.d.ts

@@ -0,0 +1,4 @@
+import { NodeSpec } from "prosemirror-model";
+export declare const mathInlineSpec: NodeSpec;
+export declare const mathDisplaySpec: NodeSpec;
+//# sourceMappingURL=nodespecs.d.ts.map

package/dist/src/math-integration/nodespecs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"nodespecs.d.ts","sourceRoot":"","sources":["../../../src/math-integration/nodespecs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAA;AAQ5C,eAAO,MAAM,cAAc,EAAE,QAS5B,CAAA;AAGD,eAAO,MAAM,eAAe,EAAE,QAS7B,CAAA"}

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

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

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

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

package/dist/src/menubar/menubar.d.ts

@@ -0,0 +1,25 @@
+import { Schema } from "prosemirror-model";
+import { Plugin, PluginKey } from "prosemirror-state";
+import { OS } from "../osType";
+import { FileFormat } from "../api/FileFormat";
+/**
+ * Interface describing the state of the menu plugin
+ */
+interface IMenuPluginState {
+    showMenuItems: boolean;
+}
+/**
+ * The menu plugin key.
+ */
+export declare const MENU_PLUGIN_KEY: PluginKey<IMenuPluginState>;
+/**
+ * Create a new menu plugin given the schema and file format.
+ * @param schema The schema in use for the editor.
+ * @param filef The file format of the currently opened file.
+ * @returns A prosemirror `Plugin` type containing the menubar.
+ */
+export declare function menuPlugin(schema: Schema, filef: FileFormat, os: OS): Plugin<{
+    showMenuItems: boolean;
+}>;
+export {};
+//# sourceMappingURL=menubar.d.ts.map

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

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

package/dist/src/osType.d.ts

@@ -0,0 +1,8 @@
+export declare enum OS {
+    Windows = 0,
+    MacOS = 1,
+    Unix = 2,
+    Linux = 3,
+    Unknown = 4
+}
+//# sourceMappingURL=osType.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"osType.d.ts","sourceRoot":"","sources":["../../src/osType.ts"],"names":[],"mappings":"AAAA,oBAAY,EAAE;IACb,OAAO,IAAA;IACP,KAAK,IAAA;IACL,IAAI,IAAA;IACJ,KAAK,IAAA;IACL,OAAO,IAAA;CACP"}

package/dist/src/progressBar.d.ts

@@ -0,0 +1,13 @@
+import { Plugin, PluginKey } from "prosemirror-state";
+import { SimpleProgressParams } from "./api";
+import { ServerStatus } from "./api";
+export interface IProgressPluginState {
+    progressParams: SimpleProgressParams;
+    serverStatus: ServerStatus;
+    resetProgressBar: boolean;
+    endLine: number;
+    startLine: number;
+}
+export declare const PROGRESS_PLUGIN_KEY: PluginKey<IProgressPluginState>;
+export declare const progressBarPlugin: Plugin<IProgressPluginState>;
+//# sourceMappingURL=progressBar.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"progressBar.d.ts","sourceRoot":"","sources":["../../src/progressBar.ts"],"names":[],"mappings":"AACA,OAAO,EAAe,MAAM,EAAE,SAAS,EAA2B,MAAM,mBAAmB,CAAC;AAC5F,OAAO,EAAE,oBAAoB,EAAE,MAAM,OAAO,CAAC;AAC7C,OAAO,EAAE,YAAY,EAAE,MAAM,OAAO,CAAC;AAGrC,MAAM,WAAW,oBAAoB;IACnC,cAAc,EAAE,oBAAoB,CAAC;IACrC,YAAY,EAAE,YAAY,CAAC;IAC3B,gBAAgB,EAAE,OAAO,CAAC;IAC1B,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;CACnB;AAGD,eAAO,MAAM,mBAAmB,iCAAiE,CAAC;AAuIlG,eAAO,MAAM,iBAAiB,8BAAoC,CAAC"}

package/dist/src/qedStatus.d.ts

@@ -0,0 +1,9 @@
+import { Plugin, PluginKey } from 'prosemirror-state';
+import { InputAreaStatus } from './api';
+import { WaterproofEditor } from './editor';
+export interface IUpdateStatusPluginState {
+    status: InputAreaStatus[];
+}
+export declare const UPDATE_STATUS_PLUGIN_KEY: PluginKey<IUpdateStatusPluginState>;
+export declare const updateStatusPlugin: (editor: WaterproofEditor) => Plugin<IUpdateStatusPluginState>;
+//# sourceMappingURL=qedStatus.d.ts.map

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

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

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

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

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

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

package/dist/src/schema/schema-nodes.d.ts

@@ -0,0 +1 @@
+//# sourceMappingURL=schema-nodes.d.ts.map

package/dist/src/schema/schema-nodes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema-nodes.d.ts","sourceRoot":"","sources":["../../../src/schema/schema-nodes.ts"],"names":[],"mappings":""}

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

@@ -0,0 +1,23 @@
+import { Schema } from "prosemirror-model";
+export declare const SchemaCell: {
+    readonly InputArea: "input";
+    readonly Markdown: "markdown";
+    readonly MathDisplay: "math_display";
+    readonly Code: "code";
+};
+export type SchemaKeys = keyof typeof SchemaCell;
+export type SchemaNames = typeof SchemaCell[SchemaKeys];
+/**
+ * General schema obtained from `prosemirror-markdown`:
+ * https://github.com/ProseMirror/prosemirror-markdown/blob/master/src/schema.ts
+ *
+ * Codeblock schema adapted from 'ProseMirror footnote example':
+ * https://prosemirror.net/examples/footnote/
+ *
+ * math blocks obtained from `prosemirror-math`:
+ * https://github.com/benrbray/prosemirror-math/blob/master/src/math-schema.ts
+ *
+ * see [notes](./notes.md)
+ */
+export declare const WaterproofSchema: Schema;
+//# sourceMappingURL=schema.d.ts.map

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

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

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

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

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

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

package/dist/src/translation/Translator.d.ts

@@ -0,0 +1,12 @@
+/** Class that handles the translation from .mv | .v to prosemirror and vice versa. */
+export declare class FileTranslator {
+    constructor();
+    /**
+     * Convert an input file to a prosemirror compatible HTML representation.
+     * Input format is set by `fileFormat` in the constructor.
+     * @param inputDocument The input document read from disk.
+     * @returns A prosemirror compatible HTML document (as string).
+     */
+    toProsemirror(inputDocument: string): string;
+}
+//# sourceMappingURL=Translator.d.ts.map

package/dist/src/translation/Translator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Translator.d.ts","sourceRoot":"","sources":["../../../src/translation/Translator.ts"],"names":[],"mappings":"AAEA,sFAAsF;AACtF,qBAAa,cAAc;;IAIvB;;;;;OAKG;IACI,aAAa,CAAC,aAAa,EAAE,MAAM,GAAG,MAAM;CAGtD"}

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

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

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

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

package/dist/src/translation/toProsemirror/index.d.ts

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

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

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

package/dist/src/translation/toProsemirror/mvFileToProsemirror.d.ts

@@ -0,0 +1,2 @@
+export declare function translateMvToProsemirror(inputDocument: string): string;
+//# sourceMappingURL=mvFileToProsemirror.d.ts.map

package/dist/src/translation/toProsemirror/mvFileToProsemirror.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mvFileToProsemirror.d.ts","sourceRoot":"","sources":["../../../../src/translation/toProsemirror/mvFileToProsemirror.ts"],"names":[],"mappings":"AAwHA,wBAAgB,wBAAwB,CAAC,aAAa,EAAE,MAAM,GAAG,MAAM,CA6BtE"}

package/dist/src/translation/toProsemirror/parseAsMv.d.ts

@@ -0,0 +1,7 @@
+/**
+ * Parses `content` as .mv file content.
+ * @param content The content that should be parsed.
+ * @returns The parsed content.
+ */
+export declare function parseAsMv(input: string, markDownType: string): string;
+//# sourceMappingURL=parseAsMv.d.ts.map

package/dist/src/translation/toProsemirror/parseAsMv.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parseAsMv.d.ts","sourceRoot":"","sources":["../../../../src/translation/toProsemirror/parseAsMv.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,UA2C5D"}

package/dist/src/translation/toProsemirror/parser.d.ts

@@ -0,0 +1,3 @@
+export declare function translateCoqDoc(entry: string): string;
+export declare function toMathInline(from: "coqdoc" | "markdown", input: string): string;
+//# sourceMappingURL=parser.d.ts.map

package/dist/src/translation/toProsemirror/parser.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.d.ts","sourceRoot":"","sources":["../../../../src/translation/toProsemirror/parser.ts"],"names":[],"mappings":"AAqBA,wBAAgB,eAAe,CAAC,KAAK,EAAE,MAAM,UAyD5C;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,QAAQ,GAAG,UAAU,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAO/E"}

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

@@ -0,0 +1,12 @@
+import { Fragment, Node, Slice } from "prosemirror-model";
+export type NodeSerializer = (node: Node) => string;
+export type MarkSerializer = (text: string) => string;
+/**
+ * Abstract class that describes a serializer for the conversion of the document
+ */
+export declare abstract class Serializer {
+    abstract serializeFragment(fragment: Fragment): string;
+    abstract serializeSlice(slice: Slice): string;
+    serialize(input: Fragment | Slice): string | null;
+}
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/translation/types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAG1D,MAAM,MAAM,cAAc,GAAG,CAAC,IAAI,EAAE,IAAI,KAAK,MAAM,CAAC;AACpD,MAAM,MAAM,cAAc,GAAG,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM,CAAC;AAGtD;;GAEG;AACH,8BAAsB,UAAU;IAG5B,QAAQ,CAAC,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,GAAG,MAAM;IACtD,QAAQ,CAAC,cAAc,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM;IAG7C,SAAS,CAAC,KAAK,EAAE,QAAQ,GAAG,KAAK;CAiBpC"}

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

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

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

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

package/dist/src/utilities/prosemirror.d.ts

@@ -0,0 +1,13 @@
+import { NodeType, Node as PNode } from "prosemirror-model";
+/**
+ * Helper function to get all descendants of a node with a given type.
+ * @param node The parent node.
+ * @param descend Whether to descend into the child nodes.
+ * @param type The type of interest.
+ * @returns An array containing all the descendant nodes with type `type`, together with their postions in the document.
+ */
+export declare function findDescendantsWithType(node: PNode, descend: boolean, type: NodeType): {
+    node: PNode;
+    pos: number;
+}[];
+//# sourceMappingURL=prosemirror.d.ts.map

package/dist/src/utilities/prosemirror.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prosemirror.d.ts","sourceRoot":"","sources":["../../../src/utilities/prosemirror.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,IAAI,IAAI,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAE5D;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,GAAG;IAAC,IAAI,EAAE,KAAK,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAC,EAAE,CAUnH"}

package/dist/translation/toMarkdownTranslation.d.ts

@@ -0,0 +1,3 @@
+export declare function toMathInline(input: string): string;
+export declare const defaultToMarkdown: typeof toMathInline;
+//# sourceMappingURL=toMarkdownTranslation.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"toMarkdownTranslation.d.ts","sourceRoot":"","sources":["../../src/translation/toMarkdownTranslation.ts"],"names":[],"mappings":"AAAA,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAElD;AAED,eAAO,MAAM,iBAAiB,qBAAe,CAAC"}

package/dist/tsconfig.tsbuildinfo

@@ -0,0 +1 @@
+{"root":["../src/documentProgressDecorator.ts","../src/editor.ts","../src/index.ts","../src/inputArea.ts","../src/osType.ts","../src/progressBar.ts","../src/qedStatus.ts","../src/api/Completions.ts","../src/api/DocChange.ts","../src/api/FileFormat.ts","../src/api/InputAreaStatus.ts","../src/api/LineNumber.ts","../src/api/ServerStatus.ts","../src/api/Severity.ts","../src/api/index.ts","../src/api/types.ts","../src/autocomplete/coqTerms.ts","../src/autocomplete/emojis.ts","../src/autocomplete/index.ts","../src/autocomplete/renderSymbol.ts","../src/autocomplete/symbols.ts","../src/codeview/code-plugin.ts","../src/codeview/color-scheme.ts","../src/codeview/debouncer.ts","../src/codeview/index.ts","../src/codeview/nodeview.ts","../src/codeview/lang-pack/index.ts","../src/codeview/lang-pack/print-grammar.ts","../src/codeview/lang-pack/syntax.grammar.d.ts","../src/codeview/lang-pack/syntax.terms.ts","../src/codeview/lang-pack/syntax.ts","../src/commands/command-helpers.ts","../src/commands/commands.ts","../src/commands/delete-command.ts","../src/commands/index.ts","../src/commands/insert-command.ts","../src/commands/types.ts","../src/context-menu/index.ts","../src/context-menu/menu.ts","../src/document/construct-document.ts","../src/document/index.ts","../src/document/utils.ts","../src/document/blocks/block.ts","../src/document/blocks/blocktypes.ts","../src/document/blocks/index.ts","../src/document/blocks/schema.ts","../src/document/blocks/typeguards.ts","../src/embedded-codemirror/embedded-codemirror-keymap.ts","../src/embedded-codemirror/embeddedCodemirror.ts","../src/embedded-codemirror/index.ts","../src/embedded-codemirror/types.ts","../src/hinting/hint-plugin.ts","../src/hinting/index.ts","../src/markup-views/CoqdocPlugin.ts","../src/markup-views/CoqdocView.ts","../src/markup-views/MarkdownPlugin.ts","../src/markup-views/MarkdownView.ts","../src/markup-views/index.ts","../src/markup-views/switchable-view/EditableView.ts","../src/markup-views/switchable-view/EditorTheme.ts","../src/markup-views/switchable-view/MarkdownSchema.ts","../src/markup-views/switchable-view/RenderedView.ts","../src/markup-views/switchable-view/SwitchableView.ts","../src/markup-views/switchable-view/index.ts","../src/math-integration/index.ts","../src/math-integration/nodespecs.ts","../src/menubar/index.ts","../src/menubar/menubar.ts","../src/schema/index.ts","../src/schema/schema-nodes.ts","../src/schema/schema.ts","../src/styles/index.ts","../src/translation/Translator.ts","../src/translation/index.ts","../src/translation/types.ts","../src/translation/toProsemirror/index.ts","../src/translation/toProsemirror/mvFileToProsemirror.ts","../src/translation/toProsemirror/parseAsMv.ts","../src/translation/toProsemirror/parser.ts","../src/utilities/index.ts","../src/utilities/prosemirror.ts","../src/autocomplete/coqTerms.json","../src/autocomplete/emojis.json","../src/autocomplete/symbols.json","../src/codeview/coqTheme.json","../src/markup-views/switchable-view/editorTheme.json"],"version":"5.8.3"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@impermeable/waterproof-editor",
-  "version": "0.12.0",
+  "version": "0.13.0",
   "description": "Waterproof Editor ",
   "homepage": "https://github.com/impermeable/waterproof-editor#readme",
   "bugs": {
@@ -59,8 +59,8 @@
     "@codemirror/autocomplete": "6.18.1",
     "@codemirror/commands": "6.6.2",
     "@codemirror/language": "6.10.3",
-    "@codemirror/lint": "6.8.2",
-    "@codemirror/view": "6.27.0",
+    "@codemirror/lint": "6.9.2",
+    "@codemirror/view": "6.38.8",
     "@lezer/highlight": "1.2.1",
     "@lezer/lr": "1.4.2",
     "jquery": "3.7.1",