diff: do not paint over annotations in gutter