Reset does not work properly on IntelliJ IDEA Ultimate
Le bouton reset a un comportement étrange. Il remet les fichiers dans l'état où ils étaient au départ. Cela ressemble au comportement attendu. Mais il ne semble pas tenir compte des éventuels changements qui auraient eu lieu sur Caséine entre temps.
Voici une vidéo qui montre ce fonctionnement bizarre : https://e-diffusion.uha.fr/video/5222-reset-does-not-work-properly-on-ultimate/71bb6d5d5e179f335dc0def78c06ed57fc2a5e1d7413713ae86a9dc7ce4bb66f/
Cela semble venir du cache que gère JetBrain
Pour importer des changements qui auraient eu lieu depuis le premier reset, une solution est de vider ce cache :
- File->Invalidate Caches-> [Clear file system ...] -> Invalidate and Restart
Mais c'est long
Il n'y a peut être rien à changer du côté du plugin puisque finalement cette utilisation n'est pas fréquente et même peu recommandable. Cela voudrait dire qu'un enseignant a modifié son VPL pendant son utilisation par l'étudiant (qui peut tout de même s'étendre à plusieurs jours voire davantage). Néanmoins, cela peut arriver et cela m'arrive. Peut-être suffit-il simplement de prévenir (l'enseignant ?) que dans ce cas d'utilisation il faut vider le cache.