[Eclipse] Comment augmenter la taille de la police de l’éditeur?[Eclipse] Comment augmenter la taille de la police de l’éditeur?
Par défaut, la police de l’éditeur dans Eclipse est du Consolas 10. Ce qui pour certains d’entre nous peut être {...}
Étiquette : Eclipse
[Java] Comment modifier les identifiants de connexion dans l’extension Subclipse de ECLIPSE?[Java] Comment modifier les identifiants de connexion dans l’extension Subclipse de ECLIPSE?
Dans ECLIPSE, le plug-in Subclipse est un client pour SVN (un gestionnaire de version). Le problème, c’est que cette extension {...}
