Minor fixup for other GUI options in "Configure Panel... -> Menus". Signed-off-by: Michele Calgaro <michele.calgaro@yahoo.it> (cherry picked from commit 6949aae9ce)
6949aae9ce