Commented out Robert's SetFont change for now; changed menu handling slightly

[wxWidgets.git] / src / gtk / threadgui.inc

diff --git a/src/gtk/threadgui.inc b/src/gtk/threadgui.inc
index 8195b0ddbdbb4c22ccc5828dc08f028314b3b146..165fef3c01b707352ffb92e9a2a2a694c00c3bf9 100644 (file)
--- a/src/gtk/threadgui.inc
+++ b/src/gtk/threadgui.inc
@@ -49,7 +49,7 @@ ThreadExitProc(gpointer WXUNUSED(client), gint fid,
 }
 
 // Global initialization
 }
 
 // Global initialization

-static void wxThreadGuiInit(void)
+static void wxThreadGuiInit()

 {
   pipe(p_thrd_pipe);
   p_thrd_inid = gdk_input_add(p_thrd_pipe[0], GDK_INPUT_READ,
 {
   pipe(p_thrd_pipe);
   p_thrd_inid = gdk_input_add(p_thrd_pipe[0], GDK_INPUT_READ,


@@ -57,7 +57,7 @@ static void wxThreadGuiInit(void)
 }
 
 // Global cleanup
 }
 
 // Global cleanup

-static void wxThreadGuiExit(void)
+static void wxThreadGuiExit()

 {
   gdk_input_remove(p_thrd_inid);
   close(p_thrd_pipe[0]);
 {
   gdk_input_remove(p_thrd_inid);
   close(p_thrd_pipe[0]);