Settings file presents under /scripts/settings.json.

Settings used by UI Editor is stored in this file including version of workspace and theme related settings. Sample settings.json is as follows:

"config": {
"theme": {
"currentTheme": "workspaceTheme",
"themes": [
"baseTheme": "workspaceTheme"
"version": "6.6.0"

IDE updater performs updating the workspace by looking version field of settings.

settings.json shouldn't be added to .gitignore file of your repository. If you do so, unexpected side effects may occur.