Remove dynamic update of GUI layout

[emu8051.git] / src / gtk / emugtk.h

diff --git a/src/gtk/emugtk.h b/src/gtk/emugtk.h
index a1101ed..a590fab 100644 (file)
--- a/src/gtk/emugtk.h
+++ b/src/gtk/emugtk.h
@@ -33,9 +33,6 @@ emugtk_new_file(char *file);
 void
 emugtk_UpdateDisplay(void);
 
-void
-emugtk_restart_gui(void);
-
 void
 emugtk_quit_gui(void);