Jan. 28, 2023
11:40 p.m.
On Sat, Jan 28, 2023 at 9:37 PM Stefan van der Walt <stefanv@berkeley.edu> wrote:
On Sat, Jan 28, 2023, at 13:05, Pamphile Roy wrote:
At the moment, we have a long list which includes most/all submodules as well. I would propose to remove all submodules to only keep top level modules.
That looks like a clear improvement; thanks.
It looks like only a minor gain. What would be much more effective I think is to only list the module names in the sidebar. That will be a lot more readable because every entry will be one line and because all submodules will line up nicely. WDYT? Cheers, Ralf