additional setters in PlainTextDiffPresenter