Gnome Terminal Double Click Selection?

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


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:
So what to do?

NB: I just read on
	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...


Jacques Beigbeder                    |  Jacques.Beigbeder at
Service de Prestations Informatiques |
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