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
