Clicar duas vezes em uma palavra no terminal gnome seleciona a palavra inteira. Infelizmente, essa seleção não inclui dois pontos, de modo que os URLs não sejam completamente selecionados, por exemplo, com http://foo.example.org/ só //foo.example.org/ é selecionado. Como configuro esse...