issue #539 keep working on making Mac highlighting work right / fix bug caused by trying to enable a non-existant menu item