Juergen Spitzmueller 12bd7352fd Implement auto-nesting.
Now layouts can specify other layouts that should be nested in and
after the current one (if the layout is switched from the current one
and if it follows a paragraph in the current one).

This is particularly useful for things such as the beamer frames, where
particular layouts are practically always nested.

This is a backport from master, including all fixes.
2018-01-01 12:30:34 +01:00
..
2018-01-01 12:30:34 +01:00
2017-12-15 02:30:32 +01:00
2017-12-15 02:30:32 +01:00
2017-12-17 19:27:31 +01:00