Fix useless double-click selection in Gnome 3.16

fix-gnome-316-double-click-selection.md

New versions of Gnome have a broken behavior for double-click selections. Strings like URLs can'be be selected with double-click, as usual.

The correct behavior can be restored with:

$ dconf write  \
    /org/gnome/terminal/legacy/profiles:/:${PROFILE}/word-char-exceptions \
    '@ms ":-,.;/?%&#_=+@~·"'

See https://bugzilla.gnome.org/show_bug.cgi?id=730632#c33

The - character should prefix all other, because apparently, otherwise it is interpreted as range meta character. Analogously to regex character classes, e.g. as in [0-9] vs. [-09].

Btw, do you know the meaning of the @ms part?

@ms stands for maybe-string-gvariant-type, it seems.