X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=gtk%2Fxboard.c;h=a5b015c045532382fdcdf86acc1adbf5a011b9ed;hb=45609e1f60534051fc729485d692081aa7bf1314;hp=a4f721d67dc2feb886bc6f98c16e65be9b124dad;hpb=eea9762ed01db254f9936bcd8708c73fc6a1678e;p=xboard.git

diff --git a/gtk/xboard.c b/gtk/xboard.c
index a4f721d..a5b015c 100644
--- a/gtk/xboard.c
+++ b/gtk/xboard.c
@@ -256,6 +256,7 @@ WindowPlacement wpEvalGraph;
 WindowPlacement wpEngineOutput;
 WindowPlacement wpGameList;
 WindowPlacement wpTags;
+WindowPlacement wpDualBoard;
 
 /* This magic number is the number of intermediate frames used
    in each half of the animation. For short moves it's reduced
@@ -690,6 +691,21 @@ PrintOptions ()
   if(len) buf[len] = NULLCHAR, printf("%s\n", buf);
 }
 
+void
+SlaveResize (Option *opt)
+{
+    static int slaveW, slaveH, w, h;
+    GtkAllocation a;
+    if(!slaveH) {
+	gtk_widget_get_allocation(shells[DummyDlg], &a);
+	w = a.width; h = a.height;
+	gtk_widget_get_allocation(opt->handle, &a);
+	slaveW =  w - opt->max; // [HGM] needed to set new shellWidget size when we resize board
+	slaveH =  h - a.height + 13;
+   }
+  gtk_window_resize(GTK_WINDOW(shells[DummyDlg]), slaveW + opt->max, slaveH + opt->value);
+}
+
 int
 main (int argc, char **argv)
 {
@@ -1236,7 +1252,7 @@ FindFont (char *pattern, int targetPxlSize)
         safeStrCpy(p, best, strlen(best)+1 );
     }
     if (appData.debugMode) {
-        fprintf(debugFP, _("resolved %s at pixel size %d\n  to %s\n"),
+        fprintf(debugFP, "resolved %s at pixel size %d\n  to %s\n",
 		pattern, targetPxlSize, p);
     }
     XFreeFontNames(fonts);