fixed ALT shortcuts not working on Linux, and changed fold from SHIFT+F10 to CTRL+F10 to not clash with right-click emulation.