From 5f3e664eed50a400e64c9f2360e8b7c1072e00b3 Mon Sep 17 00:00:00 2001 From: Andrew Date: Mon, 14 Oct 2024 18:12:11 -0700 Subject: [PATCH] delete ctrl+K placeholder --- extensions/void/src/CtrlKCodeLensProvider.ts | 31 -------------------- extensions/void/src/extension.ts | 1 - 2 files changed, 32 deletions(-) delete mode 100644 extensions/void/src/CtrlKCodeLensProvider.ts diff --git a/extensions/void/src/CtrlKCodeLensProvider.ts b/extensions/void/src/CtrlKCodeLensProvider.ts deleted file mode 100644 index 017b87ea..00000000 --- a/extensions/void/src/CtrlKCodeLensProvider.ts +++ /dev/null @@ -1,31 +0,0 @@ -import * as vscode from 'vscode'; - -export class CtrlKCodeLensProvider implements vscode.CodeLensProvider { - - private codelensesOfDocument: { [documentUri: string]: vscode.CodeLens[] } = {}; - - // only called by vscode's internals - public provideCodeLenses(document: vscode.TextDocument, token: vscode.CancellationToken): vscode.ProviderResult { - const docUri = document.uri.toString() - return this.codelensesOfDocument[docUri]; - } - - // only called by us - public addNewCodeLens(document: vscode.TextDocument, selection: vscode.Selection) { - - const docUri = document.uri.toString() - - if (!this.codelensesOfDocument[docUri]) - this.codelensesOfDocument[docUri] = [] - - // if any other codelens intersects with the selection, don't do it (and have the user now focus that codelens) - for (let lens of this.codelensesOfDocument[docUri]) { - if (lens.range.intersection(selection)) - return - } - - this.codelensesOfDocument[docUri] = [ - ...this.codelensesOfDocument[docUri], - new vscode.CodeLens(new vscode.Range(selection.start.line, 0, selection.end.line, Infinity), { title: '', command: '' })]; - } -} diff --git a/extensions/void/src/extension.ts b/extensions/void/src/extension.ts index 843f056d..29d82b08 100644 --- a/extensions/void/src/extension.ts +++ b/extensions/void/src/extension.ts @@ -1,6 +1,5 @@ import * as vscode from 'vscode'; import { ChatThreads, WebviewMessage } from './shared_types'; -import { CtrlKCodeLensProvider } from './CtrlKCodeLensProvider'; import { getDiffedLines } from './getDiffedLines'; import { ApprovalCodeLensProvider } from './ApprovalCodeLensProvider'; import { SidebarWebviewProvider } from './SidebarWebviewProvider';