When selecting text, a double-click selects a word, using punctuation (e.g. dots) as separators. As a result, double-clicking an IP address selects only part of it instead of the full address.would be nice if IP addresses were recognized as a single ...
