scroll_bar_move_ratio 15765 src/xterm.c    	part = scroll_bar_move_ratio;
scroll_bar_move_ratio 15789 src/xterm.c    	part = scroll_bar_move_ratio;