[Bug 1388083] Re: Cannot paste into gnome-terminal

2017-12-16 Thread Amr Ibrahim
** Changed in: diodon (Ubuntu) Status: Confirmed => Fix Released -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1388083 Title: Cannot paste into gnome-terminal To manage notifications about t

[Bug 1388083] Re: Cannot paste into gnome-terminal

2015-10-13 Thread Oliver Sauder
** Changed in: diodon Status: Fix Committed => Fix Released -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1388083 Title: Cannot paste into gnome-terminal To manage notifications about this b

[Bug 1388083] Re: Cannot paste into gnome-terminal

2015-06-30 Thread Oliver Sauder
A new gsettings has been introduced at net.launchpad.Diodon.clipboard .app-paste-keybindings which is a string array mapping application to keybindings for paste action. For now only gnome-terminal is added but can be adjusted by advanced users if there is any other application which uses a differ

[Bug 1388083] Re: Cannot paste into gnome-terminal

2015-06-30 Thread Launchpad Bug Tracker
** Branch linked: lp:diodon -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1388083 Title: Cannot paste into gnome-terminal To manage notifications about this bug go to: https://bugs.launchpad.net/di

[Bug 1388083] Re: Cannot paste into gnome-terminal

2015-04-04 Thread Oliver Sauder
** Changed in: diodon Milestone: None => 1.4.0 -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1388083 Title: Cannot paste into gnome-terminal To manage notifications about this bug go to: https:

[Bug 1388083] Re: Cannot paste into gnome-terminal

2014-10-31 Thread Łukasz Nowak
Indeed, I replied too fast. This workaround helps. Thank you. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1388083 Title: Cannot paste into gnome-terminal To manage notifications about this bug go

[Bug 1388083] Re: Cannot paste into gnome-terminal

2014-10-31 Thread Oliver Sauder
In previous Diodon versions the option Use primary selection was enabled per default. This has changed and it is not the default anymore. See reasoning why this has changed here http://esite.ch/2014/03/22 /introducing-new-default-settings-for-diodon/ As said if you want to have it work again simpl

[Bug 1388083] Re: Cannot paste into gnome-terminal

2014-10-31 Thread Łukasz Nowak
So something changed, as it was working correctly in Ubuntu 12.04 -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1388083 Title: Cannot paste into gnome-terminal To manage notifications about this bu

[Bug 1388083] Re: Cannot paste into gnome-terminal

2014-10-31 Thread Oliver Sauder
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 i