Re: ERT inset

[Pavel Sanda]

> This has benn discussed on the list. This is the minimalitic style.
> To collapse an ERT, right-click on it, to uncollapse, click on it.

yes, right click is now context menu.
pavel