scroll_bar_move_ratio 15458 src/xterm.c    	part = scroll_bar_move_ratio;
scroll_bar_move_ratio 15482 src/xterm.c    	part = scroll_bar_move_ratio;