1
Je veux obtenir le même effet que dans Stack Overflow question How to change the font size of the Eclipse editor tab's title, mais dans Eclipse v4.4 (Luna).Comment modifier la taille de la police du titre de l'éditeur Eclipse (dans Eclipse v4.4 (Luna))?
Il devrait en être de même, éditez le CSS –
Mais malheureusement, ce n'est pas le cas! la structure du fichier est différente! –
Pour les nouvelles eclipse Mars 4.5, vous trouverez un paramètre de police dédié pour ceci: Allez dans Préférences -> Général -> Apparence -> Couleurs et Polices -> Dossiers Vue et Éditeur -> Police du titre de pièce – StefanQ