Don't open Tips is disconnected terminals

sedwards2009 · Jan 24, 2024 · a242934 · a242934
1 parent 4678d8a
commit a242934
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/extensions/Tips/src/TipsExtension.ts b/extensions/Tips/src/TipsExtension.ts
@@ -36,6 +36,9 @@ export function activate(_context: ExtensionContext): any {
 }
 
 function handleNewTerminal(newTerminal: Terminal): void {
+  if ( !newTerminal.isConnected) {
+    return;
+  }
   const config = getConfig();
   switch (config.frequency) {
     case "every":