Elgato_dark/void
1
0
Fork 0
mirror of https://github.com/voideditor/void synced 2026-05-24 09:58:23 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

delete ctrl+K placeholder

Browse source
This commit is contained in:
Andrew 2024-10-14 18:12:11 -07:00
parent fb69afd5c4
commit 5f3e664eed
2 changed files with 0 additions and 32 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

31
extensions/void/src/CtrlKCodeLensProvider.ts
View file

@ -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<vscode.CodeLens[]> {
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: '' })];
}
}

1
extensions/void/src/extension.ts
View file

@ -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';