@impermeable/waterproof-editor 0.13.0 → 0.14.1

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

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

@@ -1,13 +0,0 @@
-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

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

@@ -1,9 +0,0 @@
-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

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

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

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

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

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

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

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

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

@@ -1,23 +0,0 @@
-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

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

@@ -1,17 +0,0 @@
-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

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

@@ -1,12 +0,0 @@
-/** 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

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

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

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

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

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

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

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

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

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

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

@@ -1,7 +0,0 @@
-/**
- * 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

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

@@ -1,3 +0,0 @@
-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

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

@@ -1,12 +0,0 @@
-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

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

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

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

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

@@ -1,13 +0,0 @@
-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

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

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