private Size GetRootIndexSize()
{
if (null == RootIndex)
{
return(new Size(FontManager.Instance.FontSize / 2, FontManager.Instance.FontSize));
}
else
{
return(RootIndex.GetSize());
}
}
public double GetVerticalAlignmentCenter()
{
Size rootIndexSize;
if (null == RootIndex)
{
rootIndexSize = new Size(12, FontManager.Instance.FontSize);
}
else
{
rootIndexSize = RootIndex.GetSize();
}
if (null == Radicand)
{
return(FontManager.Instance.FontSize / 2 + rootIndexSize.Height / 3);
}
else
{
double verticalCenter = Radicand.GetVerticalAlignmentCenter();
return(verticalCenter + rootIndexSize.Height / 3);
}
}