Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Wrong selected menu in F3 menu #4602
Observed behaviour / Steps to reproduce
Press F3, click on the star to show the missions, press F3 to close the menu, then F3 again.
The menu button corresponding to the information panel should be selected; or alternatively, the last opened menu should open when F3 is pressed.
My pioneer version (and OS):