intellij hidpi profiles

Intellij-hidpi-perfil

Plug -in simples para a idéia Intellij, que fornece possibilidade de criar vários perfis de interface do usuário para diferentes resoluções de tela e alternar facilmente entre eles. Especialmente este plug -in será útil para usuários do Linux com várias exibições de diferentes resoluções.

Como usar

Para começar a usar este plugin:

1. Crie perfis

Configure todos os tamanhos das fontes no seu IDE. Suportes para plug -in:
1. Tamanho e tipo de fonte do sistema padrão;
2. Tamanho e tipo da fonte do editor;
3. Tamanho e tipo de fonte do console.

Em seguida, vá para Configurações> Aparência e Comportamento> Perfis HDPI> Adicionar perfil atual e salve seu perfil.

2. Alterne entre os perfis

Alternar entre os perfis no menu principal "perfis Hidpi"

Questões conhecidas

1. A fonte do terminal é suportada, mas não é ajustada automaticamente quando você alterna entre os perfis. De acordo com este thread para ajustar a fonte da janela do terminal, você deve fechar a janela do terminal e abrir novamente (ela será aberta com as configurações de fonte do perfil ativo)
2. Fonte para Gittoolbox não é ajustável