-var print_pv = function(line_num, pretty_pv, move_num, toplay, opt_limit, opt_showlast) {
+var print_pv = function(line_num, opt_limit, opt_showlast) {
+ var display_line = display_lines[line_num];
+ var pretty_pv = display_line.pretty_pv;
+ var move_num = display_line.move_num;
+ var toplay = display_line.toplay;
+