#ifndef _ORXONOX_GUI_EXEC_H
#define _ORXONOX_GUI_EXEC_H
#include "orxonox_gui.h"

gint orxonox_gui_quit ( GtkWidget *widget, GdkEvent *event, gpointer data);

void exec_check_button_change(GtkWidget *widget, int* data);
GtkWidget *orxonox_gui_exec_frame (struct settings *orxonox_settings);
char * orxonox_flags_text (struct settings *orxonox_settings, char *exec_flags_text);
void orxonox_flags_update (void);

#endif /* _ORXONOX_GUI_EXEC_H */