public bool Equals(TooltipThemeData other) { if (ReferenceEquals(null, other)) { return(false); } if (ReferenceEquals(this, other)) { return(true); } return(height.Equals(other.height) && padding.Equals(other.padding) && margin.Equals(other.margin) && verticalOffset.Equals(other.verticalOffset) && preferBelow == other.preferBelow && excludeFromSemantics == other.excludeFromSemantics && decoration.Equals(other.decoration) && textStyle.Equals(other.textStyle) && waitDuration.Equals(other.waitDuration) && showDuration.Equals(other.showDuration)); }
/// <summary> /// Add a new Decoration run with the given Decoration at the /// given index. /// </summary> private void AddDecoration(Decoration d, int index) { if (Decorations != null) { DecorationStarts = AddToVector(d, index, Decorations, DecorationStarts); } else if (Decoration == null) { Decoration = d; } else { if (!Decoration.Equals(d)) { Decorations = new List <Decoration>(INITIAL_SIZE); Decorations.Add(Decoration); Decorations.Add(d); DecorationStarts = new int[INITIAL_SIZE]; DecorationStarts[0] = 0; DecorationStarts[1] = index; } } }