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 settings tab if there are no flags in it at all #896

Closed
tastybento opened this issue Aug 17, 2019 · 0 comments
Closed

Hide settings tab if there are no flags in it at all #896

tastybento opened this issue Aug 17, 2019 · 0 comments
Assignees
@tastybento
Labels
Status: Done This issue has been completed or answered. This pull request has been merged. Type: Enhancement Improvement or modification which is usually a new feature.
Milestone
1.7.0

Comments

@tastybento
Copy link
Member

Description

Is your feature request related to a problem?

If all flags are hidden, then hide the tab.
@tastybento tastybento added the Type: Enhancement Improvement or modification which is usually a new feature. label Aug 17, 2019
@Poslovitch Poslovitch added the Status: Pending Waiting for a developer to start working on this issue. label Aug 17, 2019
@tastybento tastybento self-assigned this Aug 18, 2019
@tastybento tastybento added this to the 1.7.0 milestone Aug 18, 2019
@tastybento tastybento added Status: In progress Working on the issue. and removed Status: Pending Waiting for a developer to start working on this issue. labels Aug 18, 2019
tastybento added a commit that referenced this issue Aug 18, 2019
@tastybento
Adds tabbed panel method to hide tab if it is empty.
33b4c70 
#896
@tastybento tastybento added Status: Done This issue has been completed or answered. This pull request has been merged. and removed Status: In progress Working on the issue. labels Aug 18, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@tastybento tastybento

Labels
Status: Done This issue has been completed or answered. This pull request has been merged. Type: Enhancement Improvement or modification which is usually a new feature.
Projects
None yet
Milestone
1.7.0
Development

No branches or pull requests
2 participants
@tastybento @Poslovitch