Bo Peng wrote:
Hum, then it is probably better to put it inside moveToPosition(),
isn't it?
Yes, although moveToPosition is used to update bookmarks
Do you really need to move the cursor to save a bookmark?
when a buffer
is closed, so no change of font is needed in that case. (It does not
matter though.)
indeed.
Also, I reopened the bug for the reason described in bugzilla.
OK but maybe this is a bug of checkInsetHit() instead?
Maybe we could use editXY() and restore the cursor state properly afterward?
Abdel.
