Add support for saving UI settings to config file

[emu8051.git] / src / emugtk.h

diff --git a/src/emugtk.h b/src/emugtk.h
index 105411e..75714be 100644 (file)
--- a/src/emugtk.h
+++ b/src/emugtk.h
@@ -23,7 +23,6 @@
 #define EMUGTK_H 1
 
 #include <gtk/gtk.h>
-#include "gtksizes.h"
 
 void
 AddMenuSeparator(GtkWidget *menu);