File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 11nav:
22
3- - todo.md
43 - CHANGELOG.md
54 - deploy_info.md
65 - citations.md
7- - hebdo.md
Original file line number Diff line number Diff line change @@ -32,10 +32,6 @@ theme:
3232 # name: material # 👀 pour la validation
3333 # custom_dir: pyodide-mkdocs-theme # 👈 ton vrai thème # ✅ thème installé via pip, reconnu par mkdocs
3434
35- # playground:
36- # include: null
37- # ide: false
38-
3935 # # name: material
4036 # # features:
4137 # # - navigation.instant # /!\ Cette option est incompatible avec le thème !
@@ -195,6 +191,14 @@ plugins:
195191 - pyodide_macros :
196192 # Vous pouvez ajouter ici tout réglage que vous auriez ajouté concernant les macros:
197193 on_error_fail : true # Il est conseillé d'ajouter celui-ci si vous ne l'utilisez pas.
194+ playground :
195+ include : serve
196+ testing :
197+ include : serve
198+ # include: none désactiver complètement
199+ # include: serve # défaut : visible seulement en serve
200+ # include: site # inclus dans le site buildé (sans nav)
201+ # page: test_ides # nom de la page (URL: /test-ides/)
198202 build :
199203 # python_libs:
200204 # - turtle
You can’t perform that action at this time.
0 commit comments