Message254556
The patch applied leaves 'name = IDLE New' alone so older IDLEs can use that instead of IDLE Classic as an alternative to IDLE Dark. I will open an issue to revise IDLE New slightly. I also added type='bool' when getting 'default' (the lack thereof lead to IDLE Dark being returned as a custom theme.
After working with this, I like the idea of present users with a single list of themes to select, instead of two buttons and two drop-down lists.
I tested fairly thoroughly, starting with no user [Theme] section. When I added a print to debug idleConf.CurrentTheme, it was called 13 times on startup, with only Shell opened. |
|
| Date |
User |
Action |
Args |
| 2015-11-12 20:38:32 | terry.reedy | set | recipients:
+ terry.reedy, kbk, roger.serwy, markroseman, python-dev |
| 2015-11-12 20:38:32 | terry.reedy | set | messageid: <[email protected]> |
| 2015-11-12 20:38:32 | terry.reedy | link | issue25313 messages |
| 2015-11-12 20:38:31 | terry.reedy | create | |
|