mirror of
https://github.com/pybricks/pybricks-api.git
synced 2026-09-11 17:14:41 +00:00
Laurens Valk
238204d280
The doc/api is a legacy name, which is confusing in the current use, since all build targets are now APIs. Today we have: doc/common: Common configuration and settings between all targets. doc/main: Main Pybricks documentation at docs.pybricks.com. doc/ide: Documentation shipped with the Pybricks Code IDE.
39 lines
1.1 KiB
JSON
39 lines
1.1 KiB
JSON
{
|
|
"python.pythonPath": "${workspaceFolder}/.venv",
|
|
"python.formatting.provider": "black",
|
|
"python.linting.pycodestyleEnabled": false,
|
|
"python.linting.flake8Enabled": true,
|
|
"python.linting.enabled": true,
|
|
"python.languageServer": "Pylance",
|
|
"files.associations": {"*.inc": "restructuredtext"},
|
|
"restructuredtext.confPath": "${workspaceFolder}/doc/main",
|
|
"spellright.language": [
|
|
"en_US"
|
|
],
|
|
"spellright.ignoreFiles": [
|
|
"**/.gitignore",
|
|
"**/.vscode",
|
|
"**/conf.py"
|
|
],
|
|
"spellright.ignoreRegExps": [
|
|
"/:math:`[^]*?`/gm",
|
|
"/``[^]*?``/gm",
|
|
"/'[^]*?'/gm",
|
|
"/.. data:: [^]*?'*$/gm",
|
|
"/.. figure:: [^]*?'*$/gm",
|
|
"/.. include:: [^]*?'*$/gm",
|
|
"/.. raw:: [^]*?'*$/gm",
|
|
"/.. currentmodule:: [^]*?'*$/gm",
|
|
"/.. _[^]*?'*$/gm",
|
|
"/:target:[^]*?'*$/gm",
|
|
"/:alt:[^]*?'*$/gm",
|
|
],
|
|
"spellright.documentTypes": [
|
|
"markdown",
|
|
"latex",
|
|
"plaintext",
|
|
"python",
|
|
"restructuredtext",
|
|
]
|
|
}
|