I've changed the double-click selection characters in preferences (sorry about the non-original wording, I can't close the terminal right now to change locale) to the following list: -A-Za-z0-9,./?%&#:_=+@~ It seems that the GTK+3 porting has resulted in a regression that caused this override not to work. For example, when I click at an IP:port pair like the following: 11.22.33.44:12345 only the LHS or RHS of : is selected, not both.
This is fixable in gnome-terminal https://lists.fedoraproject.org/pipermail/users/2015-June/461975.html "word-char-exceptions" https://git.gnome.org/browse/vte/tree/src/vtegtk.cc#n1456 https://git.gnome.org/browse/gnome-terminal/tree/src/terminal-schemas.h#n70 https://git.gnome.org/browse/gnome-terminal/tree/src/org.gnome.Terminal.gschema.xml#n179 Probably something like that is necessary for xfce4-terminal https://git.xfce.org/apps/xfce4-terminal/tree/terminal/terminal-screen.c#n1170
Fixed by https://git.xfce.org/apps/xfce4-terminal/commit/?id=076a11a0d6e8645a022afb89bd8f3f87a2e93fbd poma thanks for help!