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

Improve & use the new FlagsEditor for all flags #121

Merged
merged 3 commits into from
May 12, 2024

Conversation

ahmetsait
Copy link
Collaborator

Turns out Scintilla had a custom editor for flags called FlagsEnumConverter before. Unaware of the first one, I wrote a new one called FlagsEditor for ChangeHistory enum. I may be biased but it turned out pretty good so I think it would be cool to use it for all flags.

FlagsEditor showcase

@ahmetsait ahmetsait force-pushed the flags-editor branch 3 times, most recently from d2a72dd to 30d142e Compare May 11, 2024 19:32
Turns out Scintilla had a custom editor for flags called `FlagsEnumConverter` before. Unaware of the first one, I wrote a new one called `FlagsEditor` for `ChangeHistory` enum. I may be biased but it turned out pretty good so I think it would be cool to use it for all flags.
@desjarlais desjarlais merged commit 6141027 into desjarlais:master May 12, 2024
2 checks passed
@ahmetsait ahmetsait deleted the flags-editor branch May 12, 2024 07:21
@ahmetsait ahmetsait restored the flags-editor branch May 12, 2024 08:15
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

Successfully merging this pull request may close these issues.

2 participants