2019-03-11 23:57:10 +03:00
|
|
|
// Place your settings in this file to overwrite default and user settings.
|
|
|
|
{
|
2023-05-10 22:08:08 +03:00
|
|
|
"git.branchProtection": [
|
|
|
|
"main"
|
|
|
|
],
|
|
|
|
"git.branchProtectionPrompt": "alwaysCommitToNewBranch",
|
|
|
|
"editor.wordWrap": "on",
|
2019-03-11 23:57:10 +03:00
|
|
|
"files.eol": "\n",
|
|
|
|
"files.trimTrailingWhitespace": true,
|
|
|
|
"files.associations": {
|
|
|
|
"**/toc.json": "jsonc"
|
2022-09-28 01:48:29 +03:00
|
|
|
},
|
|
|
|
"markdown.validate.enabled": true,
|
|
|
|
"markdown.validate.ignoredLinks": [
|
2023-02-27 01:50:33 +03:00
|
|
|
"/Download",
|
|
|
|
"/insiders"
|
2023-06-01 23:54:51 +03:00
|
|
|
],
|
|
|
|
"markdown.copyFiles.destination": {
|
2023-06-02 03:09:52 +03:00
|
|
|
// /release-notes/v123.md -> /release-notes/images/123/img.png
|
2023-06-02 03:35:00 +03:00
|
|
|
"/release-notes/**/*": "/release-notes/images/${documentBaseName/v(.*)/$1/}/",
|
|
|
|
|
|
|
|
// Put into 'images' directory next to file
|
|
|
|
"/api/**/*": "images/${documentBaseName}/"
|
2023-06-01 23:54:51 +03:00
|
|
|
},
|
|
|
|
"editor.codeActionsOnSave": {
|
2023-09-28 10:46:01 +03:00
|
|
|
"source.organizeLinkDefinitions": "explicit"
|
2024-01-23 01:16:34 +03:00
|
|
|
},
|
|
|
|
"markdown.editor.filePaste.videoSnippet": "<video src=\"${src}\" title=\"${title}\" autoplay loop controls muted></video>"
|
2019-03-11 23:57:10 +03:00
|
|
|
}
|