edit-and-execute widget: set BRACKETED_PASTE_OFF before editing

jline · Nov 24, 2020 · 0ba7e81 · 0ba7e81
1 parent 23034db
commit 0ba7e81
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/reader/src/main/java/org/jline/reader/impl/LineReaderImpl.java b/reader/src/main/java/org/jline/reader/impl/LineReaderImpl.java
@@ -1072,6 +1072,9 @@ public void addCommandsInBuffer(Collection<String> commands) {
 
     @Override
     public void editAndAddInBuffer(File file) throws Exception {
+        if (isSet(Option.BRACKETED_PASTE)) {
+            terminal.writer().write(BRACKETED_PASTE_OFF);
+        }
         Constructor<?> ctor = Class.forName("org.jline.builtins.Nano").getConstructor(Terminal.class, File.class);
         Editor editor = (Editor) ctor.newInstance(terminal, new File(file.getParent()));
         editor.setRestricted(true);