Left margin navigation tree

[pitosalas]

If the window is wide enough, a very useful navigation tree appears on the left margin.

It would be great if I could make that tree always be present or at least appear with a narrower window.

Possible?

[alexvoss]

Implementing this is not easy as discussed in this previous conversation. More control over when the different versions of the menu appear has been requested a few times and there is a possible future when this might be available but with the current build system it is not.

[pitosalas]

Underwood. Is there any technique or “trick” that anyone knows to achieve something analogous which is to have a nested navigation that is visible all the time?Pito Salas Computer ScienceBrandeis Univeristy On Jul 25, 2024, at 12:46 AM, Alexander Voss ***@***.***> wrote: Implementing this is not easy as discussed in this previous conversation. More control over when the different versions of the menu appear has been requested a few times and there is a possible future when this might be available but with the current build system it is not. —Reply to this email directly, view it on GitHub, or unsubscribe.You are receiving this because you authored the thread.Message ID: ***@***.***>

[kamilkrzyskow]

Redefining a custom navigation with its own settings and behaviour would be way more complex than any of the given ideas in:

• Altering Breakpoints? #7130