VS Code: Theorem Proving in Lean (Table of Contents Toggle)

Stream: new members

[William Cocke]

When I started going through Theorem Proving in Lean, there was a convenient table of contents displayed to the left of the main text. I did something that made it disappear, and now wish to make it reappear. Does anyone know the short cut, or options?

[Martin Dvořák]

Try Ctrl+B.

[William Cocke]

That opens the VS Code sidebar (or CMD +B does for me) with options like current folder, extensions, etc.

Originally Theorem Proving in Lean (pulled up via the Lean Docs) had a separate sidebar which allowed me to navigate between chapters easily.

[Bjørn Kjos-Hanssen]

It may be that the sidebar is still there but just pushed off to the side. Try hovering on the left and you may be able to drag the sidebar back out from left to right. Worked for me.

[William Cocke]

Updating my MacOS version solved the problem. Not sure how the problem started.