fix color npe

onriv · Oct 22, 2024 · 3cd7918 · 3cd7918
1 parent 24c7de3
commit 3cd7918
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/src/main/kotlin/lean4ij/infoview/InfoviewMouseMotionListener.kt b/src/main/kotlin/lean4ij/infoview/InfoviewMouseMotionListener.kt
@@ -85,20 +85,25 @@ class InfoviewMouseMotionListener(
             return
         }
 
+        // TODO maybe make this singleton?
         val attr = object : TextAttributes() {
             override fun getBackgroundColor(): Color {
                 // TODO document this
                 // TODO should scheme be cache?
                 val scheme = EditorColorsManager.getInstance().globalScheme
                 // TODO customize attr? or would backgroundColor null?
                 //      indeed here it can be null, don't know why Kotlin does not mark it as error
-                // TODO there is cases here the background of identifier under current caret is null?
+                // TODO there is cases here the background of identifier under current caret is null
+                // TODO do this better in a way
                 var color = scheme.getAttributes(EditorColors.IDENTIFIER_UNDER_CARET_ATTRIBUTES).backgroundColor
                 if (color != null) {
                     return color
                 }
                 color = scheme.getColor(EditorColors.CARET_COLOR)
-                return color
+                if (color != null) {
+                    return color
+                }
+                return scheme.defaultBackground
             }
         }
         createPopup(c, attr)