Fixed zoom related issues, including division by zero and added a few hotkeys.
Merge remote-tracking branch 'origin/master'
Added settings menu with ability to change font. Doesn't currently save changes.
Merge branch 'master' of https://github.com/AmberProject/Amber-IDE
Merge branch 'master' of https://github.com/AmberProject/Amber-IDE