Always set rescript console filters (#384)

giraud · Sep 14, 2022 · b6a4bb4 · b6a4bb4
1 parent 879d4c8
commit b6a4bb4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 4 deletions.
diff --git a/src/com/reason/ide/console/ORConsoleFilterProvider.java b/src/com/reason/ide/console/ORConsoleFilterProvider.java
@@ -18,9 +18,7 @@ public class ORConsoleFilterProvider extends ConsoleDependentFilterProvider {
     @Override
     public Filter @NotNull [] getDefaultFilters(@NotNull ConsoleView consoleView, @NotNull Project project, @NotNull GlobalSearchScope scope) {
         if (consoleView instanceof RescriptConsoleView) {
-            return project.getService(ORSettings.class).isUseSuperErrors()
-                    ? super.getDefaultFilters(project)
-                    : ((RescriptConsoleView) consoleView).getFilters();
+            return ((RescriptConsoleView) consoleView).getFilters();
         }
         if (consoleView instanceof DuneConsoleView) {
             return ((DuneConsoleView) consoleView).getFilters();

diff --git a/src/com/reason/ide/console/rescript/RescriptConsoleView.java b/src/com/reason/ide/console/rescript/RescriptConsoleView.java
@@ -11,6 +11,6 @@ public RescriptConsoleView(@NotNull Project project) {
     }
 
     public Filter @NotNull [] getFilters() {
-        return new Filter[]{new RescriptOCamlConsoleFilter(getProject())};
+        return new Filter[]{new UrlFilter(), new RescriptOCamlConsoleFilter(getProject())};
     }
 }