Message248709
The side-by-side part I obviously like, but I think we need to keep 'Base Editor Font' since this and only this is affected by the selection. I think there should be an option to increase the 'other' font used for everything else. |
|
Date |
User |
Action |
Args |
2015-08-17 02:48:10 | terry.reedy | set | recipients:
+ terry.reedy, rhettinger, markroseman |
2015-08-17 02:48:10 | terry.reedy | set | messageid: <1439779690.51.0.38225439005.issue24776@psf.upfronthosting.co.za> |
2015-08-17 02:48:10 | terry.reedy | link | issue24776 messages |
2015-08-17 02:48:10 | terry.reedy | create | |
|