-
-
Notifications
You must be signed in to change notification settings - Fork 96
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
Click the status bar icon to index workspace. #1898
base: master
Are you sure you want to change the base?
Conversation
hi @bmewburn |
Hi @tianyiw2013 , thanks for the PR. I'm not sure about this, some users like to keep the status bar clear. It also might be confusing with the git sync controls. Would it be simpler to keybind the command if you wanted quick access to it? |
I guess many people encounter abnormal indexing, but they don't know they can re index. So I think we can consider adding this button. When everyone encounters a problem, they may think that refreshing the index may solve some problems. |
I agree with @tianyiw2013 , at first I didn't know there was a "index workspace" command, it would be cool to have it, since we can hide it, idk if it is really a problem. Maybe hiding it by default, but we loose the goal of it if so |
Will this be merged? Seems like a great QoL addition! |
This is a must. I face indexing issues quite a lot of times. Sometimes need to restart the VSCode to get it properly working. To the point from @bmewburn above in the thread. Yes, people like to keep the editor status bar clean. But along with this if we could have the option to trigger it using cmd+shift+p would be great. |
You can already trigger Indexing from the Command Palette... A button would be nice though. |
What's the command for reindexing? |
|
Only just found out about this and agree it would be nice to have a button (or more easily accessed command) - had no idea it existed, idk how. |
Use status bar item instead of status bar message.