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

Allow people to hide tabs #4

Closed
Glodenox opened this issue Dec 2, 2015 · 0 comments
Closed

Allow people to hide tabs #4

Glodenox opened this issue Dec 2, 2015 · 0 comments
Assignees
@Glodenox
Milestone
1.0

Comments

@Glodenox
Copy link
Owner

Glodenox commented Dec 2, 2015

Some userscripts add a tab for configuration or information while this is not strictly necessary to use the userscript. We could easily allow people to hide certain tabs so they don't appear in the list.
@Glodenox Glodenox added this to the 1.0 milestone Jan 2, 2016
Glodenox added a commit that referenced this issue Jan 2, 2016
@Glodenox
Allow people to hide tabs #4
bfe4e11 
Override tab title contents #3 (icons only for now)
Make it possible to resize tabs #6
Other minor improvements
@Glodenox Glodenox self-assigned this Jan 2, 2016
@Glodenox Glodenox closed this as completed Jan 2, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Glodenox Glodenox

Labels
None yet
Projects
None yet
Milestone
1.0
Development

No branches or pull requests
1 participant
@Glodenox