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

A better editor for the flag fields #75

Open
krzys-h opened this issue Nov 15, 2018 · 2 comments · May be fixed by #1993
Open

A better editor for the flag fields #75

krzys-h opened this issue Nov 15, 2018 · 2 comments · May be fixed by #1993
Labels
editors Issues with the GUI enhancement New feature or request good first issue Good for newcomers

Comments

@krzys-h
Copy link
Member

krzys-h commented Nov 15, 2018

ce57221#commitcomment-31303588

There seems to be a lot more flags in Options now, a better editor may be a good idea

@krzys-h krzys-h added enhancement New feature or request editors Issues with the GUI labels Nov 15, 2018
@krzys-h krzys-h added the good first issue Good for newcomers label Nov 29, 2018
@Kneesnap
Copy link
Collaborator

How might a better editor work? How would it get implemented?

@VladiStep
Copy link
Member

(unmentioned it, because I didn't read it carefully)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
editors Issues with the GUI enhancement New feature or request good first issue Good for newcomers
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants