From 4477a13ef882c418ab49409bb351f21c892043fe Mon Sep 17 00:00:00 2001
From: Linus Dietz <linus.dietz@tum.de>
Date: Sat, 24 Aug 2019 12:56:10 +0200
Subject: [PATCH] Fix double paste (#5210)

---
 src/main/java/org/jabref/gui/JabRefFrame.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/main/java/org/jabref/gui/JabRefFrame.java b/src/main/java/org/jabref/gui/JabRefFrame.java
index 13e39a50e46..557e26c217f 100644
--- a/src/main/java/org/jabref/gui/JabRefFrame.java
+++ b/src/main/java/org/jabref/gui/JabRefFrame.java
@@ -1240,7 +1240,7 @@ public void execute() {
                             textInput.cut();
                             break;
                         case PASTE:
-                            textInput.paste();
+                            // handled by FX in TextInputControl#paste
                             break;
                         default:
                             throw new IllegalStateException("Only cut/copy/paste supported but got " + command);
@@ -1255,7 +1255,7 @@ public void execute() {
                             getCurrentBasePanel().cut();
                             break;
                         case PASTE:
-                            getCurrentBasePanel().paste();
+                            // handled by FX in TextInputControl#paste
                             break;
                         default:
                             throw new IllegalStateException("Only cut/copy/paste supported but got " + command);