Click to jump to definition #3

Open

opened

on Mar 30, 2017

It would be useful to be able to click on an identifier and jump to where it is defined, it can be quite a long way away in module. The best way currently is to click on it and scroll around to look for a dark green highlighting.

to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests