(struct x_display): New field menubar_height.

diff --git a/src/xterm.h b/src/xterm.h
index 23a5bb16440628094372d77a7098092a3312adbc..90d1c78673f204bbd2c293ddee60f1e4585c4ef0 100644 (file)
--- a/src/xterm.h
+++ b/src/xterm.h
@@ -341,6 +341,12 @@ struct x_display
   /* Size of the X window in pixels.  */
   int pixel_height, pixel_width;
 
+  /* Height of menu bar widget, in pixels.
+     Zero if not using the X toolkit.
+     When using the toolkit, this value is not meaningful
+     if the menubar is turned off.  */
+  int menubar_height;
+
   /* Height of a line, in pixels.  */
   int line_height;