Comment 8 for bug 308025

Revision history for this message
Chris Jones (cmsj) wrote :

I've just pushed revision 1052 to trunk which explicitly closes each terminal when closing a window, which should fix this.