public override Box CreateBox(TexStyle style) { // Create box for base atom, in cramped style. var baseBox = BaseAtom == null ? StrutBox.Empty : BaseAtom.CreateBox(TexUtility.GetCrampedStyle(style)); // Create result box. var defaultLineThickness = TEXConfiguration.main.LineThickness * TexUtility.SizeFactor(style); var resultBox = OverBar.Get(baseBox, 3 * defaultLineThickness, defaultLineThickness); // Adjust height and depth of result box. resultBox.height = baseBox.height + 5 * defaultLineThickness; resultBox.depth = baseBox.depth; return(resultBox); }
public override Box CreateBox() { // Create box for base atom, in cramped style. TexContext.Environment.Push(TexUtility.GetCrampedStyle()); var baseBox = BaseAtom == null ? StrutBox.Empty : BaseAtom.CreateBox(); TexContext.Environment.Pop(); // Create result box. var defaultLineThickness = TEXConfiguration.main.LineThickness * TexContext.Scale; var resultBox = OverBar.Get(baseBox, 3 * defaultLineThickness, defaultLineThickness); // Adjust height and depth of result box. resultBox.height = baseBox.height + 5 * defaultLineThickness; resultBox.depth = baseBox.depth; return(resultBox); }