Message189195
| Author | roger.serwy |
|---|---|
| Recipients | Abhishek.Kumar, Todd.Rovito, alex.rodas, edmond.burnett, giampaolo.rodola, rhettinger, roger.serwy, terry.reedy |
| Date | 2013-05-14.03:38:23 |
| SpamBayes Score | -1.0 |
| Marked as misclassified | Yes |
| Message-id | <1368502704.04.0.510233029308.issue17642@psf.upfronthosting.co.za> |
| In-reply-to |
| Content | |
|---|---|
@Abhishek: I'd rather not require extensions to have a new method for resetting font sizes. Instead, a virtual event can be bound to a callback by the extension if it needs to know about a font change. @Alejandro: It looks like there's a bug in ZoomFont.py where the cursor can go off screen which has propagated into these patches. That's my fault. I'll take a look at these points later this week. |
|
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2013-05-14 03:38:24 | roger.serwy | set | recipients: + roger.serwy, rhettinger, terry.reedy, giampaolo.rodola, Todd.Rovito, edmond.burnett, alex.rodas, Abhishek.Kumar |
| 2013-05-14 03:38:24 | roger.serwy | set | messageid: <1368502704.04.0.510233029308.issue17642@psf.upfronthosting.co.za> |
| 2013-05-14 03:38:24 | roger.serwy | link | issue17642 messages |
| 2013-05-14 03:38:23 | roger.serwy | create | |