TailTipWidgets: set LineReader variable errors=0

jline · Jun 20, 2020 · 96defb8 · 96defb8
1 parent fb196ca
commit 96defb8
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/console/src/main/java/org/jline/widget/TailTipWidgets.java b/console/src/main/java/org/jline/widget/TailTipWidgets.java
@@ -57,6 +57,7 @@ public enum TipType {
     private int descriptionSize = 0;
     private boolean descriptionEnabled = true;
     private boolean descriptionCache = false;
+    private Object readerErrors;
 
     /**
      * Creates tailtip widgets used in command line suggestions. Suggestions are created using a command
@@ -409,11 +410,14 @@ public boolean toggleKeyBindings() {
         if (enabled) {
             defaultBindings();
             destroyDescription();
+            reader.setVariable(LineReader.ERRORS, readerErrors);
         } else {
             customBindings();
             if (descriptionEnabled) {
                 initDescription(descriptionSize);
             }
+            readerErrors = reader.getVariable(LineReader.ERRORS);
+            reader.setVariable(LineReader.ERRORS, 0);
         }
         try {
             callWidget(LineReader.REDRAW_LINE);

diff --git a/console/src/main/java/org/jline/widget/Widgets.java b/console/src/main/java/org/jline/widget/Widgets.java
@@ -40,7 +40,7 @@ public abstract class Widgets {
     protected static final String TT_TOGGLE = "tailtip-toggle";
     protected static final String TT_ACCEPT_LINE = "_tailtip-accept-line";
 
-    private final LineReader reader;
+    protected final LineReader reader;
 
     public Widgets(LineReader reader) {
         this.reader = reader;