An error occurred while fetching folder content.
tweaks: don't turn the mark off before it's needed
Benno Schulenberg authored
The mark only needs to be off when calling replace_marked_buffer(),
because this indirectly calls ingraft_buffer(), which fiddles with
the end points if the mark is on.
d5b950cc
Name Last commit Last update