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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

馃洜 Settings #2

Closed
NiclasvanEyk opened this issue Jul 7, 2020 · 1 comment
Closed

馃洜 Settings #2

NiclasvanEyk opened this issue Jul 7, 2020 · 1 comment
Labels
enhancement New feature or request

Comments

@NiclasvanEyk
Copy link
Owner

Some initial settings could be nice for people, that want to turn off the filtering based on the selection in the projects tab.

A scenario that comes to my mind would be if you organise your classes by domain instead of their type. In this case you may want to turn of the filtering, as it would do more harm than good.
@NiclasvanEyk NiclasvanEyk added the enhancement New feature or request label Jul 7, 2020
@NiclasvanEyk
Copy link
Owner Author

Not really needed atm

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@NiclasvanEyk