Fix providers ordering

jline · Oct 11, 2023 · 7990540 · 7990540
1 parent 8685b2a
commit 7990540
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/terminal/src/main/java/org/jline/terminal/TerminalBuilder.java b/terminal/src/main/java/org/jline/terminal/TerminalBuilder.java
@@ -445,7 +445,7 @@ private Terminal doBuild() throws IOException {
                         .split(","));
         providers.sort(Comparator.comparing(l -> {
             int idx = order.indexOf(l.name());
-            return idx >= 0 ? idx : Integer.MAX_VALUE;
+            return idx >= 0 ? -idx : Integer.MIN_VALUE;
         }));
 
         Terminal terminal = null;