Is it possible to disable Ctrl + scroll wheel to change font size? I can't count how many times I've exploded my font size or made it tiny while duplicating  or searching. I've tried looking up a way to do this, but it's pretty hard/specific to google. Any ideas?

You would want to find and comment out the following in app.js

var tmp = editor.getOption("fontSize") + delta;
editor.setOption("fontSize",tmp);

I'll see about adding a checkbox for that later