fix: make the plugin work with 2023.3

antlr · Jan 9, 2024 · 9899558 · 9899558
1 parent a67e6db
commit 9899558
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 0 deletions.
diff --git a/.github/workflows/gradle.yml b/.github/workflows/gradle.yml
@@ -22,6 +22,8 @@ jobs:
             JDK_VERSION: 17
           - IDEA_VERSION: IC-2023.1
             JDK_VERSION: 17
+          - IDEA_VERSION: IC-2023.3.2
+            JDK_VERSION: 17
           - IDEA_VERSION: IU-LATEST-EAP-SNAPSHOT
             JDK_VERSION: 17
 

diff --git a/src/test/java/org/antlr/intellij/plugin/editor/MockToolWindow.java b/src/test/java/org/antlr/intellij/plugin/editor/MockToolWindow.java
@@ -17,6 +17,7 @@
 import java.awt.*;
 import java.awt.event.InputEvent;
 import java.util.List;
+import java.util.function.Supplier;
 
 @SuppressWarnings("all")
 public class MockToolWindow implements ToolWindow {
@@ -105,8 +106,16 @@ public void setTitle(@NlsContexts.TabTitle String title) {}
         return null;
     }
 
+    public @NotNull Supplier<@NlsContexts.TabTitle String> getStripeTitleProvider() {
+        return null;
+    }
+
     public void setStripeTitle(@NlsContexts.TabTitle @NotNull String title) {}
 
+    public void setStripeTitleProvider(@NotNull Supplier<@NlsContexts.TabTitle @NotNull String> supplier) {
+
+    }
+
     public boolean isAvailable() {
         return false;
     }