ref: 8a7dad6d2d3bca56b2473bed6b70e184cf7dced5
parent: 6b6442b16c5de9f5f9479b736bf865a4236047cb
author: Simon Tatham <anakin@pobox.com>
date: Sat Jan 19 13:56:06 EST 2013
Bring Pearl's game-completion handling in line with my usual practice: the 'completed' flag is not reset if you make a new move transforming a solved game into an unsolved state, so the game won't flash again if you manually erase and redraw a line segment (though it still will if you undo and redo past the first solved state in the undo history). [originally from svn r9750]