Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Enable/Disable download sources upon project import #1627

Open
mamilic opened this issue Nov 12, 2024 · 2 comments
Open

Enable/Disable download sources upon project import #1627

mamilic opened this issue Nov 12, 2024 · 2 comments
Labels
enhancement New feature or request

Comments

@mamilic
Copy link
Contributor

mamilic commented Nov 12, 2024

When importing large gradle projects such as, https://github.com/spring-projects/spring-boot it takes a long time to import.

Describe the solution you'd like
It would be nice to have preference setting to specify whether docs should be synced upon import. If possible, the sources could be downloaded on demand, whenever user navigates to dependecies, sources could be downloaded.

@mamilic mamilic added the enhancement New feature or request label Nov 12, 2024
@jdneo
Copy link
Member

jdneo commented Nov 13, 2024

I have the same feeling that this might have big impact on project import. Some preference should be added to Gradle Build Server to disable the source jar download during import.

The thing needs to be figured out is that how to 'lazy' download these source jars on demand.

@mamilic
Copy link
Contributor Author

mamilic commented Nov 25, 2024

Hi @jdneo , the question is a little bit tricky, actually what I see here is that user can be prompted to download resources if needed when one of the files are opened from library. Other side of this is how to actually do it programatically,

  • download sources and put it to specified dir
  • somehow notify jdt that sources are downloaded
  • reload opened file

Have no experience in this, though this is just my feeling, you can be the judge whether this is possible. 😄

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

2 participants