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
Some properties, e.g. Accent or LaTeXForm cannot inherit up the tree. Right now, Properties::get_with_pattern_ext hardcodes these by doing an expensive dynamic cast, but this should be done by attaching the info to the property itself.
The text was updated successfully, but these errors were encountered:
Some properties, e.g.
Accent
orLaTeXForm
cannot inherit up the tree. Right now,Properties::get_with_pattern_ext
hardcodes these by doing an expensive dynamic cast, but this should be done by attaching the info to the property itself.The text was updated successfully, but these errors were encountered: