traff/jediterm — pull request #46 by Plonk42 (2013-08-26 12:47:40+00:00)
Title: Copy/Paste shortcut improved

- Fix shortcut handling when used both for action and by the terminal (keystroke sent twice to the term)
- Make Ctrl+Shift+C and Ctrl+Shift+V default shortcuts for copy/paste