communauté Apprendre Bibliothèque d'outils Loisirs
recherche
Français
Maison > développement back-end > Problème PHP > Comment changer la taille de la police dans Eclipse php

Comment changer la taille de la police dans Eclipse php

藏色散人
Libérer： 2023-03-09 15:26:01
original
1902 Les gens l'ont consulté

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.

Comment changer la taille de la police dans Eclipse php

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!

Étiquettes associées：
eclipse php
source：php.cn
Article précédent：Comment utiliser la fonction php max Article suivant：Comment changer le mot de passe dans ldap php
Déclaration de ce site Web
Le contenu de cet article est volontairement contribué par les internautes et les droits d'auteur appartiennent à l'auteur original. Ce site n'assume aucune responsabilité légale correspondante. Si vous trouvez un contenu suspecté de plagiat ou de contrefaçon, veuillez contacter admin@php.cn
Derniers articles par auteur
Derniers numéros
function_exists() ne peut pas déterminer la fonction personnalisée Function test () {return true;} if (function_exists ('test')) {echo "le test est une ...
Depuis 2024-04-29 11:01:01
0
3
2289
Comment afficher la version mobile de Google Chrome Bonjour professeur, comment puis-je changer Google Chrome en version mobile ?
Depuis 2024-04-23 00:22:19
0
11
2429
La fenêtre enfant exploite la fenêtre parent, mais la sortie ne répond pas. Les deux premières phrases sont exécutables, mais la dernière ne peut pas être implémentée...
Depuis 2024-04-19 15:37:47
0
1
2041
Il n'y a aucune sortie dans la fenêtre parent document.onclick = function(){ window.opener.document.write('Je suis la sortie de la fenêt...
Depuis 2024-04-18 23:52:34
0
1
1923
Où sont les didacticiels sur la cartographie mentale CSS ? Didacticiel
Depuis 2024-04-16 10:10:18
0
0
1998
Rubriques connexes
Plus>
Recommandations populaires
Tutoriels populaires
Plus>
Tutoriels associés
Recommandations populaires
Derniers cours
Derniers téléchargements
Plus>
effets Web
Code source du site Web
Matériel du site Web
Modèle frontal