Skip to content
Unverified Commit b85fb4a3 authored by Steven Perron's avatar Steven Perron Committed by GitHub
Browse files

Get KillNameAndDecorates to handle group decorations. (#1919)

It seems like the current implementation of KillNameAndDecorates does
not handle group decorations correctly.  The id being removed is not
removed from the OpGroupDecorate instructions.  Even worst, any
decorations that apply to that group are removed.

The solution is to use the function in the decoration manager that will
remove the decorations and update the instructions instead of doing the
work itself.
parent 90a12b3d
Loading
Loading
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment