Skip to content

Remove Editor tabs contextual menu #1127

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
francescospissu opened this issue Jun 29, 2022 · 1 comment · Fixed by #1128
Closed

Remove Editor tabs contextual menu #1127

francescospissu opened this issue Jun 29, 2022 · 1 comment · Fixed by #1128
Assignees
@francescospissu
Labels
conclusion: resolved Issue was resolved criticality: high Of high impact phase: implementation Work is in the implementation phase priority: high Resolution is a high priority topic: code Related to content of the project itself topic: theia Related to the Theia IDE framework

Comments

@francescospissu
Copy link
Contributor

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

CleanShot 2021-12-28 at 12.57.45.png

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
@francescospissu francescospissu added criticality: high Of high impact phase: implementation Work is in the implementation phase priority: high Resolution is a high priority topic: code Related to content of the project itself topic: theia Related to the Theia IDE framework labels Jun 29, 2022
@francescospissu francescospissu self-assigned this Jun 29, 2022
@per1234
Copy link
Contributor

per1234 commented Jun 29, 2022

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:

image

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

@francescospissu francescospissu mentioned this issue Jun 30, 2022
Merged
4 tasks
@francescospissu francescospissu linked a pull request Jun 30, 2022 that will close this issue
Remove tabs context menu #1128
Merged
4 tasks
@per1234 per1234 added the conclusion: resolved Issue was resolved label Jul 1, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@francescospissu francescospissu

Labels
conclusion: resolved Issue was resolved criticality: high Of high impact phase: implementation Work is in the implementation phase priority: high Resolution is a high priority topic: code Related to content of the project itself topic: theia Related to the Theia IDE framework
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Remove tabs context menu arduino/arduino-ide
2 participants
@per1234 @francescospissu