DOLFIN

Bug #1086310
Comment #5

Comment 5 for bug 1086310

Revision history for this message

Joachim Haga (jobh) wrote on 2012-12-04:

#5

dolfin.diff Edit (1.4 KiB, text/plain)

I don't see this error myself, but a workaround may be to just not delete the GL widgets. Could you try the attached patch, see if it helps any?