#include <stdio.h>
#include <gtk-4.0/gtk/gtk.h>

#include "hot.h"
#include "display.h"
#include "contain.h"
#include "texts.h"

void ui_toggle_run_edit (GtkWidget *btt_run_xor_edit, gpointer   data)
{
    printf("window.ui_toggle_run_edit()   >>>    mode = %d", get_run_edit_mode ());
    if (get_run_edit_mode()) {
          gtk_button_set_icon_name (GTK_BUTTON (btt_run_xor_edit), "system-run-symbolic");
          set_run_edit_mode (0);
    } else {
          gtk_button_set_icon_name (GTK_BUTTON (btt_run_xor_edit), "document-edit-symbolic");
          set_run_edit_mode (1);
    }
    printf(" > %d\n", get_run_edit_mode ());
}