memwin_DumpD("00");
}
+void
+AddMenuSeparator(GtkWidget *menu)
+{
+ GtkWidget *item;
+
+ item = gtk_menu_item_new();
+ gtk_menu_append(GTK_MENU(menu), item);
+}
+
void
emugtk_new_file(char *file)
{
gtk_main();
+#ifdef EMU8051_DEBUG
printf("End of program.\n");
+#endif
return EXIT_SUCCESS;
}
-
-void
-AddMenuSeparator(GtkWidget *menu)
-{
- GtkWidget *item;
-
- item = gtk_menu_item_new();
- gtk_menu_append(GTK_MENU(menu), item);
-}