Alfredo Braunstein wrote: > The second chunk is a fix to #9291 "Cannot exit table when selecting > 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. > > Comments?
I'll commit this if no one objects, it's pretty straightforward. A/
