// this move, then select that. Note that this gives us a good priority
// order (history first, then PV, then multi-PV lines).
for (var i = 0; i < display_lines.length; ++i) {
// this move, then select that. Note that this gives us a good priority
// order (history first, then PV, then multi-PV lines).
for (var i = 0; i < display_lines.length; ++i) {