--- generator/hdr/ui-gtk.h	2020/03/04 04:47:01	1.1
+++ generator/hdr/ui-gtk.h	2020/03/04 04:47:14	1.1.1.2
@@ -20,3 +20,15 @@ void ui_gtk_key(unsigned long key, int p
 void ui_gtk_mainenter(void);
 void ui_gtk_mainleave(void);
 void ui_gtk_closegymlog(void);
+void ui_gtk_closemusiclog(void);
+void ui_gtk_codes(void);
+void ui_gtk_codes_ok(void);
+void ui_gtk_codes_add(void);
+void ui_gtk_codes_delete(void);
+void ui_gtk_codes_deleteall(void);
+void ui_gtk_codes_apply(void);
+void ui_gtk_codes_clearsel(void);
+void ui_gtk_closeavi(void);
+GtkWidget *ui_gtk_newdiss(unsigned int type);
+void ui_gtk_updatediss(GtkWidget *disswin);
+void ui_gtk_redrawdiss(GtkWidget *canvas, GdkEventExpose *event);