◐ Shell
clean mode source ↗

Message 226368 - Python tracker

Great. That works better on Windows too. Attached is an augmented patch to also move the other size bindings to text (I verified that 'bind_all' is needed), move the resize binding back to where it was, delete the now-empty binding function, and add a not to the docstring that the mousewheel only resizes when the mouse is over the text.  Please verify that this also works for non-windows.