Add a redraw-line widget, fixes #53

jline · Dec 4, 2016 · a2919c5 · a2919c5
1 parent 11fa95b
commit a2919c5
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/src/main/java/org/jline/reader/LineReader.java b/src/main/java/org/jline/reader/LineReader.java
@@ -157,6 +157,7 @@ public interface LineReader {
     String READ_COMMAND = "read-command";
     String RECURSIVE_EDIT = "recursive-edit";
     String REDISPLAY = "redisplay";
+    String REDRAW_LINE = "redraw-line";
     String REDO = "redo";
     String REVERSE_MENU_COMPLETE = "reverse-menu-complete";
     String SELF_INSERT = "self-insert";

diff --git a/src/main/java/org/jline/reader/impl/LineReaderImpl.java b/src/main/java/org/jline/reader/impl/LineReaderImpl.java
@@ -620,8 +620,9 @@ public void callWidget(String name) {
     /**
      * Clear the line and redraw it.
      */
-    public void redrawLine() {
+    public boolean redrawLine() {
         display.reset();
+        return true;
     }
 
     /**
@@ -3107,6 +3108,7 @@ protected Map<String, Widget> builtinWidgets() {
 //        widgets.put(QUIT, this::quit);
         widgets.put(QUOTED_INSERT, this::quotedInsert);
         widgets.put(REDISPLAY, this::redisplay);
+        widgets.put(REDRAW_LINE, this::redrawLine);
         widgets.put(REDO, this::redo);
         widgets.put(SELF_INSERT, this::selfInsert);
         widgets.put(SELF_INSERT_UNMETA, this::selfInsertUnmeta);