That looks like a fix for the menu-location thing (Options vs. Application menu) but do we also have a bad translation in German that's changing 'Ctrl-,' in the code to ','?
That looks like a fix for the menu-location thing (Options vs. Application menu) but do we also have a bad translation in German that's changing 'Ctrl-,' in the code to ','?