> On 2 Jul 2019, at 10:13, Jürgen Purtz <juer...@purtz.de> wrote:
> After the integration of figures into the documentation it may be helpful to > extent the TOC with a 'List of Figures'. Any opinion? +1, I think we should. > The alternative is a downshift of the postings by one level, see attachment > 2. How to realize this behavior is shown in attachment 3. This alternative seems a better idea. cheers ./daniel
