avoid false message "symbol not found" due to out-of-date index #16

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.

Sign up for GitHub

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

Jump to bottom

Open

russaa wants to merge 2 commits into GabiGrin:master from mmig:fix_auto-build-index

Contributor

russaa commented Oct 26, 2017

if import-symbol is not found in current index, waits for index-build to finish

russaa added 2 commits

October 26, 2017 15:32


          avoid false message "symbol not found" due to out-of-date index

bea4b3e


          only (re-)build index, if necessary

54309e7

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

Labels

None yet