Lita Cho added the comment: 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. ---------- Added file: http://bugs.python.org/file36040/window_pane_font_size_v2.patch _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue21933> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
