current_display_move = move_num + current_display_line.start_display_move_num;
}
current_display_line_is_history = (line_num == 0);
current_display_move = move_num + current_display_line.start_display_move_num;
}
current_display_line_is_history = (line_num == 0);