[Designer] Bug fixes and minor enhancements - #3510

Merged

dclaux merged 2 commits into

designer/enhancements

Oct 4, 2019

Commits on Oct 3, 2019

Designer bug fixes and minor enhancements
dclaux
committed
7a8e51e

Commits on Oct 4, 2019

Address review feedback
dclaux
committed
ff8b5e1