Skip to content
Snippets Groups Projects
Commit 3b569fbd authored by COQUERY EMMANUEL's avatar COQUERY EMMANUEL
Browse files

Ajout inscructions lignes d'indent dans vscode

parent c9120326
No related branches found
No related tags found
No related merge requests found
...@@ -11,3 +11,7 @@ test -r /home/tpetu/Enseignants/emmanuel.coquery/opam/opam-init/init.sh && . /ho ...@@ -11,3 +11,7 @@ test -r /home/tpetu/Enseignants/emmanuel.coquery/opam/opam-init/init.sh && . /ho
``` ```
On utilisera VSCode en installant le plugin **OCaml Platform** On utilisera VSCode en installant le plugin **OCaml Platform**
Pour supprimer les lignes verticales d'indentation qui peuvent perturber al'affichage avec les `|` des `match`: aller dans le menu File -> Preferences -> Settings, entrer `editor.guide` dans la zone de recherche et décocher la case "Editor > Guides: Indentation". Vérifiez que vous êtes bien dans l'onglet "User" quand vous décochez la case. Voir le screenshot ci-dessous:
![](files/config_lignes_vscode.png)
files/config_lignes_vscode.png

101 KiB

0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment