X-Git-Url: http://winboard.nl/cgi-bin?a=blobdiff_plain;f=xoptions.c;h=a21d487832c3d25f658ec105924947d7495ef904;hb=580c6c9071703cf3a3923d091c92132f9cf8980a;hp=d3e24626b1421b04c71a54d1286190c20766f5f8;hpb=2bffacba213f0fc7c84ca19710c0a4dbedcc2b6e;p=xboard.git

diff --git a/xoptions.c b/xoptions.c
index d3e2462..a21d487 100644
--- a/xoptions.c
+++ b/xoptions.c
@@ -1095,8 +1095,9 @@ GenericPopUp (Option *option, char *title, int dlgNr)
 	    XtSetArg(args[j], XtNfromHoriz, dialog);  j++;
 	    XtSetArg(args[j], XtNborderWidth, 1); j++;
 	    XtSetArg(args[j], XtNwidth, w); j++;
+	    XtSetArg(args[j], XtNheight, textHeight);  j++; // [HGM] use message widget
 	    if(option[i].type == TextBox && option[i].min) {
-		XtSetArg(args[j], XtNheight, option[i].min); j++;
+		XtSetArg(args[j-1], XtNheight, option[i].min); // overwrite
 		if(option[i].value & 1) { XtSetArg(args[j], XtNscrollVertical, XawtextScrollAlways);  j++; }
 		if(option[i].value & 2) { XtSetArg(args[j], XtNscrollHorizontal, XawtextScrollAlways);  j++; }
 		if(option[i].value & 4) { XtSetArg(args[j], XtNautoFill, True);  j++; }