# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 772052867 0
# Node ID 7f15f77cb644f8de63410d2d61db8d07917498d6
# Parent  a6372621abd91cccfb7806de1aaf37c7c79c401f
(x_window): Take account of pane widget internal border width.

diff -r a6372621abd9 -r 7f15f77cb644 src/xfns.c
--- a/src/xfns.c	Sun Jun 19 18:20:52 1994 +0000
+++ b/src/xfns.c	Sun Jun 19 19:07:47 1994 +0000
@@ -1939,6 +1939,13 @@
                    NULL);
     menubar_size += ibw;
 
+    if (FRAME_EXTERNAL_MENU_BAR (f))
+      {
+        int ibw;
+        XtVaGetValues (pane_widget, XtNinternalBorderWidth, &ibw, NULL);
+        menubar_size += ibw;
+      }
+
     if (window_prompting & USPosition)
       {
 	int left = f->display.x->left_pos;