Comment changer la taille de la police dans Eclipse php

Comment changer la taille de la police dans Eclipsephp : ouvrez d'abord "Fenêtre->Préférences->Général" puis sélectionnez "Apparence->Couleur et police" puis recherchez "Basique->Police du texte" ; " ; Enfin, cliquez sur "Modifier" pour définir la taille de la police.

L'environnement d'exploitation de cet article : système Windows7, Eclipsephp version 4, ordinateur DELL G3

Définir la taille de la police dans EclipsePHP Studio :

• La version chinoise est ici. Fenêtre==>Préférences==>Général==>Apparence==>Couleurs et polices==>Basique ==>Police du texte==>Changer, vous pouvez choisir la police et la taille souhaitées.

• La version anglaise est ici. Fenêtre->Préférences->Général->Apparence->Couleurs et polices, sélectionnez De base->Police du texte, cliquez sur Modifier à droite, sélectionnez la taille de police souhaitée

Apprentissage recommandé : "Tutoriel vidéo PHP"

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!