scroll_bar_move_ratio 15823 src/xterm.c part = scroll_bar_move_ratio; scroll_bar_move_ratio 15847 src/xterm.c part = scroll_bar_move_ratio;