@kerebron/extension-codejar 0.4.1

package/esm/extension-codejar/src/codeJarBlockNodeView.js

@@ -0,0 +1,335 @@
+import { PositionMapper } from '../../extension-markdown/src/PositionMapper.js';
+import { toRawTextResult } from '../../editor/src/utilities/mod.js';
+import { CodeJar } from './CodeJar.js';
+import { computeChange, forwardSelection, valueChanged } from './utils.js';
+import { TreeSitterHighlighter } from './TreeSitterHighlighter.js';
+import { Decorator } from './Decorator.js';
+import { initLineNumbers, lineNumberOptions, refreshNumbers, } from './codeJarLineNumbers.js';
+class CodeJarBlockNodeView {
+    constructor(node, view, getPos, config, editor) {
+        Object.defineProperty(this, "node", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: node
+        });
+        Object.defineProperty(this, "view", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: view
+        });
+        Object.defineProperty(this, "getPos", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: getPos
+        });
+        Object.defineProperty(this, "config", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: config
+        });
+        Object.defineProperty(this, "editor", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: editor
+        });
+        Object.defineProperty(this, "dom", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: void 0
+        });
+        Object.defineProperty(this, "codeJar", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: void 0
+        });
+        Object.defineProperty(this, "updating", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: void 0
+        });
+        Object.defineProperty(this, "element", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: void 0
+        });
+        Object.defineProperty(this, "highlighter", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: void 0
+        });
+        Object.defineProperty(this, "decorator", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: void 0
+        });
+        Object.defineProperty(this, "languageDropDown", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: void 0
+        });
+        Object.defineProperty(this, "lineNumbers", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: void 0
+        });
+        Object.defineProperty(this, "source", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: void 0
+        });
+        Object.defineProperty(this, "extensionLsp", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: void 0
+        });
+        Object.defineProperty(this, "lang", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: 'plaintext'
+        });
+        Object.defineProperty(this, "uri", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: 'file:///' + Math.random() + '.ts'
+        });
+        Object.defineProperty(this, "diagListener", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: void 0
+        });
+        this.updating = false;
+        const dom = document.createElement('div');
+        this.dom = dom;
+        dom.className = 'codejar-root';
+        this.languageDropDown = this.addLanguageDropDown();
+        const root = (editor.view && 'root' in editor.view)
+            ? editor.view.root
+            : document || document;
+        this.element = document.createElement('div');
+        this.element.classList.add('codejar');
+        this.codeJar = new CodeJar(this.element, (element) => this.highlight(element), {
+            tab: '  ',
+            indentOn: new RegExp('^(?!)'),
+            moveToNewLine: new RegExp('^(?!)'),
+            history: false,
+        });
+        this.codeJar.onUpdate(() => {
+            if (!this.updating) {
+                const textUpdate = this.codeJar.toString();
+                valueChanged(textUpdate, this.node, getPos, view);
+                if (document.activeElement === this.element) {
+                    forwardSelection(this.codeJar, view, getPos);
+                }
+            }
+            const client = this.extensionLsp?.getClient(this.lang);
+            if (client) {
+                client.workspace.changedFile(this.uri);
+            }
+        });
+        this.highlighter = new TreeSitterHighlighter();
+        this.highlighter.cdnUrl = this.editor.config.cdnUrl;
+        this.decorator = new Decorator();
+        dom.append(this.element);
+        this.lineNumbers = initLineNumbers(this.element, lineNumberOptions);
+        this.source = {
+            ui: this.editor.ui,
+            getMappedContent: () => {
+                const editor = this.editor;
+                const result = toRawTextResult(this.codeJar.toString(), 0);
+                const mapper = new PositionMapper(editor, result.rawTextMap);
+                return {
+                    ...result,
+                    mapper,
+                };
+            },
+        };
+        this.extensionLsp = editor.getExtension('lsp');
+        let lastDiag = 0;
+        this.diagListener = (event) => {
+            const detail = event.detail;
+            if (detail.params.uri !== this.uri) {
+                return;
+            }
+            event.preventDefault();
+            lastDiag = +Date();
+            const client = this.extensionLsp?.getClient(this.lang);
+            if (client) {
+                const file = client.workspace.getFile(this.uri);
+                if (file) {
+                    const { mapper } = file;
+                    console.log({
+                        diagnostics: detail.params.diagnostics,
+                        mapper,
+                    });
+                    const diagnostics = detail.params.diagnostics;
+                    const decors = [];
+                    for (const diag of diagnostics) {
+                        const startIndex = mapper.fromLineChar(diag.range.start.line, diag.range.start.character);
+                        const endIndex = mapper.fromLineChar(diag.range.end.line, diag.range.end.character);
+                        decors.push({
+                            startIndex,
+                            endIndex,
+                            className: 'kb-lsp__error',
+                            title: diag.message || '',
+                        });
+                    }
+                    this.decorator.decorationGroups.innerDiag = decors;
+                    this.highlight(this.element);
+                }
+            }
+        };
+    }
+    addLanguageDropDown() {
+        const select = document.createElement('select');
+        select.classList.add('codejar-select');
+        for (const lang of [''].concat(this.config.languageWhitelist || [])) {
+            const option = document.createElement('option');
+            option.value = lang;
+            option.innerText = lang;
+            select.appendChild(option);
+        }
+        this.dom.appendChild(select);
+        select.addEventListener('change', async () => {
+            const lang = select.value;
+            const pos = this.getPos();
+            if (pos) {
+                this.view.dispatch(this.view.state.tr.setNodeMarkup(pos, undefined, {
+                    ...this.node.attrs,
+                    lang,
+                }));
+            }
+            await this.setLang(lang);
+        });
+        return select;
+    }
+    async setLang(lang) {
+        await this.highlighter.init(this.node.attrs.lang);
+        this.languageDropDown.value = this.node.attrs.lang || '';
+        this.highlight(this.element);
+        this.lang = lang;
+        const client = this.extensionLsp?.getClient(this.lang);
+        if (client) {
+            client.addEventListener('textDocument/publishDiagnostics', this.diagListener);
+            client.connect(this.uri, this.source);
+            client.workspace.openFile(this.uri, lang, this.source);
+        }
+    }
+    async init() {
+        this.codeJar.updateCode(this.node.textContent, false);
+        if (this.node.attrs.lang) {
+            await this.setLang(this.node.attrs.lang);
+        }
+    }
+    setSelection(anchor, head) {
+        this.element.focus();
+        this.updating = true;
+        const pos = this.getPos();
+        if (pos) {
+            anchor -= pos;
+            head -= pos;
+            const posJar = {
+                start: Math.min(anchor, head),
+                end: Math.max(anchor, head),
+                dir: (anchor <= head) ? '->' : '<-',
+            };
+            this.codeJar.restore(posJar);
+        }
+        this.updating = false;
+    }
+    highlight(editor) {
+        // const highlight = withLineNumbers((element) => this.highlight(element));
+        if (!this.highlighter) {
+            editor.innerHTML = editor.textContent;
+        }
+        else {
+            const content = editor.textContent;
+            editor.innerHTML = this.highlighter.highlight(content, this.decorator) ||
+                content;
+        }
+        refreshNumbers(this.lineNumbers, editor);
+    }
+    update(updateNode, _decorations, innerDecorations) {
+        const codeDecorations = [];
+        innerDecorations
+            .forEachSet((set) => set.find()
+            .map((d) => {
+            codeDecorations.push(d);
+        }));
+        const decors = [];
+        for (const cd of codeDecorations) {
+            if ('type' in cd) {
+                const type = cd.type;
+                decors.push({
+                    startIndex: cd.from,
+                    endIndex: cd.to,
+                    className: type?.attrs?.class || '',
+                    title: type?.attrs?.title || '',
+                });
+            }
+        }
+        this.decorator.decorationGroups.diag = decors;
+        const oldNode = this.node;
+        const content = this.codeJar.toString();
+        const change = computeChange(content, updateNode.textContent);
+        if (change) {
+            const pos = this.codeJar.save();
+            this.updating = true;
+            this.codeJar.updateCode(updateNode.textContent, true);
+            this.updating = false;
+            // TODO fix for yjs collab
+            // change.from, change.to, change.text.length
+            this.codeJar.restore(pos);
+        }
+        this.node = updateNode;
+        if (updateNode.attrs.lang !== oldNode.attrs.lang) {
+            this.setLang(updateNode.attrs.lang);
+        }
+        return true;
+    }
+    selectNode() {
+        this.element.focus();
+    }
+    stopEvent(_e) {
+        return true;
+    }
+    ignoreMutation() {
+        return true;
+    }
+    destroy() {
+        const client = this.extensionLsp?.getClient(this.lang);
+        if (client) {
+            if (this.uri) {
+                client.disconnect(this.uri);
+            }
+            if (this.diagListener) {
+                client.removeEventListener('textDocument/publishDiagnostics', this.diagListener);
+            }
+        }
+        this.codeJar.destroy();
+    }
+}
+export const codeJarBlockNodeView = (settings, editor) => {
+    return (pmNode, view, getPos) => {
+        const plugin = new CodeJarBlockNodeView(pmNode, view, getPos, settings, editor);
+        plugin.init();
+        return plugin;
+    };
+};

package/esm/extension-codejar/src/codeJarLineNumbers.d.ts

@@ -0,0 +1,13 @@
+type Options = {
+    class: string;
+    wrapClass: string;
+    width: string;
+    backgroundColor: string;
+    color: string;
+};
+export declare const lineNumberOptions: Options;
+export declare function withLineNumbers(highlight: (e: HTMLElement) => void, options?: Partial<Options>): (editor: HTMLElement) => void;
+export declare function refreshNumbers(lineNumbers: HTMLElement, editor: HTMLElement): void;
+export declare function initLineNumbers(editor: HTMLElement, opts: Options): HTMLElement;
+export {};
+//# sourceMappingURL=codeJarLineNumbers.d.ts.map

package/esm/extension-codejar/src/codeJarLineNumbers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"codeJarLineNumbers.d.ts","sourceRoot":"","sources":["../../../src/extension-codejar/src/codeJarLineNumbers.ts"],"names":[],"mappings":"AAGA,KAAK,OAAO,GAAG;IACb,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,eAAe,EAAE,MAAM,CAAC;IACxB,KAAK,EAAE,MAAM,CAAC;CACf,CAAC;AAEF,eAAO,MAAM,iBAAiB,EAAE,OAM/B,CAAC;AAEF,wBAAgB,eAAe,CAC7B,SAAS,EAAE,CAAC,CAAC,EAAE,WAAW,KAAK,IAAI,EACnC,OAAO,GAAE,OAAO,CAAC,OAAO,CAAM,IAGb,QAAQ,WAAW,UAwBrC;AAED,wBAAgB,cAAc,CAC5B,WAAW,EAAE,WAAW,EACxB,MAAM,EAAE,WAAW,QAapB;AAED,wBAAgB,eAAe,CAC7B,MAAM,EAAE,WAAW,EACnB,IAAI,EAAE,OAAO,GACZ,WAAW,CA0Db"}

package/esm/extension-codejar/src/codeJarLineNumbers.js

@@ -0,0 +1,85 @@
+// This class was copied from https://github.com/antonmedv/codejar/blob/3.7.0/linenumbers.ts
+// and applied with further improvements and fixes
+export const lineNumberOptions = {
+    class: 'codejar-linenumbers',
+    wrapClass: 'codejar-wrap',
+    width: '35px',
+    backgroundColor: 'rgba(128, 128, 128, 0.15)',
+    color: '',
+};
+export function withLineNumbers(highlight, options = {}) {
+    let lineNumbers;
+    return function (editor) {
+        highlight(editor);
+        if (!lineNumbers) {
+            lineNumbers = initLineNumbers(editor, {
+                ...lineNumberOptions,
+                ...options,
+            });
+            editor.addEventListener('scroll', () => lineNumbers.style.top = `-${editor.scrollTop}px`);
+        }
+        const code = editor.textContent || '';
+        const linesCount = code.replace(/\n$/g, '').split('\n').length;
+        let text = '';
+        for (let i = 0; i < linesCount; i++) {
+            text += `${i + 1}\n`;
+        }
+        lineNumbers.innerText = text;
+    };
+}
+export function refreshNumbers(lineNumbers, editor) {
+    const code = editor.textContent || '';
+    const linesCount = code.replace(/\n$/g, '').split('\n').length;
+    let text = '';
+    for (let i = 0; i < linesCount; i++) {
+        text += `${i + 1}\n`;
+    }
+    lineNumbers.innerText = text;
+    // Hack editor styles
+    editor.style.paddingLeft = `calc(40px + 5px)`;
+}
+export function initLineNumbers(editor, opts) {
+    const css = getComputedStyle(editor);
+    const wrap = document.createElement('div');
+    wrap.className = opts.wrapClass;
+    wrap.style.position = 'relative';
+    const innerWrap = document.createElement('div');
+    innerWrap.className = 'codejar-linenumbers-inner-wrap';
+    innerWrap.style.background = css.background;
+    innerWrap.style.marginTop = css.borderTopWidth;
+    innerWrap.style.marginBottom = css.borderBottomWidth;
+    innerWrap.style.marginLeft = css.borderLeftWidth;
+    innerWrap.style.borderTopLeftRadius = css.borderTopLeftRadius;
+    innerWrap.style.borderBottomLeftRadius = css.borderBottomLeftRadius;
+    const gutter = document.createElement('div');
+    gutter.className = opts.class;
+    innerWrap.appendChild(gutter);
+    wrap.appendChild(innerWrap);
+    // Add own styles
+    gutter.style.width = opts.width;
+    gutter.style.overflow = 'hidden';
+    gutter.style.backgroundColor = opts.backgroundColor;
+    // Copy editor styles
+    gutter.style.fontFamily = css.fontFamily;
+    gutter.style.fontSize = css.fontSize;
+    gutter.style.lineHeight = css.lineHeight;
+    gutter.style.paddingTop = `calc(${css.paddingTop})`;
+    gutter.style.paddingLeft = css.paddingLeft;
+    gutter.style.borderTopLeftRadius = css.borderTopLeftRadius;
+    gutter.style.borderBottomLeftRadius = css.borderBottomLeftRadius;
+    // Add line numbers
+    const lineNumbers = document.createElement('div');
+    lineNumbers.setAttribute('class', 'codejar-linenumber');
+    lineNumbers.style.color = opts.color || css.color;
+    lineNumbers.style.setProperty('mix-blend-mode', 'unset');
+    gutter.appendChild(lineNumbers);
+    // Tweak editor styles
+    editor.style.paddingLeft =
+        `calc(${opts.width} + ${gutter.style.paddingLeft} + 5px)`;
+    editor.style.whiteSpace = 'pre';
+    // Swap editor with a wrap
+    editor.parentNode.insertBefore(wrap, editor);
+    wrap.appendChild(editor);
+    editor.addEventListener('scroll', () => lineNumbers.style.top = `-${editor.scrollTop}px`);
+    return lineNumbers;
+}

package/esm/extension-codejar/src/mod.d.ts

@@ -0,0 +1,3 @@
+import "../../_dnt.polyfills.js";
+export * from './ExtensionCodeJar.js';
+//# sourceMappingURL=mod.d.ts.map

package/esm/extension-codejar/src/mod.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"mod.d.ts","sourceRoot":"","sources":["../../../src/extension-codejar/src/mod.ts"],"names":[],"mappings":"AAAA,OAAO,yBAAyB,CAAC;AACjC,cAAc,uBAAuB,CAAC"}

package/esm/extension-codejar/src/mod.js

@@ -0,0 +1,2 @@
+import "../../_dnt.polyfills.js";
+export * from './ExtensionCodeJar.js';

package/esm/extension-codejar/src/utils.d.ts

@@ -0,0 +1,13 @@
+import { Node } from 'prosemirror-model';
+import { EditorView } from 'prosemirror-view';
+import { CodeJar } from './CodeJar.js';
+import { TextSelection } from 'prosemirror-state';
+export declare function computeChange(oldVal: string, newVal: string): {
+    from: number;
+    to: number;
+    text: string;
+} | null;
+export declare const valueChanged: (textUpdate: string, node: Node, getPos: () => number | undefined, view: EditorView) => void;
+export declare const forwardSelection: (codejar: CodeJar, pmView: EditorView, getPos: () => number | undefined) => void;
+export declare const asProseMirrorSelection: (pmDoc: Node, codejar: CodeJar, getPos: () => number | undefined) => TextSelection;
+//# sourceMappingURL=utils.d.ts.map

package/esm/extension-codejar/src/utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../../src/extension-codejar/src/utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAGlD,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM;;;;SAoB3D;AAED,eAAO,MAAM,YAAY,GACvB,YAAY,MAAM,EAClB,MAAM,IAAI,EACV,QAAQ,MAAM,MAAM,GAAG,SAAS,EAChC,MAAM,UAAU,SAkBjB,CAAC;AAEF,eAAO,MAAM,gBAAgB,GAC3B,SAAS,OAAO,EAChB,QAAQ,UAAU,EAClB,QAAQ,MAAM,MAAM,GAAG,SAAS,SAOjC,CAAC;AAEF,eAAO,MAAM,sBAAsB,GACjC,OAAO,IAAI,EACX,SAAS,OAAO,EAChB,QAAQ,MAAM,MAAM,GAAG,SAAS,kBASjC,CAAC"}

package/esm/extension-codejar/src/utils.js

@@ -0,0 +1,48 @@
+import { TextSelection } from 'prosemirror-state';
+export function computeChange(oldVal, newVal) {
+    if (oldVal === newVal)
+        return null;
+    let start = 0;
+    let oldEnd = oldVal.length;
+    let newEnd = newVal.length;
+    while (start < oldEnd &&
+        oldVal.charCodeAt(start) === newVal.charCodeAt(start)) {
+        start += 1;
+    }
+    while (oldEnd > start &&
+        newEnd > start &&
+        oldVal.charCodeAt(oldEnd - 1) === newVal.charCodeAt(newEnd - 1)) {
+        oldEnd -= 1;
+        newEnd -= 1;
+    }
+    return { from: start, to: oldEnd, text: newVal.slice(start, newEnd) };
+}
+export const valueChanged = (textUpdate, node, getPos, view) => {
+    const change = computeChange(node.textContent, textUpdate);
+    if (change) {
+        const pos = getPos();
+        if ('undefined' !== typeof pos) {
+            const start = pos + 1;
+            let pmTr = view.state.tr;
+            pmTr = pmTr.replaceWith(start + change.from, start + change.to, change.text ? view.state.schema.text(change.text) : []);
+            view.dispatch(pmTr);
+        }
+    }
+};
+export const forwardSelection = (codejar, pmView, getPos) => {
+    // if (!cmView.hasFocus) return;
+    const selection = asProseMirrorSelection(pmView.state.doc, codejar, getPos);
+    if (!selection.eq(pmView.state.selection)) {
+        pmView.dispatch(pmView.state.tr.setSelection(selection));
+    }
+};
+export const asProseMirrorSelection = (pmDoc, codejar, getPos) => {
+    const offset = (typeof getPos === 'function' ? getPos() || 0 : 0) + 1;
+    const pos = codejar.save();
+    if (pos.dir === '<-') {
+        return TextSelection.create(pmDoc, pos.start + offset, pos.end + offset);
+    }
+    else {
+        return TextSelection.create(pmDoc, pos.end + offset, pos.start + offset);
+    }
+};

package/esm/extension-lsp/src/DiagnosticPlugin.d.ts

@@ -0,0 +1,32 @@
+import { Plugin } from 'prosemirror-state';
+import { ExtensionLsp } from './ExtensionLsp.js';
+import { PositionMapper } from '../../extension-markdown/src/PositionMapper.js';
+interface LspRange {
+    line: number;
+    character: number;
+}
+interface DiagnosticsItem {
+    severity: number;
+    range: {
+        start: LspRange;
+        end: LspRange;
+    };
+    message: string;
+    source: string;
+    code: string;
+    data: any;
+}
+interface DiagnosticPluginState {
+    diagnostics: DiagnosticsItem[];
+    mapper?: PositionMapper;
+}
+interface DiagnosticConfig {
+}
+export declare class DiagnosticPlugin extends Plugin<DiagnosticPluginState> {
+    diagListener: ((event: Event) => void) | undefined;
+    listenerDisconnect: ((event: Event) => void) | undefined;
+    listenerChange: ((event: Event) => void) | undefined;
+    constructor(config: DiagnosticConfig, extension: ExtensionLsp);
+}
+export {};
+//# sourceMappingURL=DiagnosticPlugin.d.ts.map

package/esm/extension-lsp/src/DiagnosticPlugin.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"DiagnosticPlugin.d.ts","sourceRoot":"","sources":["../../../src/extension-lsp/src/DiagnosticPlugin.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAA0B,MAAM,mBAAmB,CAAC;AAEnE,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,EAAE,cAAc,EAAE,MAAM,gDAAgD,CAAC;AAEhF,UAAU,QAAQ;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,UAAU,eAAe;IACvB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE;QACL,KAAK,EAAE,QAAQ,CAAC;QAChB,GAAG,EAAE,QAAQ,CAAC;KACf,CAAC;IACF,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,GAAG,CAAC;CACX;AAED,UAAU,qBAAqB;IAC7B,WAAW,EAAE,eAAe,EAAE,CAAC;IAC/B,MAAM,CAAC,EAAE,cAAc,CAAC;CACzB;AAED,UAAU,gBAAgB;CACzB;AAID,qBAAa,gBAAiB,SAAQ,MAAM,CAAC,qBAAqB,CAAC;IACjE,YAAY,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC;IACnD,kBAAkB,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC;IACzD,cAAc,EAAE,CAAC,CAAC,KAAK,EAAE,KAAK,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC;gBAEzC,MAAM,EAAE,gBAAgB,EAAE,SAAS,EAAE,YAAY;CA8J9D"}

package/esm/extension-lsp/src/DiagnosticPlugin.js

@@ -0,0 +1,131 @@
+import { Plugin, PluginKey } from 'prosemirror-state';
+import { Decoration, DecorationSet } from 'prosemirror-view';
+const DiagnosticPluginKey = new PluginKey('lsp-diagnostic');
+export class DiagnosticPlugin extends Plugin {
+    constructor(config, extension) {
+        super({
+            key: DiagnosticPluginKey,
+            view(view) {
+                return {
+                    destroy: () => {
+                        const client = extension.getClient(extension.mainLang);
+                        if (this.listener && client) {
+                            client.removeEventListener('textDocument/publishDiagnostics', this.listener);
+                        }
+                        if (this.listenerDisconnect && client) {
+                            client.removeEventListener('close', this.listenerDisconnect);
+                        }
+                        if (this.changeListener) {
+                            extension.getEditor().removeEventListener('change', this.changeListener);
+                        }
+                    },
+                };
+            },
+            state: {
+                init() {
+                    return {
+                        diagnostics: [],
+                    };
+                },
+                apply(tr, prev, oldState, newState) {
+                    const next = { ...prev };
+                    const meta = tr.getMeta(DiagnosticPluginKey);
+                    if (meta?.diagnostics) {
+                        next.diagnostics = meta.diagnostics;
+                    }
+                    if (meta?.mapper) {
+                        next.mapper = meta.mapper;
+                    }
+                    return next;
+                },
+            },
+            props: {
+                decorations(state) {
+                    const decorations = [];
+                    const pluginState = this.getState(state);
+                    if (pluginState) {
+                        const { diagnostics, mapper } = pluginState;
+                        if (mapper) {
+                            for (const diag of diagnostics) {
+                                const from = mapper.fromLineChar(diag.range.start.line, diag.range.start.character);
+                                const end = mapper.fromLineChar(diag.range.end.line, diag.range.end.character);
+                                if (from > -1 && end > -1) {
+                                    const decoration = Decoration.inline(from, end, { class: 'kb-lsp__error', title: diag.message });
+                                    decorations.push(decoration);
+                                }
+                            }
+                        }
+                    }
+                    return DecorationSet.create(state.doc, decorations);
+                },
+            },
+        });
+        Object.defineProperty(this, "diagListener", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: void 0
+        });
+        Object.defineProperty(this, "listenerDisconnect", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: void 0
+        });
+        Object.defineProperty(this, "listenerChange", {
+            enumerable: true,
+            configurable: true,
+            writable: true,
+            value: void 0
+        });
+        let lastDiag = 0;
+        const editor = extension.getEditor();
+        const uri = editor.config.uri;
+        if (uri) {
+            const client = extension.getClient(extension.mainLang);
+            this.diagListener = (event) => {
+                const detail = event.detail;
+                if (detail.params.uri !== uri) {
+                    return;
+                }
+                event.preventDefault();
+                lastDiag = +Date();
+                if (client) {
+                    const file = client.workspace.getFile(uri);
+                    if (file) {
+                        const { mapper } = file;
+                        const tr = editor.view.state.tr.setMeta(DiagnosticPluginKey, {
+                            diagnostics: detail.params.diagnostics,
+                            mapper,
+                        });
+                        editor.view.dispatch(tr);
+                    }
+                }
+            };
+            if (client) {
+                client.addEventListener('textDocument/publishDiagnostics', this.diagListener);
+            }
+            this.listenerDisconnect = (event) => {
+                const tr = editor.view.state.tr.setMeta(DiagnosticPluginKey, {
+                    diagnostics: [],
+                    mapper: undefined,
+                });
+                editor.view.dispatch(tr);
+            };
+            if (client) {
+                client.addEventListener('close', this.listenerDisconnect);
+            }
+            this.listenerChange = (event) => {
+                if (lastDiag === 0 && +Date() - lastDiag > 10_1000) {
+                    return;
+                }
+                const tr = editor.view.state.tr.setMeta(DiagnosticPluginKey, {
+                    diagnostics: [],
+                    mapper: undefined,
+                });
+                editor.view.dispatch(tr);
+            };
+            // extension.getEditor().addEventListener('changed', this.listenerChange);
+        }
+    }
+}