AskOverflow.Dev

AskOverflow.Dev Logo AskOverflow.Dev Logo

AskOverflow.Dev Navigation

  • Início
  • system&network
  • Ubuntu
  • Unix
  • DBA
  • Computer
  • Coding
  • LangChain

Mobile menu

Close
  • Início
  • system&network
    • Recentes
    • Highest score
    • tags
  • Ubuntu
    • Recentes
    • Highest score
    • tags
  • Unix
    • Recentes
    • tags
  • DBA
    • Recentes
    • tags
  • Computer
    • Recentes
    • tags
  • Coding
    • Recentes
    • tags
Início / ubuntu / Perguntas / 1340729
Accepted
matigo
matigo
Asked: 2021-05-26 23:34:39 +0800 CST2021-05-26 23:34:39 +0800 CST 2021-05-26 23:34:39 +0800 CST

Como posso alterar os valores de fonte do sistema para aplicativos específicos?

  • 772

Como o título pede, estou querendo saber se é possível alterar a compreensão de um aplicativo de quais fontes são usadas para os valores de Texto da Interface e Texto do Documento no Gnome.

Contexto:

Geralmente, uso o TablePlus ao trabalhar com bancos de dados SQL Server, PostgreSQL e MySQL. É um aplicativo de código fechado, o que significa que não tenho o luxo de acessar o código e alterar as fontes usadas no aplicativo.

Por ser um editor SQL, as fontes monoespaçadas são a única opção realista a ser usada. Um ldeve se parecer com um le não com um 1. Eu posso fazer com que o aplicativo use fontes monoespaçadas na interface se eu alterar os valores de Interface Text e Document Text no Gnome Tweaks, mas não quero fazer tudo no Ubuntu monoespaçado, pois isso é um exagero (além disso, eu gosto da fonte Ubuntu) .

À esquerda está o que tenho, e à direita está o que quero ver (somente no editor e nos espaços de resultados, mas uma batalha por vez):

Tabela mais menos as preferências

Portanto, se o aplicativo estiver lendo os valores Texto da Interface e Texto do Documento nas configurações da interface do Gnome, gostaria que o aplicativo usasse uma fonte de minha escolha. Há um problema pendente solicitando a capacidade de alterar as configurações de fonte no aplicativo, mas ele não foi implementado.

gnome
  • 1 1 respostas
  • 97 Views

1 respostas

  • Voted
  1. Best Answer
    muru
    2021-05-27T00:39:48+08:002021-05-27T00:39:48+08:00

    Uma solução possível é fazê-lo procurar a configuração em um local diferente do local usual.

    Com uma ferramenta moderna razoavelmente bem comportada, a configuração deve estar em $XDG_CONFIG_HOME(o padrão é $HOME/.config), portanto, definir XDG_CONFIG_HOMEpara algum outro diretório e manter uma cópia da configuração desejada deve funcionar (isso deve ser verdade para o próprio GNOME Tweaks). No entanto, nem tudo suporta a especificação XDG ainda e, especialmente no caso de aplicativos proprietários, talvez seja necessário ser mais direto e definido HOME. (Aplicativos particularmente ruins podem até tentar obter HOMEdo NSS e ignorar a HOMEvariável de ambiente.)

    A configuração GSettings/DConf é armazenada em $XDG_CONFIG_HOME/dconf( ~/.config/dconfpor padrão). Você pode alterar a fonte, copiar esse diretório em outro lugar e executar o aplicativo incorreto com XDG_CONFIG_HOME(ou HOME, se não for bem comportado) definido para apontar para lá.

    • 1

relate perguntas

Sidebar

Stats

  • Perguntas 205573
  • respostas 270741
  • best respostas 135370
  • utilizador 68524
  • Highest score
  • respostas
  • Marko Smith

    Existe um comando para listar todos os usuários? Também para adicionar, excluir, modificar usuários, no terminal?

    • 9 respostas
  • Marko Smith

    Como excluir um diretório não vazio no Terminal?

    • 4 respostas
  • Marko Smith

    Como descompactar um arquivo zip do Terminal?

    • 9 respostas
  • Marko Smith

    Como instalo um arquivo .deb por meio da linha de comando?

    • 11 respostas
  • Marko Smith

    Como instalo um arquivo .tar.gz (ou .tar.bz2)?

    • 14 respostas
  • Marko Smith

    Como listar todos os pacotes instalados

    • 24 respostas
  • Martin Hope
    Flimm Como posso usar o docker sem sudo? 2014-06-07 00:17:43 +0800 CST
  • Martin Hope
    led-Zepp Como faço para salvar a saída do terminal em um arquivo? 2014-02-15 11:49:07 +0800 CST
  • Martin Hope
    ubuntu-nerd Como descompactar um arquivo zip do Terminal? 2011-12-11 20:37:54 +0800 CST
  • Martin Hope
    TheXed Como instalo um arquivo .deb por meio da linha de comando? 2011-05-07 09:40:28 +0800 CST
  • Martin Hope
    Ivan Como listar todos os pacotes instalados 2010-12-17 18:08:49 +0800 CST
  • Martin Hope
    David Barry Como determino o tamanho total de um diretório (pasta) na linha de comando? 2010-08-06 10:20:23 +0800 CST
  • Martin Hope
    jfoucher "Os seguintes pacotes foram retidos:" Por que e como resolvo isso? 2010-08-01 13:59:22 +0800 CST
  • Martin Hope
    David Ashford Como os PPAs podem ser removidos? 2010-07-30 01:09:42 +0800 CST

Hot tag

10.10 10.04 gnome networking server command-line package-management software-recommendation sound xorg

Explore

  • Início
  • Perguntas
    • Recentes
    • Highest score
  • tag
  • help

Footer

AskOverflow.Dev

About Us

  • About Us
  • Contact Us

Legal Stuff

  • Privacy Policy

Language

  • Pt
  • Server
  • Unix

© 2023 AskOverflow.DEV All Rights Reserve