mirror of
https://github.com/RTimothyEdwards/magic.git
synced 2026-08-29 09:30:46 +02:00
without SelectRootDef being set, which causes SelectClear() to return without doing anything. However---question is why SelectClear() needs SelectRootDef to be non-NULL since it is clearing the selection, not the selection source. For now, just patching the failing case, not trying to mess with the whole selection mechanism.