Comment 1 for bug 1388083

Yeah gnome-terminal doesn't support Ctrl+V which Diodon simulates to press when pasting... in gnome-terminal only Ctrl+Shift+V works...

It is hard to actually fix this but maybe a solution would be to have a list of application which do not support Ctrl+V to execute a different key

A workaround is when you enable "Use primary selection" pasting should work as it will paste with Ctrl+Insert from the primary selection which also works in the terminal.