@impermeable/waterproof-editor 0.11.0 → 0.13.0

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/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.11.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",

package/dist/DEBUG.d.ts

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

package/dist/DEBUG.d.ts.map

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

package/dist/codeview/lang-pack/test.d.ts

@@ -1,2 +0,0 @@
-export {};
-//# sourceMappingURL=test.d.ts.map

package/dist/codeview/lang-pack/test.d.ts.map

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

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

@@ -1,9 +0,0 @@
-import { Serializers, TagConfiguration } from "../api";
-export declare function markdownConfiguration(languageId: string): TagConfiguration;
-/**
- * Assumes using the `markdownTagMap` with the same language id.
- * @param languageId
- * @returns
- */
-export declare function markdownSerializers(languageId: string): Serializers;
-//# sourceMappingURL=markdownDefaults.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"markdownDefaults.d.ts","sourceRoot":"","sources":["../../src/markdown-defaults/markdownDefaults.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,QAAQ,CAAA;AAEtD,wBAAgB,qBAAqB,CAAC,UAAU,EAAE,MAAM,GAAG,gBAAgB,CA0B1E;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,MAAM,GAAG,WAAW,CASnE"}

package/dist/markdownDefaults.d.ts

@@ -1,9 +0,0 @@
-import { Serializers, TagConfiguration } from "./api";
-export declare function markdownConfiguration(languageId: string): TagConfiguration;
-/**
- * Assumes using the `markdownTagMap` with the same language id.
- * @param languageId
- * @returns
- */
-export declare function markdownSerializers(languageId: string): Serializers;
-//# sourceMappingURL=markdownDefaults.d.ts.map

package/dist/markdownDefaults.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"markdownDefaults.d.ts","sourceRoot":"","sources":["../src/markdownDefaults.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,OAAO,CAAA;AAErD,wBAAgB,qBAAqB,CAAC,UAAU,EAAE,MAAM,GAAG,gBAAgB,CA0B1E;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CAAC,UAAU,EAAE,MAAM,GAAG,WAAW,CASnE"}

package/dist/themeStore.d.ts

@@ -1,4 +0,0 @@
-import { ThemeStyle } from "./api";
-export declare function setCurrentTheme(theme: ThemeStyle): void;
-export declare function getCurrentTheme(): ThemeStyle;
-//# sourceMappingURL=themeStore.d.ts.map

package/dist/themeStore.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"themeStore.d.ts","sourceRoot":"","sources":["../src/themeStore.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,OAAO,CAAC;AAInC,wBAAgB,eAAe,CAAC,KAAK,EAAE,UAAU,QAEhD;AAED,wBAAgB,eAAe,IAAI,UAAU,CAE5C"}

package/dist/translation/toMathInline.d.ts

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

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

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