Revision 437:2e058007c6bc

ID2e058007c6bc3307eb8ac7338e9a623deb36abb6
Parent 435:cea66c2af560
Child 438:ad3f61134bb4

Added by Giulio Moro over 9 years ago

update_board better parsing of user input, press a key to continue to improve experience of double-clickers

Downloads

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences