Editor mouse wheel zoom

After enabling the ‘Editor mouse wheel zoom’ setting, you can hold down ctrl/cmd and use the mouse wheel to resize just the editor font.

Use the ‘Editor font zoom reset’ command to reset the font zoom.