From 4e61bddf045f4252cfbed088afb45917f44dcf06 Mon Sep 17 00:00:00 2001 From: "Richard M. Stallman" Date: Mon, 28 Jul 1997 18:33:11 +0000 Subject: [PATCH] (x_new_font): Follow the change in x_set_scroll_bar_width and make the scroll bar at least 14 pixels wide. --- src/xterm.c | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/xterm.c b/src/xterm.c index cc29cf915a7..62ea22abeee 100644 --- a/src/xterm.c +++ b/src/xterm.c @@ -5289,7 +5289,10 @@ x_new_font (f, fontname) 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) -- 2.39.5