Skip to content

Conversation

francescospissu
Copy link
Contributor

Motivation

Editor tabs context menus are empty and, as reported in #1127, they should be removed.

Change description

No operation is performed by right-clicking a tab in the editor.

Reviewer checklist

  • PR addresses a single concern.
  • The PR has no duplicates (please search among the Pull Requests before creating one)
  • PR title and description are properly filled.
  • Docs have been added / updated (for bug fixes / features)

@francescospissu francescospissu linked an issue Jun 30, 2022 that may be closed by this pull request
@per1234 per1234 added the topic: code Related to content of the project itself label Jul 1, 2022
Copy link
Contributor

@per1234 per1234 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Works perfectly. Thanks Francesco!

@francescospissu francescospissu merged commit a13a877 into main Jul 1, 2022
@francescospissu francescospissu deleted the fspissu/remove-tab-menu branch July 1, 2022 07:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
topic: code Related to content of the project itself
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Remove Editor tabs contextual menu
3 participants