| FazBrowse GitHub Viewer | Trending | | Home |
| Tools: [Download Repo ZIP] [Original HTTPS Page] |
| SCRIPTSTYLE = enum.auto() | ||
| SCRIPTSCRIPTSTYLE = enum.auto() | ||
|
|
There was a problem hiding this comment.
Where are these two used?
Sorry, something went wrong.
There was a problem hiding this comment.
Hmm, apparently nowhere. My guess is they were defined for compatibility with TeX, but never implemented. Looking at commit messages of #8151, I think that was the author's goal but maybe never got back to it.
Sorry, something went wrong.
|
So we are swapping a weird dict thing for a weird enum thing? 😉 Was there something that motivated this? |
Sorry, something went wrong.
|
Modernization, but then I didn't find any other things to convert to enum, so I figured I'd open the PR before it became unmergeable (which is already did once). But this does mean no typos, because it can be linted, and works with typing, if we ever get around to that. |
Sorry, something went wrong.
|
I guess (DISPLAYSTYLE, ...) = range(4) (in the Enum definition, not as globals) may be less magical for @jklymak? :) (I slightly prefer it too, it's actually shorter to type...) |
Sorry, something went wrong.
|
I mean, I dont' really mind, I just don't see why this is particularly better for something that isn't broken |
Sorry, something went wrong.
| Back | FazBrowse Home | New Git URL |
PR Summary
Instead of a weird dict thing.
PR Checklist