Currently terminal alternate Paste shortcut not working (Shift+Insert for example).
Shift+Insert
This patch fixes this.