/* Called when the "stop this operation" button is clicked. Set the "stop" flag to TRUE; we don't have to destroy the dialog box, as our caller will do so when they see that the "stop" flag is true and abort the operation.  */
static void stop_cb(GtkWidget *w _U_, gpointer data)
/* Called when the "stop this operation" button is clicked. Set the "stop" flag to TRUE; we don't have to destroy the dialog box, as our caller will do so when they see that the "stop" flag is true and abort the operation.  */
static void stop_cb(GtkWidget *w _U_, gpointer data)
{
    gboolean *stop_flag = (gboolean *) data;
    *stop_flag = TRUE;
}