intellij hidpi profiles

Intellij-Hidpi-Profiles

Plugin simple pour IntelliJ Idea qui offre la possibilité de créer plusieurs profils d'interface utilisateur pour différentes résolutions d'écran et de basculer facilement entre eux. En particulier, ce plugin sera utile pour les utilisateurs de Linux avec plusieurs affichages de différentes résolutions.

Comment utiliser

Pour commencer à utiliser ce plugin:

1. Créer des profils

Configurez toutes les tailles de polices dans votre IDE. Prise en charge du plugin:
1. Taille et type de police du système par défaut;
2. Taille et type de police de l'éditeur;
3. Taille et type de police de la console.

Ensuite, accédez à Paramètres> Apparence et comportement> Profils HDPI> Ajoutez un profil actuel et enregistrez votre profil.

2. Communiquez entre les profils

Basculer entre les profils dans le menu principal "Profils HIDPI"

Problèmes connus

1. La police du terminal est prise en charge mais n'est pas ajustée automatiquement lorsque vous basculez entre les profils. Selon ce thread afin de régler la police pour la fenêtre du terminal, vous devez fermer la fenêtre du terminal, puis ouvrir à nouveau (il sera ouvert avec les paramètres de police à partir du profil actif)
2. La police de Gittoolbox n'est pas réglable