After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 738815 - Double clicking words selects too much
Double clicking words selects too much
Status: RESOLVED DUPLICATE of bug 730632
Product: gnome-terminal
Classification: Core
Component: Profiles
3.14.x
Other Linux
: Normal normal
: ---
Assigned To: GNOME Terminal Maintainers
GNOME Terminal Maintainers
Depends on:
Blocks:
 
 
Reported: 2014-10-19 14:43 UTC by gnomebugs
Modified: 2014-10-19 17:05 UTC
See Also:
GNOME target: ---
GNOME version: ---



Description gnomebugs 2014-10-19 14:43:23 UTC
When I double click a word in the terminal it selects more characters than I want.
There used to be a setting, but it got removed in Bug 727743 and replaced by an arbitrary, hard coded default.

My typical use case is programming and I got used to selecting identifiers with a double click. So for me the best setting was "a-zA-Z0-9_" or regex "\w". Other users may have different needs though.

I don't see any sane reason to deprive the users of the ability to configure this behaviour.

Sometimes I actually do want to include more than just word chars when I select something.

Maybe you could implement two levels of word-select. The first is reached by double-click and either selects "\w" or whatever the user configured. The second level is reached with a triple-click and selects more characters; either user-configurable or the current default. A quad-click would do what the triple-click does now, selecting lines.
Comment 1 Egmont Koblinger 2014-10-19 16:45:11 UTC
Please see bug 730632.
Comment 2 gnomebugs 2014-10-19 17:05:32 UTC
Thanks, did not see that one.

*** This bug has been marked as a duplicate of bug 730632 ***