-
Notifications
You must be signed in to change notification settings - Fork 1.2k
Add workspace name to tabs #974
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
Conversation
c7de04f to
c2326c4
Compare
| }) | ||
| } | ||
|
|
||
| getCurrentWorkspace () { |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Maybe currentWorkspace() ? Just a suggestion
c2326c4 to
f3175b6
Compare
|
|
||
| currentWorkspace () { | ||
| const file = this.currentFile() || '' | ||
| const provider = this.fileProviderOf(file) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Here you could just do
const provider = self._deps.filesProviders.workspace
because anyway, the localhost provider doesn't have the workspace property
0969366 to
469c3fe
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
sorry I put that comment in the wrong PR (erased comment)
Fixes #967