John Levon wrote:
> Well, I know we're disabling it, but Alfredo, did you realise that your
> choice of where to the put the anchor_row() call is dubious ? We have
Yes. ;)
> a number of actual cursors other than the one the user sees (e.g.
> selection.end), and we use that setCursor(cursor,
Well, I know we're disabling it, but Alfredo, did you realise that your
choice of where to the put the anchor_row() call is dubious ? We have
a number of actual cursors other than the one the user sees (e.g.
selection.end), and we use that setCursor(cursor, par, pos) call on
cursors other than
