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:24roger.serwysetrecipients: + roger.serwy, rhettinger, terry.reedy, giampaolo.rodola, Todd.Rovito, edmond.burnett, alex.rodas, Abhishek.Kumar
2013-05-14 03:38:24roger.serwysetmessageid: <1368502704.04.0.510233029308.issue17642@psf.upfronthosting.co.za>
2013-05-14 03:38:24roger.serwylinkissue17642 messages
2013-05-14 03:38:23roger.serwycreate