Tools/Werkzeuge and Preferences/Einstellungen

Today I updated to 9.0.2.2 using a new Windows 11 PC. Wanted to check the preferences in order to see if paths on new PC need to be updated.
Menu items Tools, Preferences do not work, i.e. clicking the menu items does not open preferences window.

Is it possible the preferences window is being opened, but isn’t in front? Are you seeing anything in the log?