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

Global configuration of settings #4

Open
mmmichl opened this issue Mar 28, 2017 · 1 comment
Open

Global configuration of settings #4

mmmichl opened this issue Mar 28, 2017 · 1 comment
Labels
enhancement

Comments

@mmmichl
Copy link

mmmichl commented Mar 28, 2017

Currently you can only change the settings for the currently selected element. It would be nice to change the settings of alle elements globally at once. So I don't have to walk through my 3, 40, 100?! elements and dis-/enable the settings.
@szmeti
Copy link
Contributor

szmeti commented Mar 28, 2017

Nice idea. We have also been thinking about this. The short term plan is to create a CLI for the tool that can read a configuration file. In that config file you will be able to globally set your preferences. A similar "user" preferences will also be added to the web based generator.

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

No branches or pull requests
2 participants
@mmmichl @szmeti