Handling GTK_RESPONSE_DELETE_EVENT as well

This commit is contained in:
Pierre Pronchery 2012-03-14 01:20:23 +00:00
parent 9dd920bfbc
commit e9b985bd72

View File

@ -539,7 +539,7 @@ gboolean editor_close(Editor * editor)
GTK_STOCK_CANCEL, GTK_RESPONSE_CANCEL,
GTK_STOCK_DISCARD, GTK_RESPONSE_REJECT,
GTK_STOCK_SAVE, GTK_RESPONSE_ACCEPT, NULL);
if(res == GTK_RESPONSE_CANCEL)
if(res == GTK_RESPONSE_CANCEL || res == GTK_RESPONSE_DELETE_EVENT)
return TRUE;
else if(res == GTK_RESPONSE_ACCEPT && editor_save(editor) != TRUE)
return TRUE;