629630631632633634635636637638639
setNormal(label); } break; case 2: case 3: if (!diff.lengthsEqual()) { setHighlighted(label, value); } else {