diff --git a/devel/201_2977.md b/devel/201_2977.md new file mode 100644 index 0000000000..1b7de15e55 Binary files /dev/null and b/devel/201_2977.md differ diff --git a/src/Edit/Interface/edit_complete.cpp b/src/Edit/Interface/edit_complete.cpp index 1257208dca..cfd8961033 100644 --- a/src/Edit/Interface/edit_complete.cpp +++ b/src/Edit/Interface/edit_complete.cpp @@ -354,6 +354,7 @@ edit_interface_rep::session_complete_command (tree tt) { if (pos == -1) return ""; s= s (0, pos) * s (pos + N (cursor_symbol), N (s)); // cout << s << ", " << pos << LF; + set_input_normal (); return "(complete " * scm_quote (s) * " " * as_string (pos) * ")"; }