From bab14883a2b5ea1e80f793d1efed7db711b4c13e Mon Sep 17 00:00:00 2001
From: Jan Prochazka <jan.prochazka@gmail.com>
Date: Thu, 11 Jun 2020 15:43:39 +0200
Subject: [PATCH] fix pasting unwanted text

---
 packages/web/src/TabsPanel.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/packages/web/src/TabsPanel.js b/packages/web/src/TabsPanel.js
index 22f9f0175..812eb14a5 100644
--- a/packages/web/src/TabsPanel.js
+++ b/packages/web/src/TabsPanel.js
@@ -160,6 +160,7 @@ export default function TabsPanel() {
   const closeOthers = closeTabFunc((x, active) => x.tabid != active.tabid);
   const handleMouseUp = (e, tabid) => {
     if (e.button == 1) {
+      e.preventDefault();
       closeTab(tabid);
     }
   };