diff --git a/red/runtime/storage/localfilesystem/projects/index.js b/red/runtime/storage/localfilesystem/projects/index.js index ecccee581..3499de90b 100644 --- a/red/runtime/storage/localfilesystem/projects/index.js +++ b/red/runtime/storage/localfilesystem/projects/index.js @@ -95,6 +95,14 @@ function init(_settings, _runtime) { if (!gitConfig) { projectLogMessages.push(log._("storage.localfilesystem.projects.git-not-found")) projectsEnabled = false; + try { + // As projects have to be turned on, we know this property + // must exist at this point, so turn it off. + // TODO: when on-by-default, this will need to do more + // work to disable. + settings.editorTheme.projects.enabled = false; + } catch(err) { + } } else { globalGitUser = gitConfig.user; Projects.init(settings,runtime);