}
var make_move = function(move) {
- history.length = move_override;
- history.push(move);
- move_override = history.length;
+ if (move_override < history.length && history[move_override] == move) {
+ // User effectively only moved forward in history.
+ ++move_override;
+ } else {
+ history.push(move);
+ move_override = history.length;
+ }
update();
}
window['make_move'] = make_move;