chiark / gitweb /
Pegs: clear ui->cur_jumping on undo or redo.
authorSimon Tatham <anakin@pobox.com>
Sun, 10 Feb 2019 14:05:30 +0000 (14:05 +0000)
committerSimon Tatham <anakin@pobox.com>
Sun, 10 Feb 2019 14:05:30 +0000 (14:05 +0000)
commit1ba4e37228e6eae0d09c0cca7f4ab7fb489fdc9d
tree1aa7367bfb5226832c8f4b6f1132ea726aad9cbb
parentd7c873313e4e80f928377b5be8c6602b22154324
Pegs: clear ui->cur_jumping on undo or redo.

Fixes an assertion failure in which you move the keyboard cursor to a
peg, press Enter to indicate that you're about to jump it to
somewhere, and then instead execute an undo or redo action which
replaces the peg with a hole. Thanks to Vitaly Ostrosablin for the
report.
pegs.c