17 octobre 2014
_année_2014 _mois_oct. configuration couleur editor programming thème
EditorConfig
Excellente idée ! Il manque pour l’instant le plugin Eclipse, mais ça pourrait se coder facilement, je pense … via http://onethingwell.org/post/100237244737