build: improve code

aya-prover · Dec 17, 2024 · 83230d2 · 83230d2
1 parent 275f5b9
commit 83230d2
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/src/main/java/org/aya/intellij/actions/run/AyaRunLineMarkerContributor.java b/src/main/java/org/aya/intellij/actions/run/AyaRunLineMarkerContributor.java
@@ -7,7 +7,6 @@
 import com.intellij.patterns.StandardPatterns;
 import com.intellij.psi.PsiElement;
 import com.intellij.psi.tree.IElementType;
-import kala.collection.immutable.ImmutableSeq;
 import org.aya.intellij.psi.AyaPsiFile;
 import org.aya.intellij.psi.concrete.AyaPsiDecl;
 import org.aya.intellij.psi.concrete.AyaPsiDeclNameOrInfix;
@@ -36,9 +35,6 @@ public class AyaRunLineMarkerContributor extends RunLineMarkerContributor {
   @Override public @Nullable Info getInfo(@NotNull PsiElement psi) {
     if (!TOP_LEVEL_DECL_ID.accepts(psi)) return null;
     final var actions = ExecutorAction.getActions(Integer.MAX_VALUE);
-    return new Info(AyaIcons.GUTTER_RUN, actions,
-      element -> ImmutableSeq.of(actions)
-        .mapNotNull(action -> getText(action, createActionEvent(element)))
-        .joinToString("\n"));
+    return new Info(AyaIcons.GUTTER_RUN, actions);
   }
 }