>>> The problem was that I never expected that InsetInfo is a child >>> class >>> > >>> of InsetCollapsable. This feels wrong. >>> >> We need something between InsetText and InsetCollapsable or we >> migrate the inset decoration to InsetText. Then InsetCollapsable >> would just add tha ability to collapse. >> >> > >> Note that the InsetCollapsable design is fundamentally wrong in my >> opinion: we should not inherit from InsetText, InsetCollapsable >> should instead own and InsetText and an InsetButton. But this is >> quite late to address that design problem. >> > FWIW, I understand, but do not (fully) share your opinion on this. > > >About the first or the second point?
The first. Vincent