Remove Editor tabs contextual menu

[francescospissu]

Right-clicking on a tab in the editor displays a contextual menu

This allows users to maximise the editor tab (see Zen Mode) and to reveal in the Theia Explorer.
The Theia Explorer cannot be removed from the sidebar causing further issues.

Entirely disabling this contextual menu would save us a lot of o headaches

[per1234]

The context menu items shown in the screenshot above have been removed since the time it was taken (#940). The menu now looks like this:

Since an empty context menu serves no purpose, removing it entirely will enhance the Arduino IDE UI.