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: <1447360712.06.0.221032088825.issue25313@psf.upfronthosting.co.za> |
2015-11-12 20:38:32 | terry.reedy | link | issue25313 messages |
2015-11-12 20:38:31 | terry.reedy | create | |
|