#define EMUGTK_H 1
#include <gtk/gtk.h>
-#include "gtksizes.h"
void
AddMenuSeparator(GtkWidget *menu);
void
emugtk_new_file(char *file);
+void
+emugtk_UpdateDisplay(void);
+
+void
+emugtk_restart_gui(void);
+
+void
+emugtk_quit_gui(void);
+
#endif /* EMUGTK_H */