On 28 June 2015 at 17:47, Joachim Backes <joachim.backes(a)rhrk.uni-kl.de> 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 terminals. Double
clicking in the gnome-terminal on "sy-2015-06-13_08:21:23-4.0.5-300-F22"
selects only "sy-2015-06-13_08" (stopping at first ":"), but in
mate-terminal the same double click will select the complete text
"sy-2015-06-13_08:21:23-4.0.5-300-F22".
I don't understand the different strategies.
Open mate-terminal -> Edit -> Profile Preferences -> General, now look
at the "Select-by-word characters" setting, you'll most likely find
":" included there.
gnome-terminal had an option like that in F21 but it was removed in
recent releases of gnome-terminal i.e. the version in F22. You can
make the behaviour similar to mate-terminal by using this workaround:
https://bugzilla.gnome.org/show_bug.cgi?id=730632#c33
(Have a look at the whole bug report for more details/info).
--
Ahmad Samir