[kinook]

I was able to reproduce this anomaly. But choosing that menu item does still work properly (highlighting in the last-selected highlight color). And the Format toolbar must be displayed in order to change the highlight color anyway...