2014-10-12 18:34:51 UTC
with keyboard to right or left". The problem was simply that the
default status for the cursor in the call to *::doDispatch is
dispatched... (btw, there are many cur.dispatched() statements there
that may be superfluous).
The first chunk just avoids forgetting the selection on reenter.