> an ERT, I cannot collapse it simply by clicking on the grey "ERT" area > to the left of the ERT box. Similarly, if I click on a collapsed ERT, > it does not open up. The same ERTs will collapse/open if I click on
i can not confirm it here(linux) since (un)collapsing works. however i see random painting errors of ERT in new window. pavel
