[[ Cocoa ]] Make sure dispatching menuPick also sets menuHistory of button appropriately.