Treeview missing due to missing setting in header_package.html
#7956
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
The PR #7946 was withdraw because the
$cookie
was not necessary anymore in theheader...
files as it was part of the of the$treeview
. Inheader_package.html
the$treeview
has been disables and as such thecookie.js
is not added/ Adding thecookie.js
explicitly.The effect was that there was a divider between the treeview and the textual documentation but it was on the far left (and thus invisible), it could be moved but after a refresh it was "gone" again.