Found it; pressing Shift-Option-Command when the application is coming up gives you a chance to reset the preferences. This seems to get it to heal itself.