X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=gtk%2Fxboard.c;h=e10774613aca336f59e19bdd03050ec5a22c05bb;hb=a56bd5ee92e43cbf5537d877fd4010e5e34a3e11;hp=c52a0801ee82b6d983851cfb24226835d882eda9;hpb=837c38c974b1c86c26a5bb1499d4fa72f0c25c41;p=xboard.git

diff --git a/gtk/xboard.c b/gtk/xboard.c
index c52a080..e107746 100644
--- a/gtk/xboard.c
+++ b/gtk/xboard.c
@@ -371,7 +371,7 @@ String xboardResources[] = {
 void
 BoardToTop ()
 {
-  gtk_window_present(GTK_WINDOW(mainwindow));
+  gtk_window_present(GTK_WINDOW(shells[BoardWindow]));
 }
 
 //---------------------------------------------------------------------------------------------------------
@@ -2061,7 +2061,7 @@ UpdateLogos (int displ)
     return;
 }
 
-void FileNamePopUpGTK(label, def, filter, proc, pathFlag, openMode, name, fp)
+void FileNamePopUpWrapper(label, def, filter, proc, pathFlag, openMode, name, fp)
      char *label;
      char *def;
      char *filter;