# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 870114791 0
# Node ID 1171ca6f02815bbbe0dab2c51e2ea62bd7ab4eb2
# Parent  db6728252ce2a40595282108a00c75cc848eda4d
(x_new_font): Follow the change in x_set_scroll_bar_width and make the
scroll bar at least 14 pixels wide.

diff -r db6728252ce2 -r 1171ca6f0281 src/xterm.c
--- a/src/xterm.c	Mon Jul 28 18:30:44 1997 +0000
+++ b/src/xterm.c	Mon Jul 28 18:33:11 1997 +0000
@@ -5289,7 +5289,10 @@
       f->scroll_bar_cols = (f->scroll_bar_pixel_width + wid-1) / wid;
     }
   else
-    f->scroll_bar_cols = 2;
+    {
+      int wid = FONT_WIDTH (f->output_data.x->font);
+      f->scroll_bar_cols = (14 + wid - 1) / wid;
+    }
 
   /* Now make the frame display the given font.  */
   if (FRAME_X_WINDOW (f) != 0)