changeset 7969:7f15f77cb644

(x_window): Take account of pane widget internal border width.
author Richard M. Stallman <rms@gnu.org>
date Sun, 19 Jun 1994 19:07:47 +0000
parents a6372621abd9
children d8bede4feaed
files src/xfns.c
diffstat 1 files changed, 7 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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;