public RowAction(ISupportsUndo executor, EquationBase equation, TextEquation equationAfter, int index, int caretIndex) : base(executor) { Index = index; Equation = equation; CaretIndex = caretIndex; EquationAfter = equationAfter; }
public DecoratedCharacter(EquationContainer parent, TextEquation previous, CharacterDecorationType cdt, Position position, string sign) : base(parent) { this.Previous = previous; this.charFt = textManager.GetFormattedText(previous.Text[previous.CaretIndex - 1].ToString(), previous.GetFormats()[previous.CaretIndex - 1]); previous.ConsumeKey(System.Windows.Input.Key.Back); Height = FontSize; decorations.Add(new CharacterDecorationInfo() { DecorationType = cdt, Position = position, UnicodeString = sign }); Width = charFt.Width; }