xg_end_scroll_callback 3998 src/pgtkterm.c 			G_CALLBACK (xg_end_scroll_callback), scroll_bar_name);
xg_end_scroll_callback 4010 src/pgtkterm.c 				   G_CALLBACK (xg_end_scroll_callback),
xg_end_scroll_callback 15705 src/xterm.c    xg_end_scroll_callback (GtkWidget *widget,
xg_end_scroll_callback 15873 src/xterm.c                            G_CALLBACK (xg_end_scroll_callback),
xg_end_scroll_callback 15885 src/xterm.c    				   G_CALLBACK (xg_end_scroll_callback),