# HG changeset patch
# User Karl Heuer <kwzh@gnu.org>
# Date 772160773 0
# Node ID 616f4e2e212071ab9931419ee49efc6181afadda
# Parent  26c3ce816369cfa82db632e780ca003c07ffb118
Fix previous change: use Dimension, not short.

diff -r 26c3ce816369 -r 616f4e2e2120 src/xfns.c
--- a/src/xfns.c	Tue Jun 21 00:42:12 1994 +0000
+++ b/src/xfns.c	Tue Jun 21 01:06:13 1994 +0000
@@ -1935,7 +1935,7 @@
 
     if (FRAME_EXTERNAL_MENU_BAR (f))
       {
-        short ibw;
+        Dimension ibw;
         XtVaGetValues (pane_widget, XtNinternalBorderWidth, &ibw, NULL);
         menubar_size += ibw;
       }