{
  "app.useNativeMenu": false,
  "currentEditorTheme": "cobalt",
  "other.licenseKey": null,
  "currentEditorFontSize": "12",
  "dataGrid.thousandsSeparator": false,
  "commands": {
    "query.executeCurrent": {
      "keyText": "CtrlOrCommand+Enter",
      "customKeyboardShortcut": true
    },
    "query.execute": {
      "keyText": "F5 | CtrlOrCommand+Shift+Enter",
      "customKeyboardShortcut": true
    },
    "shell.execute": {
      "keyText": "F5 | CtrlOrCommand+Shift+Enter",
      "customKeyboardShortcut": true
    }
  }
}