fix a bug in MarkOccurrencesAction
suppress flashing in documentation view when nothing to update