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

Move the TreeView to use the new "Activity Bar" API #183

Closed
alefragnani opened this issue May 4, 2018 · 4 comments
Closed

Move the TreeView to use the new "Activity Bar" API #183

alefragnani opened this issue May 4, 2018 · 4 comments
Assignees
@alefragnani
Labels
enhancement
Milestone
8.0

Comments

@alefragnani
Copy link
Owner

April 2018 (version 1.23)
@alefragnani alefragnani mentioned this issue May 4, 2018
Closed
@alefragnani alefragnani added this to the 8.0 milestone May 20, 2018
@alefragnani alefragnani mentioned this issue May 22, 2018
Closed
@alefragnani
Copy link
Owner Author

🏃

image

@alefragnani alefragnani mentioned this issue May 25, 2018
Closed
@alefragnani
Copy link
Owner Author

alefragnani commented Jun 2, 2018 •
edited
Loading

Activity Bar

​

@alefragnani alefragnani self-assigned this Jun 2, 2018
@imoby
Copy link

imoby commented Jul 7, 2018

is there a way to disable this?

@alefragnani alefragnani mentioned this issue Jul 7, 2018
Closed
@alefragnani
Copy link
Owner Author

It was answered in #196 😄

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

@alefragnani alefragnani

Labels
enhancement
Projects
None yet
Milestone
8.0
Development

No branches or pull requests
2 participants
@alefragnani @imoby