Workaround for (what looks like) a bug in XQuartz on MacOS.

diff --git a/v7/src/microcode/x11term.c b/v7/src/microcode/x11term.c
index ed4ebab637fc19afea5374f85b9186faa9b8800b..762c5d59cd2d6015d5f818edb80388742fda5db7 100644 (file)
--- a/v7/src/microcode/x11term.c
+++ b/v7/src/microcode/x11term.c
@@ -1,6 +1,6 @@
 /* -*-C-*-
 
-$Id: x11term.c,v 1.36 2008/01/30 20:02:23 cph Exp $
+$Id: x11term.c,v 1.37 2008/08/23 21:08:27 cph Exp $
 
 Copyright (C) 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994,
     1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005,
@@ -580,6 +580,9 @@ DEFINE_PRIMITIVE ("XTERM-SET-SIZE", Prim_xterm_set_size, 3, 3, 0)
   PRIMITIVE_HEADER (3);
   xw = (x_window_arg (1));
   extra = (2 * (XW_INTERNAL_BORDER_WIDTH (xw)));
+#ifdef __APPLE__
+  extra += 1;
+#endif
   font = (XW_FONT (xw));
   XResizeWindow
     ((XW_DISPLAY (xw)),