public override void DrawNumberingListWithSeparatorBox(NumberingListWithSeparatorBox numberingListWithSeparatorBox)
{
if (Form1.customDrawSeparator == true)
{
Canvas.FillRectangle(new RichEditBrush(Color.DarkRed), numberingListWithSeparatorBox.Bounds);
}
else
{
base.DrawNumberingListWithSeparatorBox(numberingListWithSeparatorBox);
}
}
public override void DrawNumberingListWithSeparatorBox(NumberingListWithSeparatorBox numberingListWithSeparatorBox)
{
if (MainWindow.customDrawSeparator == true)
{
Canvas.FillRectangle(new RichEditBrush(System.Windows.Media.Color.FromRgb(139, 0, 0)),
numberingListWithSeparatorBox.Bounds);
}
else
{
base.DrawNumberingListWithSeparatorBox(numberingListWithSeparatorBox);
}
}
protected override void VisitNumberingListWithSeparatorBox(NumberingListWithSeparatorBox numberingListWithSeparatorBox)
{
TryAddElementToCollection(numberingListWithSeparatorBox, ContentDisplayAction.Select, true);
base.VisitNumberingListWithSeparatorBox(numberingListWithSeparatorBox);
}
public override void DrawNumberingListWithSeparatorBox(NumberingListWithSeparatorBox numberingListWithSeparatorBox)
{
base.DrawNumberingListWithSeparatorBox(numberingListWithSeparatorBox);
HighlightElement(numberingListWithSeparatorBox);
}
protected override void VisitNumberingListWithSeparatorBox(NumberingListWithSeparatorBox numberingListWithSeparatorBox)
{
AddTreeNode(numberingListWithSeparatorBox, ContentDisplayAction.Select);
base.VisitNumberingListWithSeparatorBox(numberingListWithSeparatorBox);
}
