# HG changeset patch
# User Fred Pierresteguy <F.Pierresteguy@frcl.bull.fr>
# Date 762772189 0
# Node ID 044dcf8b9066c810cc0eb0e80348c3d2abf937f1
# Parent  d941186e8fb9e8d9477e237a535e728287db55de
(EmacsFrameSetCharSize): Don't call XtMakeResizeRequest. Use XtVaSetValues for
geometry management.

diff -r d941186e8fb9 -r 044dcf8b9066 src/widget.c
--- a/src/widget.c	Fri Mar 04 07:52:34 1994 +0000
+++ b/src/widget.c	Fri Mar 04 09:09:49 1994 +0000
@@ -882,17 +882,32 @@
        ? VERTICAL_SCROLL_BAR_PIXEL_WIDTH (f)
        : 0);
   char_to_pixel_size (ew, columns, rows, &pixel_width, &pixel_height);
-  result = XtMakeResizeRequest ((Widget)ew,
+
+/* Dont call XtMakeResize Request. This appears to not work for all
+   the cases.
+   Use XtVaSetValues instead.  */
+#if 0
+result = XtMakeResizeRequest ((Widget)ew,
 				pixel_width, pixel_height,
 				&granted_width, &granted_height);
   if (result == XtGeometryAlmost)
     XtMakeResizeRequest ((Widget) ew, granted_width, granted_height,
 			 NULL, NULL);
-  /* damn Paned widget won't ever change its width.  Force it. */
-  if (ew->core.width != pixel_width)
+#endif
+  /* Recompute the entire geometry management.  */
+  if (ew->core.width != pixel_width || ew->core.height != pixel_height)
     {
-      XtVaSetValues (XtParent ((Widget) ew), XtNwidth, pixel_width, 0);
-      XtVaSetValues ((Widget) ew, XtNwidth, pixel_width, 0);
+      int hdelta = pixel_height - ew->core.height;
+      int column_widget_height = f->display.x->column_widget->core.height;
+      XtVaSetValues ((Widget) ew, 
+		          XtNheight, pixel_height,
+		          XtNwidth, pixel_width,
+		          0);
+
+      XtVaSetValues (f->display.x->column_widget,
+		          XtNwidth, pixel_width,
+		          XtNheight, column_widget_height + hdelta, 
+		          0);
     }
 
   /* We've set {FRAME,PIXEL}_{WIDTH,HEIGHT} to the values we hope to