From cf34205cfa84e3865e1a473ffbe24e40d095b74b Mon Sep 17 00:00:00 2001
From: sxhya <sinchukss@gmail.com>
Date: Mon, 1 Jul 2024 14:02:04 +0200
Subject: [PATCH] Do not show class fields in Ctrl+Q

---
 .../org/arend/documentation/ArendDocumentationProvider.kt  | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/src/main/kotlin/org/arend/documentation/ArendDocumentationProvider.kt b/src/main/kotlin/org/arend/documentation/ArendDocumentationProvider.kt
index 2c81d6832..145844a53 100644
--- a/src/main/kotlin/org/arend/documentation/ArendDocumentationProvider.kt
+++ b/src/main/kotlin/org/arend/documentation/ArendDocumentationProvider.kt
@@ -26,6 +26,7 @@ import org.arend.naming.scope.Scope
 import org.arend.psi.ArendFile
 import org.arend.psi.doc.ArendDocComment
 import org.arend.psi.ext.*
+import org.arend.term.abs.Abstract
 import org.cef.browser.CefBrowser
 import org.cef.browser.CefFrame
 import org.cef.handler.CefLoadHandlerAdapter
@@ -250,8 +251,10 @@ class ArendDocumentationProvider : AbstractDocumentationProvider() {
             html(" $it")
         }
 
-        for (parameter in ArendCodeInsightUtils.getAllParametersForReferable(element, null)?.first ?: emptyList()) {
-            html(" $parameter")
+        for (parameter in (element as? Abstract.ParametersHolder)?.parameters ?: emptyList()) {
+            if (parameter is PsiElement) {
+                html(" ${parameter.text}")
+            }
         }
 
         element.psiElementType?.let { html(" : ${it.text}") }