(ignore=None)
| 26 | |
| 27 | |
| 28 | def make_settings(ignore=None): |
| 29 | settings = {} |
| 30 | ignore = ignore or () |
| 31 | for s in KNOWN_SETTINGS: |
| 32 | setting = s() |
| 33 | if setting.name in ignore: |
| 34 | continue |
| 35 | settings[setting.name] = setting.copy() |
| 36 | return settings |
| 37 | |
| 38 | |
| 39 | def auto_int(_, x): |