j
k
j a
j l
@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)
Attachments:
Back to the thread
Back to the list