Several fixes for the diff view editor #3508. Most important one: the "+" and "-" butons on elements work.