Pour le développeur, PhpStorm 2017 présente l'intérêt d'être éminemment configurable. Les possibilités offertes touchent à tous les aspects ou presque de cet IDE, tout particulièrement l'interface utilisateur (UI) qui peut être très finement ajustée.
Pour autant, la manière de s'y prendre a de quoi dérouter. A tout instant, il est possible de modifier un paramètre via pas moins de trois moyens :
- dans l'écran d'accueil, le bouton Configuration, puis Settings ;
- dans l'éditeur d'un projet, le menu File, puis Settings ;
- dans l'éditeur d'un projet, le menu File, puis Default Settings.
Et encore faut-il compter avec le fait que dans certains cas, un paramètre peut être modifié en spécifiant que la modification touche un "profil" ou un "schéma".
Le problème, c'est que PhpStorm n'offre pas de point d'entrée sur la configuration qui soit véritablement déterminé en fonction des besoins de l'utilisateur. Comment modifier un paramètre et répercuter cette modification sur un ensemble de projets ? Comment modifier un paramètre et que cela ne vaille que pour tous les projets à venir ? A l'utilisateur de deviner comment s'y prendre pour trouver les réponses à ces questions pourtant élémentaires.
Une exploration des possibilités offertes par PhpStorm 2017.3 permet toutefois de clarifier.
Click here to read this article in english.
Continuer la lecture de "Comment marche la configuration dans PhpStorm 2017"