mirror of
https://github.com/Drop-OSS/drop.git
synced 2025-11-12 07:42:40 +10:00
22 lines
562 B
JSON
22 lines
562 B
JSON
{
|
|
"spellchecker.ignoreWordsList": ["mTLS", "Wireguard"],
|
|
"sqltools.connections": [
|
|
{
|
|
"previewLimit": 50,
|
|
"server": "localhost",
|
|
"port": 5432,
|
|
"driver": "PostgreSQL",
|
|
"name": "drop",
|
|
"database": "drop",
|
|
"username": "drop",
|
|
"password": "drop"
|
|
}
|
|
],
|
|
// allow autocomplete for ArkType expressions like "string | num"
|
|
"editor.quickSuggestions": {
|
|
"strings": "on"
|
|
},
|
|
// prioritize ArkType's "type" for autoimports
|
|
"typescript.preferences.autoImportSpecifierExcludeRegexes": ["^(node:)?os$"]
|
|
}
|