I know how to hide and show the Run button using the UI. But is there something I can add to the settings JSON file to hide this button by default without the user needing to do anything? (We don't need to prevent users from getting the button back manually, if they want - just hiding it by default, at least for Python files, is all we need.)
I have tried several settings, but none have hidden this particular button - the only way I've found to hide it is using the UI to do it.
Alternately, is there a setting to hide all buttons in this group?