Inscrivez-vous gratuitement
pour pouvoir participer, suivre les réponses en temps réel, voter pour les messages, poser vos propres questions et recevoir la newsletter
Augmenter la taille de la police
Voici une question qui peut sembler assez idiote, mais je voudrai augmenter la taille de la police dans eclipse (ganymède) et pas moyen de trouver l'option qui va bien.
Pour info, ce serait principalement pour éditer des fichiers html/php/javascript/css/
Merci d'avance ;-)
Rakken
Oneira, un monde imaginaire d'Heroic Fantasy.
Parce que la présomption d'innocence est un des fondements de notre pays et qu'elle doit le rester, dans tous les domaines : http://www.laquadrature.net/
Bonjour,
Dans les préférences de Eclipse, tu devrais trouver ton bonheur en tapant 'font' dans la zone de recherche.
Responsable FAQ Eclipse | Maintiens et développe un des logiciels destinés aux rédacteurs sur developpez.com
Gardons toujours à l'esprit que le forum constitue une base documentaire, dont l'utilité et la qualité dépendent du soin apporté à nos questions et nos réponses. Soyons polis, précis (dans le titre et dans le corps des questions), concis, constructifs et faisons de notre mieux pour respecter la langue française et sa grammaire. Merci pour nous (les modérateurs) mais aussi et surtout, merci pour vous.
Problème solutionné => je vais au bas de la page et je clique sur le bouton(qui suite à mise à jour du forum, a légèrement changé d'aspect).
Et en plus, je suis passé dessus. Mais j'ai cliqué directement sur php et la je n'avais rien à éditer...
Oki merci, c'est résolu ;-))
Rakken
Oneira, un monde imaginaire d'Heroic Fantasy.
Parce que la présomption d'innocence est un des fondements de notre pays et qu'elle doit le rester, dans tous les domaines : http://www.laquadrature.net/
Bonsoir,
J'ai le même problème. Je suis dans le bon menu mais Php est vide, je ne vois pas comment faire pour augmenter la police..
Vous avez un bloqueur de publicités installé.
Le Club Developpez.com n'affiche que des publicités IT, discrètes et non intrusives.
Afin que nous puissions continuer à vous fournir gratuitement du contenu de qualité, merci de nous soutenir en désactivant votre bloqueur de publicités sur Developpez.com.
Répondre avec citation
Partager