Re: js-info polishing

[Gavin Smith]

On Tue, Apr 27, 2021 at 12:43:22PM -0700, Per Bothner wrote:
> So if I understand you correctly, you would prefer:
> * If the sidebar is hidden, the only way to show it is to click
> on the "Show sidebar" button.  (Perhaps we could add a keybinding as well.)
> * Navigating by clicking in the sidebar never hides the sidebar.
> * In narrow-window mode, clicking in the grayed-out main area,
> hides the sidebar, but stays on the current page, even if
> (possibly-accidentally) clicking on a link.
> * In wide-window mode, clicking in the main area does not hide the sidebar.
> 
> Would that seem good?

Yes, that all sounds correct.