# HG changeset patch # User Jan Dj¸«£rv # Date 1205220920 0 # Node ID 6bdbc910d8ba9a3bc8f11d0f2d968af016a1df54 # Parent b0748b402e5170cc90f64c11f6cab84a2348ff96 *** empty log message *** diff -r b0748b402e51 -r 6bdbc910d8ba src/ChangeLog --- a/src/ChangeLog Tue Mar 11 07:35:09 2008 +0000 +++ b/src/ChangeLog Tue Mar 11 07:35:20 2008 +0000 @@ -1,3 +1,8 @@ +2008-03-11 Jan Dj$(Q)Z(Brv + + * xterm.c (x_connection_closed): For GTK: If this is the last + terminal just exit without closing the display. + 2008-03-11 Jason Rumney * w32font.c (w32font_full_name): Use floor to round.