From e23b535f7c30e957d0252596505e661cc4c7ec67 Mon Sep 17 00:00:00 2001 From: albert-github Date: Tue, 2 Jan 2024 15:33:44 +0100 Subject: [PATCH] Treeview missing due to missing setting in header.html The PR #7946 was withdraw because the `$cookie` was not necessary anymore in the `header...` files as it was part of the of the `$treeview`. In `header_package.html` the `$treeview` has been disables and as such the `cookie.js` is not added/ Adding the `cookie.js` explicitly. The effect was that there was a divider between the treeniew and the textual documentation but it was on the far left (and thus invisible), ith could be moved but after a refresh it was "gone" again. --- Documentation/doc/resources/1.10.0/header_package.html | 1 + 1 file changed, 1 insertion(+) diff --git a/Documentation/doc/resources/1.10.0/header_package.html b/Documentation/doc/resources/1.10.0/header_package.html index 827e05a9663..f2309e17bcd 100644 --- a/Documentation/doc/resources/1.10.0/header_package.html +++ b/Documentation/doc/resources/1.10.0/header_package.html @@ -26,6 +26,7 @@ +