-
Notifications
You must be signed in to change notification settings - Fork 32
Issues: julia-vscode/SymbolServer.jl
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
[speculative] Store cache files in bundle
enhancement
New feature or request
#257
opened Jul 25, 2022 by
pfitzseb
Improve cache download behvaiour
enhancement
New feature or request
#256
opened Jul 14, 2022 by
pfitzseb
Checksum/sanity checks for cache files
bug
Something isn't working
#242
opened Nov 9, 2021 by
pfitzseb
Index Julia base and stdlib in the cloud
enhancement
New feature or request
#207
opened Jan 18, 2021 by
davidanthoff
Fall back to older Julia versions during cloud indexing
enhancement
New feature or request
#206
opened Jan 18, 2021 by
davidanthoff
Methods of a single function are missing or scattered across modules
bug
Something isn't working
#161
opened Jun 1, 2020 by
timholy
Warnings about Mutex and other stuff
bug
Something isn't working
#129
opened Apr 16, 2020 by
davidanthoff
Could we index in the cloud?
enhancement
New feature or request
#108
opened Mar 1, 2020 by
davidanthoff
Solve contention if multiple instances index at the same time
enhancement
New feature or request
#106
opened Feb 26, 2020 by
davidanthoff
Don't load stuff that is in the current workspace
enhancement
New feature or request
#87
opened Feb 3, 2020 by
davidanthoff
How to handle the test folder
enhancement
New feature or request
#74
opened Jan 13, 2020 by
davidanthoff
Very slow startup when packages aren't yet cached
bug
Something isn't working
#56
opened Dec 2, 2019 by
non-Jedi
"SymbolServer not defined" error when called within different module
bug
Something isn't working
#54
opened Nov 27, 2019 by
Neelo16
Make sure symbol server runs with the startup script
bug
Something isn't working
#42
opened Aug 26, 2019 by
davidanthoff
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.