forked from qt-creator/qt-creator
TextColorHighlight is a harsh "egineer red" #ff0000 in all themes except one, where it is grey. Actually, TextColorHighlight was used in one place, which now instead uses TextColorError. Change-Id: Idcd61637edaa045fc718cf35a9d34ff1d5a64dad Reviewed-by: Cristian Adam <cristian.adam@qt.io>