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