> "Juergen" == Juergen Spitzmueller <[EMAIL PROTECTED]> writes:
Juergen> there's currently a small bug with ert labels: they don't
Juergen> show the ert's content if the cursor was inside the ert while
Juergen> closing it. I think this is a side-effect of the auto-open
Juergen> feature. The at
there's currently a small bug with ert labels: they don't show the ert's
content if the cursor was inside the ert while closing it.
I think this is a side-effect of the auto-open feature. The attached patch
fixes it.
OK to apply?
Jürgen
Index: insetert.C
=
