build: upgrade intellij plugin

aya-prover · Dec 17, 2024 · 275f5b9 · 275f5b9
1 parent c42ab2b
commit 275f5b9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/build.gradle.kts b/build.gradle.kts
@@ -22,7 +22,7 @@ plugins {
   // Kotlin support
   kotlin("jvm") version "2.1.0"
   // https://github.com/JetBrains/gradle-intellij-plugin
-  id("org.jetbrains.intellij.platform") version "2.1.0"
+  id("org.jetbrains.intellij.platform") version "2.1.1"
   // https://github.com/JetBrains/gradle-changelog-plugin
   id("org.jetbrains.changelog") version "2.2.1"
   // https://github.com/JetBrains/gradle-grammar-kit-plugin

diff --git a/src/main/java/org/aya/intellij/ui/toolwindow/GoalsView.java b/src/main/java/org/aya/intellij/ui/toolwindow/GoalsView.java
@@ -44,7 +44,7 @@
 public class GoalsView implements AyaTreeView.NodeAdapter<GoalsView.GoalNode> {
   private final @NotNull AyaTreeView<GoalNode> treeView;
   // TODO: user-defined distiller options
-  private final @NotNull PrettierOptions options = AyaPrettierOptions.informative();
+  private final @NotNull PrettierOptions options = AyaPrettierOptions.debug();
   private final @NotNull Project project;
 
   public GoalsView(@NotNull Project project, @NotNull ToolWindow toolWindow) {