This looks perfect to me David. It would be even better if it triggered size_increment() and size_decrement() from the scroll event while CTRL is pressed, but that's worth another branch maybe :)
« Back to merge proposal
This looks perfect to me David. It would be even better if it triggered size_increment() and size_decrement() from the scroll event while CTRL is pressed, but that's worth another branch maybe :)