From 18557c8f6eab9900d0c0052637cf4651af974133 Mon Sep 17 00:00:00 2001 From: Andrew Date: Mon, 28 Oct 2024 03:37:18 -0700 Subject: [PATCH] comment out ctrlk so it builds --- .../extension/providers/CtrlKWebviewProvider.ts | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/extensions/void/src/extension/providers/CtrlKWebviewProvider.ts b/extensions/void/src/extension/providers/CtrlKWebviewProvider.ts index 0c7b1bca..8ef55198 100644 --- a/extensions/void/src/extension/providers/CtrlKWebviewProvider.ts +++ b/extensions/void/src/extension/providers/CtrlKWebviewProvider.ts @@ -34,18 +34,18 @@ export class CtrlKWebviewProvider { onPressCtrlK() { - // TODO if currently selecting a ctrl k element, just focus it and do nothing + // // TODO if currently selecting a ctrl k element, just focus it and do nothing - const inset = vscode.window.createWebviewTextEditorInset(editor, line, height); + // const inset = vscode.window.createWebviewTextEditorInset(editor, line, height); - const newCtrlKId = this._idPool++ - updateWebviewHTML(inset.webview, this._extensionUri, { jsOutLocation: 'dist/webviews/ctrlk/index.js', cssOutLocation: 'dist/webviews/styles.css' }, - { id: newCtrlKId } - ) + // const newCtrlKId = this._idPool++ + // updateWebviewHTML(inset.webview, this._extensionUri, { jsOutLocation: 'dist/webviews/ctrlk/index.js', cssOutLocation: 'dist/webviews/styles.css' }, + // { id: newCtrlKId } + // ) - ctrlKWebviewProvider.webview.then(webview => webview.postMessage({ type: 'ctrl+k', selection: { selectionStr, selectionRange, filePath } } satisfies MessageToSidebar)); + // ctrlKWebviewProvider.webview.then(webview => webview.postMessage({ type: 'ctrl+k', selection: { selectionStr, selectionRange, filePath } } satisfies MessageToSidebar)); }