Je suis un utilisateur enthousiaste de Terminal sur Mac OSX Yosemite. De temps en temps, je marque du texte dans la fenêtre du Terminal pour le copier (clic droit ou cmd+c) dans le presse-papiers.
Pour une raison quelconque, il a soudainement cessé de fonctionner ! Je ne peux plus marquer le texte dans la fenêtre du terminal en cliquant et en faisant glisser la souris. J'ai cherché un moyen de désactiver ou d'activer le marquage (dans l'outil de ligne de commande de Windows, un tel paramètre existe pour une raison quelconque), mais je ne trouve aucune option permettant de le contrôler. Bien qu'il ne soit pas possible de marquer avec la souris, je peux sélectionner "Editer"-"Marquer tout" (traduction libre de la version OSX norvégienne :)) dans la barre de menu des fichiers en haut de l'écran - et marquer tout fonctionne bien. Je peux voir tout ce qui est marqué et je peux copier et coller comme prévu. Il n'y a cependant aucun moyen d'affecter le marquage avec la souris - après avoir tout marqué, il est impossible de le désélectionner avec la souris.
Quelqu'un a-t-il une astuce pour activer à nouveau le marquage en cliquant et en faisant glisser la souris ?
