diff --git a/CONFIGURATION.md b/CONFIGURATION.md index fce97b5622821c6193f28f4d4145e3a2d4b6cfd6..dfbce6d3c9497698da37f916dcdde6854f848ca6 100644 --- a/CONFIGURATION.md +++ b/CONFIGURATION.md @@ -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** + +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: + + diff --git a/files/config_lignes_vscode.png b/files/config_lignes_vscode.png new file mode 100644 index 0000000000000000000000000000000000000000..383591d976452a6b8ddefdc0ca4aead69cd11742 Binary files /dev/null and b/files/config_lignes_vscode.png differ