@impermeable/waterproof-editor 0.13.0 → 0.14.0

package/dist/src/editor.d.ts

@@ -1,154 +0,0 @@
-import { Node as ProseNode } from "prosemirror-model";
-import { EditorState, Plugin, Selection } from "prosemirror-state";
-import { LineNumber, InputAreaStatus, SimpleProgressParams, HistoryChange, Severity, OffsetDiagnostic } from "./api";
-import "katex/dist/katex.min.css";
-import "prosemirror-view/style/prosemirror.css";
-import "./styles";
-import { WaterproofEditorConfig, ThemeStyle } from "./api";
-import { Completion } from "@codemirror/autocomplete";
-import { ServerStatus } from "./api";
-/** Type that contains a coq diagnostics object fit for use in the ProseMirror editor context. */
-export type DiagnosticObjectProse = {
-    message: string;
-    start: number;
-    end: number;
-    severity: Severity;
-};
-/**
- * WaterproofEditor class. Configured via the WaterproofEditorConfig object.
- */
-export declare class WaterproofEditor {
-    private readonly initialThemeStyle;
-    private _editorConfig;
-    private _schema;
-    private _editorElem;
-    private _view;
-    private _translator;
-    private _mapping;
-    private readonly _userOS;
-    private currentProseDiagnostics;
-    get diagnosticsVersion(): number;
-    private diagnosticsUpdateCounter;
-    private _lineNumbersShown;
-    /**
-     * Create a new WaterproofEditor instance.
-     * @param editorElement The HTML element where the editor will be inserted in the document
-     * @param config The configuration of the editor to use.
-     */
-    constructor(editorElement: HTMLElement, config: WaterproofEditorConfig, initialThemeStyle: ThemeStyle);
-    init(content: string, version?: number): void;
-    get state(): EditorState | undefined;
-    createProseMirrorEditor(proseDoc: ProseNode): void;
-    /** Create initial prosemirror state */
-    createState(proseDoc: ProseNode): EditorState;
-    /** Create the array of plugins used by the prosemirror editor */
-    createPluginsArray(): Plugin[];
-    updateNodeViewThemes(theme: ThemeStyle): void;
-    /**
-     * Handle a snippet that should be inserted into the editor.
-     * @param template The template string of the snippet that should be inserted.
-     */
-    handleSnippet(template: string): void;
-    /** Called on every selection update. */
-    updateCursor(pos: Selection): void;
-    /** Called on every transaction update in which the textdocument was modified */
-    sendLineNumbers(): void;
-    private updateDocumentProgress;
-    /**
-     * Updates the dynamic autocomplete suggestions shown in the editor.
-     * @param completions Array of completions.
-     */
-    handleCompletions(completions: Array<Completion>): void;
-    /** Called whenever a line number message is received from vscode to update line numbers of codemirror cells */
-    setLineNumbers(msg: LineNumber): void;
-    /**
-     * Execute a history change (undo/redo) in the editor.
-     * @param type Type of the change
-     */
-    handleHistoryChange(type: HistoryChange): void;
-    handleScroll(innerHeight: number): void;
-    /**
-     * Insert a symbol at the cursor position (replaces the current selection if there is one).
-     *
-     * @param symbolUnicode The unicode character to insert.
-     * @returns Whether the operation was a success.
-     */
-    insertSymbol(symbolUnicode: string): boolean;
-    /**
-     * Toggles line numbers for all codeblocks.
-     * @param show The editor will show line numbers in the code cells when set to `true`.
-     */
-    setShowLineNumbers(show: boolean): void;
-    /**
-     * Toggles showing menu items in the editor for students.
-     * @param show The editor will show menu items to students when set to `true`.
-     */
-    setShowMenuItems(show: boolean): void;
-    private createAndDispatchInsertionTransaction;
-    /**
-     * Called whenever a message describing the configuration of user is sent
-     *
-     * @param isTeacher Whether teacher mode is enabled
-     */
-    updateLockingState(isTeacher: boolean): void;
-    /**
-     * Updates the state of the progress bar in the editor.
-     *
-     * @param progressParams The type used to store information on the status of the checking of the current file
-     */
-    updateProgressBar(progressParams: SimpleProgressParams): void;
-    updateServerStatus(status: ServerStatus): void;
-    /**
-     * Updates the status of the input areas in the editor.
-     *
-     * @param status Array containing the status of the input areas within the current document, where `status[i]` corresponds to the i-th input area (starting at zero for the first input area).
-     */
-    updateQedStatus(status: InputAreaStatus[]): void;
-    /**
-     * Pushes the diagnostics to the array of diagnostics stored in the editor.
-     *
-     * In comparison to {@linkcode setActiveDiagnostics} this will keep the old
-     * diagnostics around.
-     *
-     * @param diagnostics The diagnostics to add.
-     */
-    pushDiagnostics(...diagnostics: Array<OffsetDiagnostic>): void;
-    /**
-     * Removes the diagnostic `toRemove` from the set of stored diagnostics.
-     *
-     * Note that if `toRemove` occurs more than once, all instances will be removed!
-     * @param toRemove The diagnostic object to remove
-     * @returns Whether any instance of `toRemove` was removed from the set of diagnostics.
-     */
-    removeDiagnostic(toRemove: DiagnosticObjectProse): boolean;
-    /**
-     * Sets the current set of diagnostics in the document.
-     * This function takes the set of all diagnostics in the current document,
-     * translates the position to ProseMirror offsets and stores them.
-     *
-     * Note: Calling this function overwrites the set of diagnostics.
-     * If you want to add a diagnostic use {@linkcode pushDiagnostics}
-     *
-     * @param msg The set of diagnostics for the current document.
-     */
-    setActiveDiagnostics(diagnostics: Array<OffsetDiagnostic>): void;
-    private diagnosticsChanged;
-    /**
-     * Returns the set of stored diagnostics in the range low to high.
-     * @param low Lower bound for the diagnostic range.
-     * @param high Upper bound for the diagnostic range.
-     * @param truncationLevel If desired, only include diagnostics with a severity level below the `truncationLevel`.
-     * @returns The set of diagnostics in the range low to high.
-     */
-    getDiagnosticsInRange(low: number, high: number, truncationLevel?: number): Array<DiagnosticObjectProse>;
-    /**
-     * Returns the set of diagnostics for which the intersection of the diagnostic range and the range [low, high]
-     * is non-empty. The ranges of these diagnostics will be trimmed such that they are fully contained in [low, high].
-     * @param truncationLevel If desired, only include diagnostics with a severity level below the `truncationLevel`.
-     * @returns The set of diagnostics which are (at least partially) contained in the range low to high.
-     */
-    getPartialDiagnosticsInRange(low: number, high: number, truncationLevel?: number): Array<DiagnosticObjectProse>;
-    executeCommand(command: string): void;
-    executeHelp(): void;
-}
-//# sourceMappingURL=editor.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"editor.d.ts","sourceRoot":"","sources":["../../src/editor.ts"],"names":[],"mappings":"AAGA,OAAO,EAAU,IAAI,IAAI,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC9D,OAAO,EAAgB,WAAW,EAAiB,MAAM,EAAE,SAAS,EAA8B,MAAM,mBAAmB,CAAC;AAM5H,OAAO,EAAa,UAAU,EAAE,eAAe,EAAE,oBAAoB,EAAqB,aAAa,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,OAAO,CAAC;AAcnJ,OAAO,0BAA0B,CAAC;AAClC,OAAO,wCAAwC,CAAC;AAChD,OAAO,UAAU,CAAC;AAKlB,OAAO,EAAiC,sBAAsB,EAAE,UAAU,EAAE,MAAM,OAAO,CAAC;AAC1F,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAEtD,OAAO,EAAE,YAAY,EAAE,MAAM,OAAO,CAAC;AAErC,iGAAiG;AACjG,MAAM,MAAM,qBAAqB,GAAG;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,QAAQ,CAAA;CAAC,CAAC;AAEtG;;GAEG;AACH,qBAAa,gBAAgB;IAoC6C,OAAO,CAAC,QAAQ,CAAC,iBAAiB;IAlC3G,OAAO,CAAC,aAAa,CAAyB;IAG9C,OAAO,CAAC,OAAO,CAAS;IAGxB,OAAO,CAAC,WAAW,CAAc;IAGjC,OAAO,CAAC,KAAK,CAAyB;IAGtC,OAAO,CAAC,WAAW,CAA6B;IAGhD,OAAO,CAAC,QAAQ,CAAgC;IAGhD,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC;IAEzB,OAAO,CAAC,uBAAuB,CAA+B;IAE9D,IAAW,kBAAkB,WAE5B;IACD,OAAO,CAAC,wBAAwB,CAAK;IAErC,OAAO,CAAC,iBAAiB,CAAkB;IAE3C;;;;OAIG;gBACU,aAAa,EAAE,WAAW,EAAE,MAAM,EAAE,sBAAsB,EAAmB,iBAAiB,EAAE,UAAU;IAuCvH,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,GAAE,MAAU;IA6CzC,IAAI,KAAK,IAAI,WAAW,GAAG,SAAS,CAEnC;IAED,uBAAuB,CAAC,QAAQ,EAAE,SAAS;IAkF3C,uCAAuC;IACvC,WAAW,CAAC,QAAQ,EAAE,SAAS,GAAG,WAAW;IAQ7C,iEAAiE;IACjE,kBAAkB,IAAI,MAAM,EAAE;IAgCvB,oBAAoB,CAAC,KAAK,EAAE,UAAU;IAa7C;;;OAGG;IACI,aAAa,CAAC,QAAQ,EAAE,MAAM;IAiCrC,wCAAwC;IACjC,YAAY,CAAC,GAAG,EAAE,SAAS,GAAI,IAAI;IAO1C,gFAAgF;IACzE,eAAe;IAiBrB,OAAO,CAAC,sBAAsB;IAyE/B;;;OAGG;IACI,iBAAiB,CAAC,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC;IAUvD,+GAA+G;IACxG,cAAc,CAAC,GAAG,EAAE,UAAU;IAUrC;;;OAGG;IACI,mBAAmB,CAAC,IAAI,EAAE,aAAa;IAOtC,YAAY,CAAC,WAAW,EAAE,MAAM;IAqCxC;;;;;OAKG;IACI,YAAY,CAAC,aAAa,EAAE,MAAM,GAAG,OAAO;IAmDnD;;;OAGG;IACI,kBAAkB,CAAC,IAAI,EAAE,OAAO;IAUvC;;;OAGG;IACI,gBAAgB,CAAC,IAAI,EAAE,OAAO;IAQrC,OAAO,CAAC,qCAAqC;IAO7C;;;;OAIG;IACI,kBAAkB,CAAC,SAAS,EAAE,OAAO,GAAI,IAAI;IAQpD;;;;OAIG;IACI,iBAAiB,CAAC,cAAc,EAAE,oBAAoB,GAAG,IAAI;IAS7D,kBAAkB,CAAC,MAAM,EAAE,YAAY,GAAI,IAAI;IAQtD;;;;OAIG;IACI,eAAe,CAAC,MAAM,EAAE,eAAe,EAAE,GAAI,IAAI;IAQxD;;;;;;;OAOG;IACI,eAAe,CAAC,GAAG,WAAW,EAAE,KAAK,CAAC,gBAAgB,CAAC;IAsB9D;;;;;;OAMG;IACI,gBAAgB,CAAC,QAAQ,EAAE,qBAAqB,GAAG,OAAO;IAWjE;;;;;;;;;OASG;IACI,oBAAoB,CAAC,WAAW,EAAE,KAAK,CAAC,gBAAgB,CAAC;IAuBhE,OAAO,CAAC,kBAAkB;IAW1B;;;;;;OAMG;IACI,qBAAqB,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,eAAe,GAAE,MAAU,GAAG,KAAK,CAAC,qBAAqB,CAAC;IAMlH;;;;;OAKG;IACI,4BAA4B,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,eAAe,GAAE,MAAU,GAAG,KAAK,CAAC,qBAAqB,CAAC;IAelH,cAAc,CAAC,OAAO,EAAE,MAAM;IAI9B,WAAW;CAGlB"}

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

@@ -1,9 +0,0 @@
-import { KeyBinding } from "@codemirror/view";
-import { StateCommand } from "@codemirror/state";
-export declare const indentMoreCustom: StateCommand;
-/**
- * Filtered set of keybindings taken from
- * https://github.com/codemirror/commands/blob/e27916c9b09d2cedd7e0c9770bff04eeb3696e69/src/commands.ts#L878
- */
-export declare const keybindings: KeyBinding[];
-//# sourceMappingURL=embedded-codemirror-keymap.d.ts.map

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

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

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

@@ -1,40 +0,0 @@
-import { EditorView as CodeMirror, Command, KeyBinding, ViewUpdate } from "@codemirror/view";
-import { Node as PNode, Schema } from "prosemirror-model";
-import { Decoration, DecorationSource, EditorView, NodeView } from "prosemirror-view";
-import { MovementDirection, MovementUnit } from "./types";
-/**
- * A class implementing everything required to create an embedded codemirror editor for prosemirror.
- * Implements the `NodeView` prosemirror class. Can be extended to create custom codemirror editors like
- * the one used to edit markdown or coq.
- */
-export declare class EmbeddedCodeMirrorEditor implements NodeView {
-    _getPos: (() => number | undefined);
-    protected updating: boolean;
-    protected _codemirror: CodeMirror | undefined;
-    protected _outerView: EditorView;
-    protected _schema: Schema;
-    protected _node: PNode;
-    constructor(node: PNode, view: EditorView, getPos: (() => number | undefined), schema: Schema);
-    dom: Node;
-    contentDOM?: HTMLElement | null | undefined;
-    update(node: PNode, _decorations: readonly Decoration[], _innerDecorations: DecorationSource): boolean;
-    selectNode?: (() => void) | undefined;
-    deselectNode?: (() => void) | undefined;
-    setSelection(anchor: number, head: number, _root: Document | ShadowRoot): void;
-    stopEvent?: ((event: Event) => boolean) | undefined;
-    ignoreMutation?: ((mutation: MutationRecord) => boolean) | undefined;
-    destroy?(): void;
-    forwardUpdate(update: ViewUpdate): void;
-    /**
-     * Do a movement, but first check if we escape the current view.
-     *
-     * The command returns false when we **will not** escape the current view.
-     *
-     * @param unit The movement unit (could be a line (up and down) or a character (left to right))
-     * @param dir The direction either forward or backward.
-     * @returns A command handling the escaping.
-     */
-    maybeEscape(unit: MovementUnit, dir: MovementDirection): Command;
-    embeddedCodeMirrorKeymap(): KeyBinding[];
-}
-//# sourceMappingURL=embeddedCodemirror.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"embeddedCodemirror.d.ts","sourceRoot":"","sources":["../../../src/embedded-codemirror/embeddedCodemirror.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,IAAI,UAAU,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC7F,OAAO,EAAE,IAAI,IAAI,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAE1D,OAAO,EAAE,UAAU,EAAE,gBAAgB,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACtF,OAAO,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAI1D;;;;GAIG;AACH,qBAAa,wBAAyB,YAAW,QAAQ;IAC9C,OAAO,EAAE,CAAC,MAAM,MAAM,GAAG,SAAS,CAAC,CAAC;IAG9C,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC;IAEzB,SAAS,CAAC,WAAW,EAAE,UAAU,GAAG,SAAS,CAAC;IAE9C,SAAS,CAAC,UAAU,EAAE,UAAU,CAAC;IAEjC,SAAS,CAAC,OAAO,EAAE,MAAM,CAAC;IAE1B,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC;gBAGnB,IAAI,EAAE,KAAK,EACjB,IAAI,EAAE,UAAU,EAChB,MAAM,EAAE,CAAC,MAAM,MAAM,GAAG,SAAS,CAAC,EAClC,MAAM,EAAE,MAAM;IAYZ,GAAG,EAAG,IAAI,CAAC;IACX,UAAU,CAAC,EAAE,WAAW,GAAG,IAAI,GAAG,SAAS,CAAC;IAE5C,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,SAAS,UAAU,EAAE,EAAE,iBAAiB,EAAE,gBAAgB;IAqD5F,UAAU,CAAC,EAAE,CAAC,MAAM,IAAI,CAAC,GAAG,SAAS,CAAC;IACtC,YAAY,CAAC,EAAE,CAAC,MAAM,IAAI,CAAC,GAAG,SAAS,CAAC;IAExC,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,GAAG,UAAU;IAYvE,SAAS,CAAC,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,KAAK,OAAO,CAAC,GAAG,SAAS,CAAC;IACpD,cAAc,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE,cAAc,KAAK,OAAO,CAAC,GAAG,SAAS,CAAC;IACrE,OAAO,CAAC,IAAI,IAAI;IAEnB,aAAa,CAAC,MAAM,EAAE,UAAU,GAAG,IAAI;IAmCpC;;;;;;;;OAQA;IACH,WAAW,CAAC,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,iBAAiB,GAAG,OAAO;IAkEhE,wBAAwB,IAAI,UAAU,EAAE;CAmBxC"}

package/dist/src/embedded-codemirror/index.d.ts

@@ -1,3 +0,0 @@
-export { MovementDirection, MovementUnit } from "./types";
-export { EmbeddedCodeMirrorEditor } from "./embeddedCodemirror";
-//# sourceMappingURL=index.d.ts.map

package/dist/src/embedded-codemirror/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/embedded-codemirror/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAE1D,OAAO,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC"}

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

@@ -1,9 +0,0 @@
-export declare enum MovementUnit {
-    line = "line",
-    character = "character"
-}
-export declare enum MovementDirection {
-    forward = 1,
-    backward = -1
-}
-//# sourceMappingURL=types.d.ts.map

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

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

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

@@ -1,9 +0,0 @@
-import { Schema } from "prosemirror-model";
-import { Plugin } from "prosemirror-state";
-/**
- * Function that returns the hint plugin.
- * @param schema The schema in use for the editor.
- * @returns A `Plugin` that enables the hint functionality.
- */
-export declare const createHintPlugin: (schema: Schema) => Plugin;
-//# sourceMappingURL=hint-plugin.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"hint-plugin.d.ts","sourceRoot":"","sources":["../../../src/hinting/hint-plugin.ts"],"names":[],"mappings":"AAAA,OAAO,EAA2B,MAAM,EAAE,MAAM,mBAAmB,CAAC;AACpE,OAAO,EAAkC,MAAM,EAAe,MAAM,mBAAmB,CAAC;AAIxF;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,GAAI,QAAQ,MAAM,KAAG,MA6BjD,CAAA"}

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

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

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

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

package/dist/src/index.d.ts

@@ -1,6 +0,0 @@
-export { WaterproofEditor } from "./editor";
-export { WaterproofSchema } from "./schema";
-export * from "./document";
-export * from "./api";
-export { FileTranslator } from "./translation";
-//# sourceMappingURL=index.d.ts.map

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

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

package/dist/src/inputArea.d.ts

@@ -1,14 +0,0 @@
-import { Plugin, PluginKey } from "prosemirror-state";
-/**
- * Interface describing the state of the input are plugin.
- * Contains fields `locked: boolean` indicating wether non-input areas should be locked (ie. non-teacher mode) and
- * `globalLock: boolean` indicating that we are in a global lockdown state (caused by an unrecoverable error).
- */
-export interface IInputAreaPluginState {
-    teacher: boolean;
-    globalLock: boolean;
-}
-/** The plugin key for the input area plugin */
-export declare const INPUT_AREA_PLUGIN_KEY: PluginKey<IInputAreaPluginState>;
-export declare const inputAreaPlugin: Plugin<IInputAreaPluginState>;
-//# sourceMappingURL=inputArea.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"inputArea.d.ts","sourceRoot":"","sources":["../../src/inputArea.ts"],"names":[],"mappings":"AAAA,OAAO,EAAe,MAAM,EAAE,SAAS,EAA2B,MAClE,mBAAmB,CAAC;AAEpB;;;;GAIG;AACH,MAAM,WAAW,qBAAqB;IACrC,OAAO,EAAE,OAAO,CAAC;IACd,UAAU,EAAE,OAAO,CAAC;CACvB;AAED,+CAA+C;AAC/C,eAAO,MAAM,qBAAqB,kCAA8D,CAAC;AAiFjG,eAAO,MAAM,eAAe,+BAAkC,CAAC"}

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

@@ -1,19 +0,0 @@
-import { Schema, Node as ProseNode } from "prosemirror-model";
-import { Plugin as ProsePlugin, PluginKey } from "prosemirror-state";
-import { EditorView } from "prosemirror-view";
-import { CoqdocView } from "./CoqdocView";
-export interface ICoqdocPluginState {
-    macros: {
-        [cmd: string]: string;
-    };
-    /** A list of currently active `NodeView`s, in insertion order. */
-    activeNodeViews: CoqdocView[];
-}
-export declare const COQDOC_PLUGIN_KEY: PluginKey<ICoqdocPluginState>;
-/**
- * Returns a function suitable for passing as a field in `EditorProps.nodeViews`.
- * @see https://prosemirror.net/docs/ref/#view.EditorProps.nodeViews
- */
-export declare function createCoqdocView(schema: Schema): (node: ProseNode, view: EditorView, getPos: () => number | undefined) => CoqdocView;
-export declare const coqdocPlugin: (schema: Schema) => ProsePlugin<ICoqdocPluginState>;
-//# sourceMappingURL=CoqdocPlugin.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"CoqdocPlugin.d.ts","sourceRoot":"","sources":["../../../src/markup-views/CoqdocPlugin.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,UAAU,EAAE,MAAM,cAAc,CAAC;AAI1C,MAAM,WAAW,kBAAkB;IAClC,MAAM,EAAE;QAAE,CAAC,GAAG,EAAC,MAAM,GAAI,MAAM,CAAA;KAAE,CAAC;IAClC,kEAAkE;IAClE,eAAe,EAAE,UAAU,EAAE,CAAC;CAC9B;AAED,eAAO,MAAM,iBAAiB,+BAAoE,CAAC;AAEnG;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,MAAM,IACtC,MAAM,SAAS,EAAE,MAAM,UAAU,EAAE,QAAQ,MAAM,MAAM,GAAG,SAAS,KAAG,UAAU,CAcxF;AA6BD,eAAO,MAAM,YAAY,GAAI,QAAQ,MAAM,oCAA8C,CAAC"}

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

@@ -1,15 +0,0 @@
-import { PluginKey } from "prosemirror-state";
-import { SwitchableView } from "./switchable-view";
-import { EditorView } from "prosemirror-view";
-import { Node as PNode, Schema } from "prosemirror-model";
-/**
- * CoqdocView class extends the SwitchableView class.
- *
- * Used to edit and render coqdoc syntax within the prosemirror editor.
- */
-export declare class CoqdocView extends SwitchableView {
-    constructor(getPos: (() => number | undefined), outerView: EditorView, content: string, node: PNode, schema: Schema, pluginKey: PluginKey, viewName: string);
-    preprocessContentForEditing(input: string): string;
-    preprocessContentForRendering(input: string): string;
-}
-//# sourceMappingURL=CoqdocView.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"CoqdocView.d.ts","sourceRoot":"","sources":["../../../src/markup-views/CoqdocView.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,IAAI,IAAI,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAG1D;;;;GAIG;AACH,qBAAa,UAAW,SAAQ,cAAc;gBAGtC,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;IAM1C,2BAA2B,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAIlD,6BAA6B,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;CAKvD"}

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

@@ -1,21 +0,0 @@
-import { Schema, Node as ProseNode } from "prosemirror-model";
-import { Plugin as ProsePlugin, PluginKey, TextSelection } from "prosemirror-state";
-import { EditorView } from "prosemirror-view";
-import { MarkdownView } from "./MarkdownView";
-export interface IRealMarkdownPluginState {
-    macros: {
-        [cmd: string]: string;
-    };
-    /** A list of currently active `NodeView`s, in insertion order. */
-    activeNodeViews: MarkdownView[];
-    /** The selection of the current cursor position */
-    cursor: TextSelection | undefined;
-}
-export declare const REAL_MARKDOWN_PLUGIN_KEY: PluginKey<IRealMarkdownPluginState>;
-/**
- * Returns a function suitable for passing as a field in `EditorProps.nodeViews`.
- * @see https://prosemirror.net/docs/ref/#view.EditorProps.nodeViews
- */
-export declare function createRealMarkdownView(schema: Schema): (node: ProseNode, view: EditorView, getPos: (() => number | undefined)) => MarkdownView;
-export declare const realMarkdownPlugin: (schema: Schema) => ProsePlugin<IRealMarkdownPluginState>;
-//# sourceMappingURL=MarkdownPlugin.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"MarkdownPlugin.d.ts","sourceRoot":"","sources":["../../../src/markup-views/MarkdownPlugin.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,MAAM,EAAE,IAAI,IAAI,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC9D,OAAO,EAAE,MAAM,IAAI,WAAW,EAAE,SAAS,EAAc,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAChG,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAI9C,MAAM,WAAW,wBAAwB;IACxC,MAAM,EAAE;QAAE,CAAC,GAAG,EAAC,MAAM,GAAI,MAAM,CAAA;KAAE,CAAC;IAClC,kEAAkE;IAClE,eAAe,EAAE,YAAY,EAAE,CAAC;IAChC,mDAAmD;IACnD,MAAM,EAAE,aAAa,GAAG,SAAS,CAAC;CAElC;AAED,eAAO,MAAM,wBAAwB,qCAA2E,CAAC;AAEjH;;;GAGG;AACH,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,MAAM,IAC5C,MAAM,SAAS,EAAE,MAAM,UAAU,EAAE,QAAQ,CAAC,MAAM,MAAM,GAAG,SAAS,CAAC,KAAG,YAAY,CAe5F;AAmCD,eAAO,MAAM,kBAAkB,GAAI,QAAQ,MAAM,0CAAoD,CAAC"}

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

@@ -1,15 +0,0 @@
-import { EditorView } from "prosemirror-view";
-import { SwitchableView } from "./switchable-view";
-import { Node as PNode, Schema } from "prosemirror-model";
-import { PluginKey } from "prosemirror-state";
-/**
- * MarkdownView class extends the SwitchableView class.
- *
- * Used to edit and render markdown within the prosemirror editor.
- */
-export declare class MarkdownView extends SwitchableView {
-    constructor(getPos: (() => number | undefined), outerView: EditorView, content: string, node: PNode, schema: Schema, pluginKey: PluginKey, viewName: string);
-    preprocessContentForEditing(input: string): string;
-    preprocessContentForRendering(input: string): string;
-}
-//# sourceMappingURL=MarkdownView.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"MarkdownView.d.ts","sourceRoot":"","sources":["../../../src/markup-views/MarkdownView.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,IAAI,IAAI,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAG9C;;;;GAIG;AACH,qBAAa,YAAa,SAAQ,cAAc;gBAGxC,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;IAM1C,2BAA2B,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAKlD,6BAA6B,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;CAKvD"}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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