From 4367a63930dfb5c76dc5088300707c5465fd419a Mon Sep 17 00:00:00 2001
From: Francesco Spissu <f.spissu@arduino.cc>
Date: Thu, 30 Jun 2022 12:33:47 +0200
Subject: [PATCH] remove tabs context menu

---
 arduino-ide-extension/src/browser/theia/core/tab-bars.ts | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/arduino-ide-extension/src/browser/theia/core/tab-bars.ts b/arduino-ide-extension/src/browser/theia/core/tab-bars.ts
index c6adbc236..406525a1a 100644
--- a/arduino-ide-extension/src/browser/theia/core/tab-bars.ts
+++ b/arduino-ide-extension/src/browser/theia/core/tab-bars.ts
@@ -10,4 +10,9 @@ export class TabBarRenderer extends TheiaTabBarRenderer {
     }
     return className;
   }
+
+  protected override handleContextMenuEvent = (): void => {
+    // NOOP
+    // Context menus are empty, so they have been removed
+  };
 }