scroll_bar_end_scroll 3977 src/pgtkterm.c 				  scroll_bar_end_scroll, 0, 0,
scroll_bar_end_scroll 15297 src/xterm.c    			       scroll_bar_end_scroll, 0, 0, false);
scroll_bar_end_scroll 15340 src/xterm.c    			       scroll_bar_end_scroll, 0, 0, true);
scroll_bar_end_scroll 15717 src/xterm.c                                   scroll_bar_end_scroll, 0, 0, bar->horizontal);