diff --git a/roles/vscode/tasks/vscode_extensions.yml b/roles/vscode/tasks/vscode_extensions.yml index 5c47d87..2aff754 100644 --- a/roles/vscode/tasks/vscode_extensions.yml +++ b/roles/vscode/tasks/vscode_extensions.yml @@ -13,6 +13,8 @@ VSCode_Extensions: - stonebuddha.vscode-better-sml - vscode-icons-team.vscode-icons - vscjava.vscode-java-pack + - shd101wyy.markdown-preview-enhanced + # - oracle.oracle-java - dan-c-underwood.arm # RA-63703 - marus25.cortex-debug # RA-63703 - NateAGeek.memory-viewer # RA-63703 @@ -20,4 +22,6 @@ VSCode_Extensions: - platformio.platformio-ide # ORS-63218 - stmicroelectronics.stm32-vscode-extension # RA-63703 - danielpinto8zz6.c-cpp-compile-run + - danielraggi.sml-environment-2024 + - ocamllabs.ocaml-platform # - vadimcn.vscode-lldb