I'm trying to change the deploy button text from the default "Deploy" to something different but when I edit the the
editorTheme.deployButton.label
field in the settings file, the change only takes effect if I also have "simple" set as the type. I'd really like to be able to keep the complex button behavior and edit the button's label as well. Is restricting configuration of the button's label to the "simple" type intentional?