This repository has been archived by the owner on Jun 8, 2023. It is now read-only.

UI improvements: code navigation #59

Open

petertrr opened this issue Jun 9, 2022 · 0 comments

Labels

Member

petertrr commented Jun 9, 2022

Display number of line/column where caret is currently located
Support pointing caret to the correct place when clicking warning name on WarningsPane

petertrr added the enhancement label

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.