Fix #9291

[Alfredo Braunstein]

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?

A/

[Alfredo Braunstein]

Post by Alfredo Braunstein
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/

[Richard Heck]

Post by Alfredo Braunstein

Post by Alfredo Braunstein
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.

It looks OK to me.

Richard