[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 un peu petit (Ben oui nos yeux ne sont pas de dernières jeunesses, surtout quand on bosse toute la journée sur un écran). Nous allons donc voir comment modifier cette police (et surtout la taille […]

LIRE PLUSLIRE PLUS

[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 ne possède pas d’interface graphique pour la gérer. Pas d’interface graphique, implique du coup des problèmes le jour ou vous devez modifier le mot de passe ou le compte que vous utilisez pour vous connecter […]

LIRE PLUSLIRE PLUS