Shift inlays for definitions with access modifiers

JetBrains · Jun 18, 2024 · 30e4dd7 · 30e4dd7
1 parent d5fbaaf
commit 30e4dd7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/kotlin/org/arend/codeInsight/hints/ArendDefinitionInlayProvider.kt b/src/main/kotlin/org/arend/codeInsight/hints/ArendDefinitionInlayProvider.kt
@@ -35,7 +35,7 @@ abstract class ArendDefinitionInlayProvider : InlayHintsProvider<NoSettings> {
                 val def = (arendDef.tcReferable as? TCDefReferable)?.typechecked ?: return true
                 val text = getText(def) ?: return true
 
-                val offset = arendDef.startOffset
+                val offset = (arendDef.parent ?: arendDef).startOffset
                 val inset = if (document == null) 0 else {
                     val width = EditorUtil.getPlainSpaceWidth(editor)
                     val line = document.getLineNumber(offset)