Ouaip ça existe sous forme d'extension mais là c'est fourni avec. Et perso le nombre de fois que je peste face à moi-même pour me dire, "merde c'était le COPY d'avant" que je voulais" ben là je l'utilise depuis une semaine et c'est cool.
C'est même possible de partager le clipboard entre différents Windows 10 (mais avec votre user) mais par contre ce qui est dans le clipboard est alors envoyé dans le cloud ...
Faut aller dans
- Paramètres Windows,
- Système,
- "Presse-papiers" à gauche,
- et là hop, on peut activer "Historique du presse-Papiers"
- ensuite après quelques CTRL-C, si vous appuyez sur les touches Windows-V vous pourrez sélectionner quel buffer utiliser pour "coller"