21 lines
537 B
JSON
21 lines
537 B
JSON
|
{
|
||
|
|
"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
|
||
|
|
}
|
||
|
|
}
|
||
|
|
}
|