hideToolSettings

hideToolSettings: undefined | boolean

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

Defined in

Last Updated: 29 September, 2023