Comment 9 for bug 199592

Revision history for this message
Wenzhuo Zhang (wenzhuo) wrote :

Arne, you can reproduce the segfault by setting /FrontEnd/X11/Dynamic = true.