No meu terminal do ubuntu 17.10 Gnome, posso clicar duas vezes ou arrastar e soltar para selecionar o texto e ele realçará a seleção.
O problema é: ele perderá o destaque depois de fazer a seleção de texto em outro aplicativo, por exemplo, o Google Chrome. Isso dificulta a localização da minha última seleção em uma tela de terminal com muitos textos.
Alguém sabe como desativar esse recurso irritante?