Gnome Terminal Double Click Selection?

Jacques Beigbeder Jacques.Beigbeder at ens.fr
Tue Jul 19 12:39:20 UTC 2016


Hello,

I try to specify characters that end the selection on double click
with gnome-terminal. On the old xterm, it was:
	XTerm*charClass:	3:48,35-37:48,43:48,45-47:48,64:48,92:48,126:48

I found:
	http://blog.programster.org/ubuntu-16-04-gnome-terminal-double-click-selection/
So what to do?

NB: I just read on http://unix.stackexchange.com/questions/290544/double-click-selection-in-gnome-terminal:
	History: In classic Gnome Terminal versions, the profile preference dialog
	contained a field for configuring those additional characters. With Gnome 3,
	UI experts have removed this option from the dialog because they thought it
	was too complicated to use, though. 
Interesting! If something is too complicated, remove. Expert are not people to consider...

Thanks,

--
Jacques Beigbeder                    |  Jacques.Beigbeder at ens.fr
Service de Prestations Informatiques |     http://www.spi.ens.fr
Ecole normale supérieure             |
45 rue d'Ulm                         |Tel : (+33 1)1 44 32 37 96
F75230 Paris cedex 05                |Fax : (+33 1)1 44 32 20 75






More information about the ubuntu-users mailing list