You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Thanks! This is, indeed, a bug. Fortunately though, OverUnderBox itself doesn't seem to be used much across the code: most of the usages are supposed to come from PredefinedTexFormulas.xml via reflection, and it never calls the methods that generate OverUnderBoxes.
Noticed while trying to add C# 8 nullability information:
The lower two lines look fishy and the condition may have indended to use
||
instead, but I can't tell for sure.The text was updated successfully, but these errors were encountered: