From bc14bd7f30e8973ab30e16a52bc483e0e19c3586 Mon Sep 17 00:00:00 2001 From: Ray Chason Date: Wed, 19 Aug 2026 17:48:09 -0400 Subject: [PATCH] Adjust extra menu width --- win/X11/winmenu.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/win/X11/winmenu.c b/win/X11/winmenu.c index 371124a62..e34c2b885 100644 --- a/win/X11/winmenu.c +++ b/win/X11/winmenu.c @@ -1084,8 +1084,8 @@ X11_select_menu(winid window, int how, menu_item **menu_list) XtSetArg(args[num_args], XtNheight, &v_pixel_height); num_args++; XtGetValues(wp->w, args, num_args); if ((Dimension) XtScreen(wp->w)->height * 5 / 6 < v_pixel_height) { - /* scrollbar is 14 pixels wide. Widen the form to accommodate it. */ - v_pixel_width += 14; + /* scrollbar is 17 pixels wide. Widen the form to accommodate it. */ + v_pixel_width += 17; /* shrink to fit vertically */ v_pixel_height = XtScreen(wp->w)->height * 5 / 6;