diff src/w32proc.c @ 92734:b0748b402e51

(x_connection_closed): For GTK: If this is the last terminal just exit without closing the display.
author Jan Djärv <jan.h.d@swipnet.se>
date Tue, 11 Mar 2008 07:35:09 +0000
parents 606f2d163a64
children ca9efc5939fc
line wrap: on
line diff