Double-cliquez sur un mot dans le terminal gnome pour sélectionner le mot entier. Malheureusement, cette sélection n'inclut pas les deux-points de sorte que les URL ne sont pas complètement sélectionnées, par exemple avec http://foo.example.org/ seulement //foo.example.org/ est sélectionné. Comment...