Timeline
Parents and children of check-in [978c9ffe56]
2016-12-11
| ||
14:18 | Switch order of load_config() widget checks: on Windows the spinbutton may have a different parent check-in: daefcf55d1 user: mario tags: trunk | |
13:32 | safeguard absent config option check-in: 978c9ffe56 user: mario tags: trunk | |
13:31 | Undo __name__ shortcut, because it carries the package name as well check-in: 6946ba0cdd user: mario tags: trunk | |