From 54935831ff7911adf82a4ce6bc65cee9b12eb97e Mon Sep 17 00:00:00 2001
From: sjborley <sjborley>
Date: Tue, 6 Sep 2005 20:21:09 +0000
Subject: [PATCH] Added work-round for missing scroll bar  (seems to be an
 X-Windows bug)

---
 src/frontend/help/x11disp.c | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/frontend/help/x11disp.c b/src/frontend/help/x11disp.c
index bf72dc6df..43a4ddb74 100644
--- a/src/frontend/help/x11disp.c
+++ b/src/frontend/help/x11disp.c
@@ -2,6 +2,7 @@
 Copyright 1990 Regents of the University of California.  All rights reserved.
 Author: Jeffrey M. Hsu
 Modified 1999 Emmanuel Rouat
+$Id$
 **********/
 
 #include <config.h>
@@ -112,8 +113,8 @@ hlp_xdisplay(topic *top)
     top->chartext = buf;  /* make sure gets deallocated later XXX */
     XtSetArg(htextargs[0], XtNstring, top->chartext);
     XtSetArg(htextargs[1], XtNallowResize, True);
-    XtSetArg(htextargs[2], XtNscrollHorizontal, True );
-    XtSetArg(htextargs[3], XtNscrollVertical, True );
+    XtSetArg(htextargs[2], XtNscrollHorizontal, XawtextScrollWhenNeeded );
+    XtSetArg(htextargs[3], XtNscrollVertical, XawtextScrollAlways );
     XtSetArg(htextargs[4], XtNfromVert, top->titlewidget);
     XtSetArg(htextargs[5], XtNwidth, 660);
     XtSetArg(htextargs[6], XtNheight, 350);