Resolved

COPIER COLLER NON FONCTIONEL

avatar

Bonjour je viens de me rendre compte que le copier / coller ne fonctionne pas.
testé sur les sessions SSH
version 2020.0.10

All Comments (4)

avatar

Bonjour,

Il semble, en effet, avoir un problème lorsque l'on essaie de copier en utilisant le raccourci ctrl-c.
Je vais ouvrir un billet et l'ajouter à notre todo list.
Vous pouvez, en attendant, utiliser le menu contextuel (clique droit) pour effectuer la copie.

Jonathan Lafontaine

avatar

Je semble avoir parlé trop vite.

Après de plus amples tests, il est possible de copier en utlisant ctrl-shift-c et de coller avec ctrl-shift-v.
Êtes-vous en mesure de confirmer? Il est possible que la dernière version, 2020.3.1.0, de RDM Linux soit nécessaire.

Jonathan Lafontaine

avatar

avec ma version je confirme le menu contextuel s'affiche mais pas de possibilité de coller l'information dans le presse papier.

que ce soit de fenetre RDM ou d'une autre appliction ctl c / ctrl v et clic droit

avatar

En effet, ctrl-v et le menu contextuel ne permettent pas de coller.
La seule facon pour l'instant est par l'utilisation du raccourci ctrl-shift-v.

Jonathan Lafontaine