# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 770820222 0
# Node ID f127eb11ea7f351813704be79c17cb6aeab4b5a0
# Parent  3c9a17efac915de438db5763dcd2aa86e91927fc
(x_window): Take account of internal border of paned widget.

diff -r 3c9a17efac91 -r f127eb11ea7f src/xfns.c
--- a/src/xfns.c	Sun Jun 05 12:12:44 1994 +0000
+++ b/src/xfns.c	Sun Jun 05 12:43:42 1994 +0000
@@ -1908,12 +1908,18 @@
     char *tem, shell_position[32];
     Arg al[2];
     int ac = 0;
+    int ibw;
     int menubar_size 
       = (f->display.x->menubar_widget
 	 ? (f->display.x->menubar_widget->core.height
 	    + f->display.x->menubar_widget->core.border_width)
 	 : 0);
 
+    XtVaGetValues (pane_widget,
+                   XtNinternalBorderWidth, &ibw,
+                   NULL);
+    menubar_size += ibw;
+
     if (window_prompting & USPosition)
       {
 	int left = f->display.x->left_pos;