}
FontInfo copy = font;
- if (selection)
- copy.setColor(Color_selectiontext);
- else if (change_type == Change::DELETED)
+ if (change_type == Change::DELETED)
copy.setColor(Color_deletedtext);
else if (change_type == Change::INSERTED)
copy.setColor(Color_addedtext);
+ else if (selection)
+ copy.setColor(Color_selectiontext);
x_ += pi_.pain.text(int(x_), yo_, s, copy);
}