Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
menuconfig: avoid crashing when leaving menu not in parent
This adds a catch to an exception that might occur when leaving a menu which is not shown by the parent menu. This might occur, for instance, when searching for the symbol of a named choice.
- Loading branch information