Message248225
I read #7949 as saying the text widget picks up the background color from the system-wide GTk theme.
This one is saying that the background color of the text widget should be changeable as part of an IDLE highlighting theme. |
|
Date |
User |
Action |
Args |
2015-08-07 20:14:25 | markroseman | set | recipients:
+ markroseman, terry.reedy, kbk, roger.serwy |
2015-08-07 20:14:25 | markroseman | set | messageid: <1438978465.66.0.301734437746.issue24820@psf.upfronthosting.co.za> |
2015-08-07 20:14:25 | markroseman | link | issue24820 messages |
2015-08-07 20:14:25 | markroseman | create | |
|