Found more places where gnome interface wasn't cleaning up.
"GnomeHack", plname);
/* Quit if they want to quit... */
- if (ret==-1)
- {
+ if (ret==-1) {
+ clearlocks();
gtk_exit(0);
- }
+ }
}
if (button == 0) {
gnome_exit_nhwindows(0);
gtk_object_unref(GTK_OBJECT(session_id));
+ clearlocks();
gtk_exit(0);
}
}
/* make sure they see the Saving message */
display_nhwindow(WIN_MESSAGE, TRUE);
gnome_exit_nhwindows("Be seeing you...");
+ clearlocks();
gtk_exit(0);
} else (void)doredraw();
}