shortcuts work when toolbar is hidden
save/restore workspace zoom levels
enable mouse-wheel zoom with Ctrl+mouse wheel
save/restore help pane state and size
Merge remote-tracking branch 'upstream/master'
Merge pull request #144 from jweather/master

GUI fixes: shortcuts, mouse wheel zoom, save/restore settings