Fix #6328 (get out of REPL modes with backspace)

JuliaLang · Mar 31, 2014 · d9b6cdf · Keno · Mar 31, 2014 · carlobaldassi
1 parent 484a467
commit d9b6cdf
Showing 1 changed file with 10 additions and 1 deletion.
diff --git a/base/REPL.jl b/base/REPL.jl
@@ -569,7 +569,16 @@ function setup_interface(d::REPLDisplay,req,rep;extra_repl_keymap=Dict{Any,Any}[
     main_prompt.keymap_func = repl_keymap_func
 
     const mode_keymap = {
-        '\b' => s->(isempty(s) ? transition(s,main_prompt) : LineEdit.edit_backspace(s) )
+        '\b' => function (s)
+            if (isempty(s) || position(LineEdit.buffer(s)) == 0) && LineEdit.mode(s) != main_prompt
+                buf = copy(LineEdit.buffer(s))
+                transition(s,main_prompt)
+                LineEdit.state(s,main_prompt).input_buffer = buf
+                LineEdit.refresh_line(s)
+            else
+                LineEdit.edit_backspace(s)
+            end
+        end
     }
 
     b = Dict{Any,Any}[hkeymap, mode_keymap, LineEdit.history_keymap(hp), LineEdit.default_keymap,LineEdit.escape_defaults]