scroll_bar_end_scroll 3974 src/pgtkterm.c 				  scroll_bar_end_scroll, 0, 0,
scroll_bar_end_scroll 15239 src/xterm.c    			       scroll_bar_end_scroll, 0, 0, false);
scroll_bar_end_scroll 15282 src/xterm.c    			       scroll_bar_end_scroll, 0, 0, true);
scroll_bar_end_scroll 15659 src/xterm.c                                   scroll_bar_end_scroll, 0, 0, bar->horizontal);