Untitled editor hint is gone (fix #214679) (#214963)

This commit is contained in:
Benjamin Pasero 2024-06-12 18:07:29 +02:00 committed by GitHub
parent d7ade261f8
commit 39ae41aaec
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -128,7 +128,7 @@ export class EmptyTextEditorHintContribution implements IEditorContribution {
}
const hasEditorAgents = Boolean(this.chatAgentService.getDefaultAgent(ChatAgentLocation.Editor));
const shouldRenderDefaultHint = model?.uri.scheme === Schemas.untitled && languageId === PLAINTEXT_LANGUAGE_ID && hasEditorAgents;
const shouldRenderDefaultHint = model?.uri.scheme === Schemas.untitled && languageId === PLAINTEXT_LANGUAGE_ID;
return hasEditorAgents || shouldRenderDefaultHint;
}