From a13a8771d162c26c221fd4a46f96a1142c1c1667 Mon Sep 17 00:00:00 2001
From: Francesco Spissu <94986937+francescospissu@users.noreply.github.com>
Date: Fri, 1 Jul 2022 09:18:30 +0200
Subject: [PATCH] Remove tabs context menu (#1128)

---
 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 c6adbc23..406525a1 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
+  };
 }