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.

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

Hierarchy of settings #50

Open
holtsetio opened this issue Sep 12, 2018 · 1 comment
Open

Hierarchy of settings #50

holtsetio opened this issue Sep 12, 2018 · 1 comment

Comments

@holtsetio
Copy link
Collaborator

There are many ways to specify settings for an element, for example by the command line, stylesheets, global settings withing the gfa file, element-specific settings within the gfa file, etc.
There needs to be a well-defined hierarchy which settings overrule which ones.

@ggonnella
Copy link
Owner

I would use this hierarchy:
(1) global setting in GFA
(2) stylesheet global settings
(3) command line global settings
(4) GUI global settings
(5) GFA single element settings
(6) GUI single element settings

Higher number setting overrides lower number

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants