hideToolSettings

hideToolSettings: undefined | boolean

Set to true if no tool setting dock is needed. Typically only used in modal stages.

Defined in

Last Updated: 20 June, 2023