scroll_bar_end_scroll 3976 src/pgtkterm.c 				  scroll_bar_end_scroll, 0, 0,
scroll_bar_end_scroll 14926 src/xterm.c    			       scroll_bar_end_scroll, 0, 0, false);
scroll_bar_end_scroll 14969 src/xterm.c    			       scroll_bar_end_scroll, 0, 0, true);
scroll_bar_end_scroll 15352 src/xterm.c                                   scroll_bar_end_scroll, 0, 0, bar->horizontal);