On 06/03/2021 04:06, Paul King wrote:
On Sat, Mar 6, 2021 at 6:55 AM MG <mg...@arscreat.com
<mailto:mg...@arscreat.com>> wrote:
@we'd want the full info somewhere: Agree.
But since the annotation section headers already have the fully
qualified name and the user gets taken there when he clicks the
annotation (short) name on the sidebar, so I feel we are good here :-)
Potentially, but the sidebar is generated automatically from the
section header names last time I looked.
I meant design- not implementation-wise :-)
I am sure numerous tweaks might be possible.
Do you mean design- or implementation-wise ?
Cheers,
mg
