-
Notifications
You must be signed in to change notification settings - Fork 2.5k
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
Fix 'Open Recent Workspace' command and menu item #3427
Conversation
2cf934a
to
8bebdef
Compare
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.
Tested. Looks good to me.
@akosyakov are you fine with this solution? |
8bebdef
to
2fd8e11
Compare
Fixes #3421 Signed-off-by: Vincent Fugnitto <vincent.fugnitto@ericsson.com>
2fd8e11
to
19e9136
Compare
I will try the changes locally, and if it works, I'll merge the PR... |
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 the fix! I have tried both examples on Windows and OS X; it works.
@vince-fugnitto, please clean up the branch if you do not need it. I did not want to delete it after the merge. |
thanks @kittaakos ! |
Fixes #3421
Fixes #3428
Signed-off-by: Vincent Fugnitto vincent.fugnitto@ericsson.com