Message254556
| Author |
terry.reedy |
| Recipients |
kbk, markroseman, python-dev, roger.serwy, terry.reedy |
| Date |
2015年11月12日.20:38:31 |
| SpamBayes Score |
-1.0 |
| Marked as misclassified |
Yes |
| Message-id |
<1447360712.06.0.221032088825.issue25313@psf.upfronthosting.co.za> |
| In-reply-to |
| Content |
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. |
|
History
|
|---|
| 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 |
|