Method hideProgressOverlay

frontend/src/webview.ts:538–540

()

    }

    hideProgressOverlay() {
        this.postMessage({ command: 'hideProgressOverlay' });
    }

    focusNode(nodeId: string) {
        if (this.panel) {