The DeclarationsChanged method is inconvenient to use because it doesn't say which declarations changed. This means we have to check every declaration we care about for changes every time any declarations change. It also would prevent an update to gudl allowing "late evaluations" (for this update, we'd need to remove RaiseElementDeclarationsChangedEvent as well).
Doing this cleanup now so supporting use_msaa_element in #1 can be done more cleanly and we don't need the unrelated micro-optimization.
The
DeclarationsChanged
method is inconvenient to use because it doesn't say which declarations changed. This means we have to check every declaration we care about for changes every time any declarations change. It also would prevent an update to gudl allowing "late evaluations" (for this update, we'd need to remove RaiseElementDeclarationsChangedEvent as well).Doing this cleanup now so supporting
use_msaa_element
in #1 can be done more cleanly and we don't need the unrelated micro-optimization.