void
BoardToTop ()
{
- gtk_window_present(GTK_WINDOW(mainwindow));
+ gtk_window_present(GTK_WINDOW(shells[BoardWindow]));
}
//---------------------------------------------------------------------------------------------------------
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;