La solution est un menu de presse papier au clic milieu. Comme sur Android.
Et ce serait une très bonne solution vu que le problème du clic milieu dans X11, c'est que une fois sur deux on a fait une autre sélection entre temps et du coup on colle pas ce que l'on veut...
[^] # Re: remarque et questions
Posté par gnumdk (site web personnel) . En réponse à la dépêche GNOME 3.10 : chantier public. Évalué à 5.
Et ce serait une très bonne solution vu que le problème du clic milieu dans X11, c'est que une fois sur deux on a fait une autre sélection entre temps et du coup on colle pas ce que l'on veut...