On 12/28/2017 05:07 PM, Pavel Sanda wrote: > Pavel Sanda wrote: >> Jürgen Spitzmüller wrote: >>> Am Donnerstag, den 28.12.2017, 10:24 +0100 schrieb Jürgen Spitzmüller: >>>>> b) maybe there is some visual way to signalize that nesting is needed? >>>> I thought about something like auto-nesting. But this is certainly >>>> tricky to implement. >>> Done in master. Please test. >> I am lost. What should I see/check? Pavel > Now I see what you mean. Is the fact that enter in frame environment leads to > new line with (again) frame environment instead of (say) standard environment > intentional?
Yes, it works just like Theorem. Note that the Frame environment does NOT need to be nested, whereas Standard does have to be. This takes a little getting used to, but in the end I think it works. Richard
