eduroam-prg-og-1-29-194.net.univ-paris-diderot.fr 2026-2-4:11:20:14

This commit is contained in:
oskar
2026-02-04 11:20:15 +01:00
parent 03e5f80730
commit ac9f5a0242
4 changed files with 24 additions and 2 deletions

View File

@@ -9,7 +9,7 @@
"hideOutlineOnJump": false,
"minHeadingsToHideSearchBar": 5,
"minimumHeadingsToRevealAutomatically": 3,
"revealAutomaticallyOnFileOpen": false,
"revealAutomaticallyOnFileOpen": true,
"revealOnHover": true,
"avoidContentOverlap": false,
"outlinePosition": "right"