Removed unused menu items fold, unfold, keyboard shortcuts, manual, help.
Merge branch 'master' of https://github.com/deverl-ide/deverl