-
-
Notifications
You must be signed in to change notification settings - Fork 433
Fixed sorting of sketches and examples - ignore case #222
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
Conversation
Thanks for your contribution, @Sebastian-Brzuzek. Your PR currently depends on #213. Please bear with us.
|
@kittaakos thanks for feedback. It looks like there is general problem with Action Menu in Theia. Take a look at this commit: Sebastian-Brzuzek/theia@c060607 I can see the following options:
I can help with option 2 or 3. But I'm not sure if I will have time to make some progress with option 1. One more question - what is expected order in case of menu items with labels which differ only on lower/upper case letter level? I know it is a little bit strange edge case 😉 Maybe there are some other options, what do you think? |
For the sake of simplicity, I am going to approve this PR once you have rebased it from the Thank you so much for looking into the possible solutions.
Let's do this. I can help with this.
We could do that, but once we have a Theia-based solution, it's unnecessary.
Ideally, it should be possible to customize the default |
It has taken some time (I have done rabase using the GitHub Desktop App for the first time 😃 ) but finally checks are successful. Regarding customization of the default |
I am glad you've managed to do it 💪 I have checked your code, it looks good to me. I also tried your changes in-action, it's also good. We need approval from someone else. @ubidefeo could you please verify the change and approve it if you like it? Thank you! |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thank you for your contribution, @Sebastian-Brzuzek 👍 Your changes look good to me.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
thank you for your contribution @Sebastian-Brzuzek
sorry it took me a while to chime in with my 👍🏼
🙏🏼
simple solution for issue #185