By default, mouse-wheel-(global-)text-scale increases or decreases the text scale for every scroll event. I think it's a good idea to have an option to buffer that (is that the right word?) so you can more easily choose the text scale you want. I kept the default behavior intact. Best, Tyler