OK! When I accidentally clicked "reset palettes" from the menu in full screen, palettes appeared. But, FYI, it is still the case that neither the shortcut nor the menu will toggle the palettes. I can only turn them on or off by actually closing the palettes window and by clicking reset palettes in the menu. So, at least I can work comfortably again, but I do hope this apparent bug will be fixed.