Bug? Not sure.

While testing fonts to check greyed-out menu items for strange effects, I encountered an odd behavior in Options:Appearance.

If I click on Menus and Windows font, and change it, and then check it, and then use F12 to return to Options, sometimes it opens Options:Appearance automatically (last visited/last changed), and sometimes it opens Options:General.

It’s not a big deal – not sure it’s even a bug, but the inconsistent behavior is unexpected.