Définissez la taille de la police du code dans PyCharm : 1. Ouvrez la fenêtre des paramètres ; 2. Accédez à "Police" dans "Éditeur" ; 3. Sélectionnez la police dans la liste déroulante ; 4. Entrez la taille de la police dans le champ " ; Zone de saisie "Taille" ; 5. Cliquez sur "Appliquer" pour appliquer les modifications.
Comment définir la taille de la police du code dans PyCharm
Ouvrez la fenêtre des paramètres
Éditeur > Police
Sélectionnez la police souhaitée dans la liste déroulante "Police".
En plus de la taille, vous pouvez également personnaliser d'autres paramètres de police, tels que :
Cliquez sur le bouton "Appliquer" pour appliquer les modifications.
Vous pouvez également utiliser le raccourci Ctrl/Cmd + Pavé numérique Plus/Moins (sous Windows/Linux) ou Cmd + =/- (sous macOS) pour ajuster rapidement la taille de la police.
Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!