-
-
Notifications
You must be signed in to change notification settings - Fork 436
Cannot jump to definition #486
Copy link
Copy link
Closed
Labels
component: ghcidestatus: blockedNot actionable, because blocked by upstream/GHC etc.Not actionable, because blocked by upstream/GHC etc.type: enhancementNew feature or requestNew feature or request
Metadata
Metadata
Assignees
Labels
component: ghcidestatus: blockedNot actionable, because blocked by upstream/GHC etc.Not actionable, because blocked by upstream/GHC etc.type: enhancementNew feature or requestNew feature or request
I remember that it was possible to press and hold Ctrl and then use click to jump to the defined place, but now it can't.What's going on?