![]() This patches takes the options work to it's logical conclusion: A single flat dictionary of OptionKey: UserOptions. This allows us to simplify a large number of cases, as we don't need to check if an option is in this dict or that one (or any of 5 or 6, actually). |
||
---|---|---|
.. | ||
__init__.py | ||
interpreter.py | ||
introspection.py | ||
postprocess.py | ||
printer.py | ||
visitor.py |