Clip diagnostic hints past certain length

onriv · Oct 21, 2024 · 03a651e · 03a651e
1 parent f129218
commit 03a651e
Showing 1 changed file with 11 additions and 1 deletion.
diff --git a/src/main/kotlin/lean4ij/language/InlayHints.kt b/src/main/kotlin/lean4ij/language/InlayHints.kt
@@ -410,7 +410,17 @@ class InlayTextAttributes: UnmodifiableTextAttributes() {
 
 }
 
-class InlayRenderer(info: HighlightInfo): HintRenderer(info.description) {
+class InlayRenderer(info: HighlightInfo): HintRenderer(clipDescription(info.description)) {
+    companion object {
+        const val MAX_LEN = 140;
+        fun clipDescription(desc: String): String {
+            return if (desc.length < MAX_LEN) {
+                desc
+            } else {
+                desc.substring(0, MAX_LEN - 3) + "..."
+            }
+        }
+    }
     override fun getTextAttributes(editor: Editor): TextAttributes? {
         return InlayTextAttributes()
     }