mixly3/boards/default_src/python_skulpt_mixtoy/origin/config.json

{
    "language": "Python",
    "nav": {
        "webrun": true,
        "websteprun": true,
        "webcancel": true,
        "save": {
            "py": true
        }
    },
    "saveMixWithCode": false
}