chiark / gitweb /
New name UI_UPDATE for interpret_move's return "".