hideToolSettings

hideToolSettings: undefined | boolean

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

Defined in

Last Updated: 30 November, 2023