@pascal-fb-martin pushed 1 commit.

• 54d7c89 When stopping at an unknown source position, keep showing the last known one (better than the unrelated editor cursor)

—
View it on GitHub or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.
You are receiving this because you are subscribed to this thread.Message ID: <geany/geany-plugins/pull/1162/push/8979025872@github.com>