Double click in gnome-terminal and mate-terminal selects different text parts

[Dario Lesca]

Il giorno dom, 28/06/2015 alle 18.34 +0200, Ahmad Samir ha scritto:
> gnome-terminal had an option like that in F21 but it was removed in
> recent releases

For my curiosity, could someone explain me why this useful feature was
removed a few versions ago?

And now, which was decided to restore it, because has not been also
restored the option in the properties of the profile?

Many thanks

-- 
Dario Lesca
(inviato dal mio Linux Fedora 22 con Gnome 3.16)