Andreas Kling 26110f7753 GTextEditor: set_cursor() should gracefully handle old cursor being invalid. ...

Since set_cursor() may be called after arbitrary document changes, it can't
rely on the old cursor being valid. To make things simple, if the old cursor
is on a line no longer in the document, just repaint the whole editor.

2019-05-06 22:04:53 +02:00

32 KiB

Raw Blame History

View Raw