admin2/manual_teachbooks
1
0
Fork 0
mirror of https://github.com/TeachBooks/manual.git synced 2026-11-13 14:55:51 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

user types in margins

Browse source
This commit is contained in:
Tom van Woudenberg 2025-04-01 15:00:43 +02:00
parent 748f68d6d9
commit ae4f209be2
34 changed files with 141 additions and 102 deletions
Download patch file Download diff file Expand all files Collapse all files

6
book/installation-and-setup/vscode-setup.md
View file

@ -1,9 +1,11 @@
# Editing text: VS Code
````{margin}
```{admonition} User types
:class: tip
This page is useful for user type 4 and 5.
```
````
# Editing text: VS Code
VS Code is a text editor with some extra features, such as integrated source control and a file browser. Moreover, extensions are available to add functionality to VS Code.