Mike brought back a new feature for the text editor from the conference: font size changing using the scroll wheel on a modern mouse. In the wake of this new feature, work is commencing on the Buffer Options / General tab:

To see the mouse wheel zooming in action (press the Ctrl key and scroll the mouse wheel to see for yourself), download the video ctrlmousewheelinaction.zip (81.06 KB)