eclipse-jdt / eclipse-jdt/eclipse.jdt.ui

Wrong source

Open
#325 6 comments 0 reactions 0 assignees View on GitHub
Dominant language
Java
Stars
59
Forks
127
Avg merge
22h 47m
Merged PRs (30d)
28

Description

Have a project.
Press F3 on some reference from another project.
The source code is not picked up from the project in your workspace, but the one from the library.

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.