devtools

1ba67b1b - Use `CheckboxSettings` from `shared/common_widgets` in the settings dialog (#5524)