fix Tasks menu RemoveSeparator option

Authored by mvourlakos on May 10 2020, 3:38 PM.

Description

fix Tasks menu RemoveSeparator option

BUG:421252

Details

Committed
mvourlakosMay 10 2020, 5:27 PM
Parents
R878:0d023dff3738: expose backgroundThickness through Metrics
Branches
Unknown
Tags
Unknown