La taille de la police dans Qt Creator est trop petite
J'essaie d'installer Java 9 sur Ubuntu 18.04 car j'ai entendu dire que cela pourrait fonctionner comme une solution pour la très petite police de Qt Creator.
Cependant, lorsque je tape dans le terminal:
Sudo apt install openjdk-9-jdk
Je reçois l'erreur ci-dessous:
Unable to locate package openjdk-9-jdk
openjdk-9-jdk a été remplacé par openjdk-11-jdk dans Ubuntu 18.04. Pour l'installer ouvrez le terminal et tapez:
Sudo apt update
Sudo apt upgrade
Sudo apt install openjdk-11-jdk
Je ne pense pas que cela résoudra le problème de la taille de la police car Qt Creator n'a pas de version Java en tant que dépendance.
Mes polices dans Qt Creator ont l'air OK avec les préférences suivantes.
Ouvrez Qt Creator.
Sélectionnez Outils -> Options .
Dans le volet gauche de la fenêtre Options , sélectionnez l'éditeur de texte , comme indiqué dans la capture d'écran ci-dessous.
Sélectionnez l'onglet Polices et couleurs .
Sous l'en-tête Police après l'endroit où il est indiqué Famille: , sélectionnez Code source Pro dans le menu déroulant, comme indiqué par le curseur de la souris dans la capture d'écran ci-dessous. Après avoir indiqué Taille: , sélectionnez 10 dans le menu déroulant. La taille de police 10 est la meilleure taille de police dans mon Qt Creator. Si la taille de la police est toujours trop petite après avoir suivi les étapes de l'étape 6, sélectionnez 11 ou 12 au lieu de 10 dans le menu déroulant.
Cliquez sur le bouton Appliquer , puis sur le bouton OK pour enregistrer les modifications.
