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.

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

Get rid of editable map, it should not be a map but just one element #69531

Closed
isidorn opened this issue Feb 27, 2019 · 0 comments
Closed

Get rid of editable map, it should not be a map but just one element #69531

isidorn opened this issue Feb 27, 2019 · 0 comments
Assignees
@isidorn
Labels
debt Code quality issues file-explorer Explorer widget issues
Milestone
March 2019

Comments

@isidorn
Copy link
Contributor

isidorn commented Feb 27, 2019

Also I see you are setting 'highlight' on my tree
please do it on your viewlet

fyi @joaomoreno
@isidorn isidorn added debt Code quality issues file-explorer Explorer widget issues labels Feb 27, 2019
@isidorn isidorn added this to the March 2019 milestone Feb 27, 2019
@isidorn isidorn self-assigned this Feb 27, 2019
@isidorn isidorn mentioned this issue Feb 27, 2019
Merged
@isidorn isidorn closed this as completed in 8f0c07a Mar 5, 2019
@vscodebot vscodebot bot locked and limited conversation to collaborators Apr 19, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@isidorn isidorn

Labels
debt Code quality issues file-explorer Explorer widget issues
Projects
None yet
Milestone
March 2019
Development

No branches or pull requests
1 participant
@isidorn