Tyler Grinn writes: > 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 There was a typo.