#include <gtk-4.0/gtk/gtk.h>
#include <assert.h>
#include "callback.h"

enum { EXEC_MODE, EDIT_MODE,    N_MODE };
static int run_edit_mode_val = EXEC_MODE;

enum { STOP, RUN };
static int run_stop_val = STOP;


// ---   EXEC / EDIT   ---------------------------------------------------------

int  get_exec_edit_mode () {return run_edit_mode_val;}
void set_exec_edit_mode (int prescribed_mode) {run_edit_mode_val = prescribed_mode;}
  //  if (prescribed_mode == EDIT_MODE && run_stop_val == RUN)   run_stop_val = STOP;
  //  serait redondant car déjà fait dans le callback ui_toggle_exec_edit()

// ---   RUN / STOP   ----------------------------------------------------------

int  get_run_xor_stop_exec () {return run_stop_val;}
void set_run_xor_stop_exec (int prescribed_state) {run_stop_val = prescribed_state;}