Extraterm v0.4.0
Pre-release
Pre-release
- Fixed a couple of focus related problems.
- Added Ctrl+Enter and Ctrl+Shift+Enter shortcuts to selection mode to type the selection into the shell, and to execute the selection, respectively.
- Removed some unneeded files from the release zips.