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

Hide activity bar if no activity is registered #107

Closed
danielwiehl opened this issue Mar 12, 2019 · 0 comments
Closed

Hide activity bar if no activity is registered #107

danielwiehl opened this issue Mar 12, 2019 · 0 comments
Assignees
@danielwiehl
Labels
comp: workbench

Comments

@danielwiehl
Copy link
Collaborator

Is your feature request related to a problem? Please describe.

In our project, we do not use activities at all.

Describe the solution you'd like

The activity bar should only be showing if some activities are registered.
danielwiehl added a commit that referenced this issue Mar 12, 2019
@danielwiehl
feat: hide activity part if no activities are registered
1f17d66 
closes #107
@danielwiehl danielwiehl self-assigned this Mar 12, 2019
danielwiehl added a commit that referenced this issue Mar 13, 2019
@danielwiehl
feat: hide activity part if no activities are registered
49c88a6 
closes #107
danielwiehl added a commit that referenced this issue Mar 13, 2019
@danielwiehl
feat: hide activity part if no activities are registered
fb43cf6 
closes #107
@simoneggler simoneggler added this to the 0.0.1 milestone Mar 13, 2019
danielwiehl added a commit that referenced this issue Mar 14, 2019
@danielwiehl
feat: hide activity part if no activities are registered
3c01b6f 
closes #107
danielwiehl added a commit that referenced this issue Mar 15, 2019
@danielwiehl
feat: hide activity part if no activities are registered
66bfea3 
closes #107
danielwiehl added a commit that referenced this issue Mar 15, 2019
@danielwiehl
feat: hide activity part if no activities are registered
e54387e 
closes #107
@danielwiehl danielwiehl mentioned this issue Mar 15, 2019
Merged
3 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@danielwiehl danielwiehl

Labels
comp: workbench
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@danielwiehl @simoneggler