[JLINE3-325] Highlighting in history output

jline · Nov 13, 2018 · 46784f7 · 46784f7
1 parent 09a0f04
commit 46784f7
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/builtins/src/main/java/org/jline/builtins/Commands.java b/builtins/src/main/java/org/jline/builtins/Commands.java
@@ -35,6 +35,7 @@
 import org.jline.builtins.Source.URLSource;
 import org.jline.keymap.KeyMap;
 import org.jline.reader.Binding;
+import org.jline.reader.Highlighter;
 import org.jline.reader.History;
 import org.jline.reader.LineReader;
 import org.jline.reader.LineReader.Option;
@@ -188,6 +189,7 @@ public static void history(LineReader reader, PrintStream out, PrintStream err,
         if (opt.isSet("clear") || opt.isSet("save")) {
             return;
         }
+        final Highlighter highlighter = reader.getHighlighter();
         for (History.Entry entry : history) {
             AttributedStringBuilder sb = new AttributedStringBuilder();
             sb.append("  ");
@@ -199,7 +201,7 @@ public static void history(LineReader reader, PrintStream out, PrintStream err,
                 DateTimeFormatter.ISO_LOCAL_TIME.formatTo(lt, sb);
             }
             sb.append("  ");
-            sb.append(entry.line());
+            sb.append(highlighter.highlight(reader, entry.line()));
             out.println(sb.toAnsi(reader.getTerminal()));
         }
     }