Merge pull request #3570 from continuedev/pe/jb-tooltip-disposal-bugfix

bugfix(JB): handle disposed editor tooltips
continuedev · Dec 30, 2024 · 35cf0e1 · 35cf0e1
2 parents 74035c3 + 72d4ad0
commit 35cf0e1
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/...github/continuedev/continueintellijextension/listeners/ContinuePluginSelectionListener.kt b/...github/continuedev/continueintellijextension/listeners/ContinuePluginSelectionListener.kt
@@ -28,6 +28,10 @@ class ContinuePluginSelectionListener(
     private var lastActiveEditor: Editor? = null
 
     override fun selectionChanged(e: SelectionEvent) {
+        if (e.editor.isDisposed || e.editor.project?.isDisposed == true) {
+            return
+        }
+
         debouncer.debounce { handleSelection(e) }
     }