O OP está perguntando sobre um problema no plugin do terminal incorporado do Gedit.
O único problema aqui é que o esquema de cores não é bom, ou seja, o branco sobre fundo cinza claro torna quase impossível trabalhar. Para alterar o esquema de cores, siga a próxima série de etapas:
-
Abra o editor dconf. Se não estiver instalado, instale-o através do seguinte comando:
sudo apt-get install dconf-tools
-
Uma vez instalado, execute-o usando o seguinte comando:
dconf-editor
-
Na janela do editor do dconf, vá para
org->gnome->gedit->plugins->terminal
- desmarque a opção use-theme-colors.
- limpe as configurações da paleta
- definir cor do primeiro plano: #FFFFFF
- definir cor de fundo: # 000000
-
Agora reinicie o programa gedit.
Observe que um esquema de cores de preto sobre o fundo claro agora está ativo.