As cores dos terminais incorporados do Gedit correspondem ao tema global? (16,04)

Question

O terminal embutido do Gedit na minha sessão 16.04 não está seguindo o padrão do Ubuntu, e não parece ser configurável de forma alguma.

Mais precisamente, segue a cor username @ hostname do tema do Ubuntu (algum tipo de verde claro), mas o fundo é branco (deve ser 'berinjela') e o texto é preto (deve ser branco).

Esse problema foi abordado para versões anteriores do Ubuntu, mas em 16.04 as coisas parecem ter mudado:

• não há entrada do Gedit em gconf-editor
• editar diretamente as cores em dconf-editor não tem efeito algum
• limpar a paleta do plugin é proibido, só é possível inserir um [] vazio

Portanto, isso NÃO é uma duplicata: nenhuma das soluções anteriores funciona e parece haver algo específico para 16.04 em relação a esse problema. Minhas impressões são de que há um problema com a maneira como gconf configurações são manipuladas, talvez um erro no script de terminalterminal.py (localizado em /usr/lib/x86_64-linux-gnu/gedit/plugins ), mas isso excede minha competência, portanto, qualquer ajuda é bem-vinda.

    

Answer 1

De esta resposta do usuário muru, eu encontrei uma solução que funcionou para mim. Primeiro, encontre o script python terminal.py localizado em /usr/lib/x86_64-linux-gnu/gedit/plugins/ . Ou você pode digitar o comando locate terminal.py no terminal do Ubuntu. Neste script python, você pode encontrar o seguinte bloco de código:

def get_profile_settings(self):
    profiles = self.settings_try_new("org.gnome.Terminal.ProfilesList")

    if not profiles:
        default_path = "/org/gnome/terminal/legacy/profiles:/:" + profiles.get_string("default") + "/"
        settings = Gio.Settings.new_with_path("org.gnome.Terminal.Legacy.Profile",
                                              default_path)
    else:
        settings = Gio.Settings.new("org.gnome.gedit.plugins.terminal")

    return settings

Agora mude para:

def get_profile_settings(self):
    profiles = self.settings_try_new("org.gnome.Terminal.ProfilesList")

#    if not profiles:
#        default_path = "/org/gnome/terminal/legacy/profiles:/:" + profiles.get_string("default") + "/"
#        settings = Gio.Settings.new_with_path("org.gnome.Terminal.Legacy.Profile",
#                                              default_path)
#    else:

    settings = Gio.Settings.new("org.gnome.gedit.plugins.terminal")

    return settings

Agora as configurações inseridas por meio do dconf-editor devem funcionar. Esteja ciente de que você pode ter que alterá-lo novamente no futuro, se o pacote gedit-plugins for atualizado.