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

2015-06-28 Thread 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,

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

2015-06-28 Thread Ahmad Samir
On 28 June 2015 at 17:47, Joachim Backes wrote: > Hi all, > > I'm running f22 with MATE desktop and GNOME3 desktop. I'm seeing > different strategies selecting text in gnome-terminal and mate-terminal: > > Suppose there is a line containing the text > "sy-2015-06-13_08:21:23-4.0.5-300-F22" in both

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

2015-06-28 Thread Joachim Backes
Hi all, I'm running f22 with MATE desktop and GNOME3 desktop. I'm seeing different strategies selecting text in gnome-terminal and mate-terminal: Suppose there is a line containing the text "sy-2015-06-13_08:21:23-4.0.5-300-F22" in both terminals. Double clicking in the gnome-terminal on "sy-2015