The `_colorRandomization` property is new in 19.12, and should be
copied by the copy constructor as well.
This fixes the problem that it was not possible to disable the the
"Randomly adjust colors for each session" option again once it was
once it was enabled.