Message 223713 - Python tracker

➜

This issue tracker has been migrated to GitHub , and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

In-reply-to
Author	Lita.Cho
Recipients	Lita.Cho, jesstess, ned.deily, terry.reedy
Date	2014年07月23日.01:35:04
SpamBayes Score	-1.0
Marked as misclassified	Yes
Message-id	<1406079305.82.0.663628288123.issue21933@psf.upfronthosting.co.za>

Content
I've added it so that if the OS is Mac, it will use Command-minus and Command-=. If it is on Windows, it uses Ctrl-minus and Ctrl-= (I wasn't sure if Windows uses shift sa well, but I don't think it does.) When I tried the "pinch" movement in Mac, the MouseWheel event didn't trigger at all. It is only when I did the scroll (for me two fingers moving downward or upward) movement is when that event triggered. I currently have it so that when Control+MouseWheel makes the font size move. Let me know what you think. I can also try adding a widget so that the user can change the font through the GUI.

Content

I've added it so that if the OS is Mac, it will use Command-minus and Command-=. If it is on Windows, it uses Ctrl-minus and Ctrl-= (I wasn't sure if Windows uses shift sa well, but I don't think it does.)
When I tried the "pinch" movement in Mac, the MouseWheel event didn't trigger at all. It is only when I did the scroll (for me two fingers moving downward or upward) movement is when that event triggered. 
I currently have it so that when Control+MouseWheel makes the font size move. Let me know what you think.
I can also try adding a widget so that the user can change the font through the GUI.

History
Date	User	Action	Args
2014年07月23日 01:35:05	Lita.Cho	set	recipients: + Lita.Cho, terry.reedy, ned.deily, jesstess
2014年07月23日 01:35:05	Lita.Cho	set	messageid: <1406079305.82.0.663628288123.issue21933@psf.upfronthosting.co.za>
2014年07月23日 01:35:05	Lita.Cho	link	issue21933 messages
2014年07月23日 01:35:05	Lita.Cho	create

homepage