[Github-comments] [geany/geany-plugins] Feature remote debugger (PR #1162)

Tue Feb 1 02:50:07 UTC 2022

@pascal-fb-martin pushed 1 commit.

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

-- 
View it on GitHub:
https://github.com/geany/geany-plugins/pull/1162/files/4c0abad9f1d06bcf58fe4d390090a043c6fc5a14..54d7c8925c8396d8b7bd8c5443b9f551fa9c2133
You are receiving this because you are subscribed to this thread.

Message ID: <geany/geany-plugins/pull/1162/push/8979025872 at github.com>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20220131/4994cc30/attachment-0001.htm>