0

J'ai essayé quelques gestionnaires de presse-papiers et deux des meilleurs (Ditto et Ethervane Echo) coller sur une fenêtre ouverte F # Interactive lorsque j'essaie de coller dans l'éditeur. D'autres, comme ClipMate (pas gratuit) coller dans la fenêtre de l'éditeur. Est-il possible de forcer le collage dans la fenêtre de l'éditeur?Les gestionnaires de presse-papiers collent dans F # Interactive

(je sais que l'on peut utiliser Ctrl+Shift+V pour faire défiler les éléments récents du presse-papiers)

Répondre

1

Essayez le gestionnaire Clipboard Clip Angel. Je l'utilise pour coder en C#. Il colle sans problème à C# interactif. Et si vous rencontrez un endroit où rien ne peut coller, Clip Angel a la fonction "Emulate keyboard input" pour casser la défense =).

+0

J'ai essayé Clip Angel et c'est un bon gestionnaire de presse-papiers. Cependant, j'utilise Tâche Affichage dans Windows 10. Si je 1) ouvrir Clip Angel dans une vue 2) passer à une autre vue, 3) appuyez sur Alt + V pour faire apparaître Clip Angel il reste ouvert dans la vue précédente et ne montre pas dans la vue actuelle, donc je ne peux pas l'utiliser. Connaissez-vous un moyen de résoudre ce problème? – Soldalma

+1

Essayez 1) "Paramètres/Fenêtre rapide ouverte" = OUI 2) "Fenêtre/Afficher dans la barre des tâches" = NON 3) "Paramètres/Fenêtre rapide ouverte" = NON. Si cela ne vous aide pas, je vous suggère de m'écrire un email (c'est dans la fenêtre About de Clip Angel) avec des captures d'écran ou créer un ticket sur le site https://sourceforge.net/p/clip-angel/tickets/new/. – tormozit

+0

Cela a fonctionné. Terrifiant! – Soldalma

0

FWIW je l'ai trouvé en utilisant les événements suivants se Ethervane Echo.

1) Dans une solution F#:

a) La sélection d'un élément dans la liste clip et en appuyant sur Enter envoie le clip à F# Interactive.

b) La sélection d'un élément dans la liste des plans et un double-clic sur celui-ci envoient le plan dans la fenêtre de l'éditeur.

2) Dans une solution C#:

Sélection d'un élément dans la liste de plans et soit frapper Enter ou double-cliquant dessus envoie le clip à la fenêtre de l'éditeur.