1
0
Code Issues Pull Requests Packages Projects Releases Wiki Activity GitHub Gitee

fix: do not show information message: editor is undefined

This commit is contained in:
程序员小墨 2024-04-07 02:44:35 +08:00
parent abe6b5f892
commit fa0499f1d7

View File

@ -38,7 +38,8 @@ export function activate(context: vscode.ExtensionContext) {
let text = document.getText(selection);
vscode.commands.executeCommand('setContext', '_textSelectionLength', text.length);
} else {
vscode.window.showInformationMessage('editor is undefined');
// vscode.window.showInformationMessage('editor is undefined');
console.log('editor is undefined');
}
const commands: Array<{ command: string; targetCase: SupportCase }> = [