Skip to content
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.

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

Fixed submenu ordering. #8377

Merged
merged 1 commit into from
Aug 14, 2020
Merged

Fixed submenu ordering. #8377

merged 1 commit into from
Aug 14, 2020

Conversation

kittaakos
Copy link
Contributor

Signed-off-by: Akos Kitta kittaakos@typefox.io

What it does

Fixes the submenu ordering. SubMenuOptions#order is ignored when registering a submenu. See here.

Before:
Screen Shot 2020-08-13 at 17 06 08
After:
Screen Shot 2020-08-13 at 17 08 25

How to test

Check the Sample Menu and the corresponding API-sample code change.

Review checklist

Reminder for reviewers

Signed-off-by: Akos Kitta <kittaakos@typefox.io>
@vince-fugnitto vince-fugnitto added the menus issues related to the menu label Aug 13, 2020
Copy link
Member

@vince-fugnitto vince-fugnitto left a comment

Choose a reason for hiding this comment

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

I verified the same api-samples command on master and this pull-request does fix the ordering issue 👍

@kittaakos kittaakos merged commit af98a8e into master Aug 14, 2020
@kittaakos kittaakos deleted the fix--can-order-submenu branch August 14, 2020 06:45
kittaakos pushed a commit to kittaakos/arduino-ide that referenced this pull request Mar 22, 2023
 - revert debug feature patching (eclipse-theia/theia#11984)
 - revert menu ordering hack (eclipse-theia/theia#8377)

Signed-off-by: Akos Kitta <a.kitta@arduino.cc>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
menus issues related to the menu
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants