language-servers/tinymist
1
0
Fork 0
mirror of https://github.com/Myriad-Dreamin/tinymist.git synced 2025-12-23 08:47:50 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

feat: delay doc switch (#1662)

Browse source
This commit is contained in:
Myriad-Dreamin 2025-04-17 02:34:38 +08:00 • committed by GitHub
parent b56ba42984
commit fc5757a5bc
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 11 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

18
editors/vscode/src/extension.ts
View file

@ -507,14 +507,12 @@ async function initTemplate(context: vscode.ExtensionContext, inPlace: boolean,
}
}
async function commandActivateDoc(doc: vscode.TextDocument | undefined): Promise<void> {
await commandActivateDocPath(doc, doc?.uri.fsPath);
function commandActivateDoc(doc: vscode.TextDocument | undefined) {
commandActivateDocPath(doc, doc?.uri.fsPath);
}
async function commandActivateDocPath(
doc: vscode.TextDocument | undefined,
fsPath: string | undefined,
): Promise<void> {
let focusMainTimeout: NodeJS.Timeout | undefined = undefined;
function commandActivateDocPath(doc: vscode.TextDocument | undefined, fsPath: string | undefined) {
// console.log("focus main", fsPath, new Error().stack);
extensionState.mut.focusingFile = fsPath;
if (fsPath) {
@ -528,7 +526,13 @@ async function commandActivateDocPath(
triggerStatusBar(
!!formatString && !!(fsPath || extensionState.mut.focusingDoc?.isClosed === false),
);
await tinymist.executeCommand("tinymist.focusMain", [fsPath]);
if (focusMainTimeout) {
clearTimeout(focusMainTimeout);
}
focusMainTimeout = setTimeout(() => {
tinymist.executeCommand("tinymist.focusMain", [fsPath]);
}, 100);
}
async function commandRunCodeLens(...args: string[]): Promise<void> {