From fe86d06595a3647d2196aca8fb3dd43bb2804677 Mon Sep 17 00:00:00 2001 From: ArthurSonzogni Date: Tue, 3 Jun 2025 11:36:07 +0200 Subject: [PATCH] Doc: Fix navtree expansion --- doc/header.html | 34 ++++++++++++++++++++++++++++++++++ 1 file changed, 34 insertions(+) diff --git a/doc/header.html b/doc/header.html index 5ea4bb59..23e998e6 100644 --- a/doc/header.html +++ b/doc/header.html @@ -91,6 +91,40 @@ } + $treeview $search