Files
godot/editor/gui
HP van Braam 0b30ecc758 Don't mark cached previously pinned AnimationMixers
AnimationPlayerEditor will hold on to pointers to no-longer existing
Nodes that were previously pinned. Make sure to not mark them as dirty
if they are not already inside the cache.

This fixes #102108
2025-02-13 19:57:26 +01:00
..