mirror of
https://github.com/hatoo/egglog-language-server.git
synced 2025-12-23 04:36:33 +00:00
15 lines
244 B
JSON
15 lines
244 B
JSON
{
|
|
"comments": {
|
|
"lineComment": ";",
|
|
"blockComment": [ "", "" ]
|
|
},
|
|
"brackets": [
|
|
["(", ")"],["[", "]"]
|
|
],
|
|
"autoClosingPairs": [
|
|
["(", ")"],["[", "]"], ["\"","\""]
|
|
],
|
|
"surroundingPairs": [
|
|
["(", ")"],["[", "]"], ["\"","\""]
|
|
]
|
|
}
|