Eric House 084a45296e invalidate menu when board destroyed; shorten rematch name ... GamesList menu was in a bad state after a game closed because hadn't been rebuilt. It's simplest to invalidate it surgically, when the BoardDelegate notifies that the board's closed, though doing in in onWindowFocusChanged() might catch more edge cases. We'll see. I want a low-risk impact right now.		2017-01-09 07:04:58 -08:00
..
.gitignore	add preference, off by default, to disable relay play. This is for	2016-06-21 06:08:25 -07:00
BasEnglish2to8.xwd	add new flag bit to built-in wordlists	2013-04-20 19:46:52 -07:00
changes.html	invalidate menu when board destroyed; shorten rematch name	2017-01-09 07:04:58 -08:00
CollegeEng_2to8.xwd	add new flag bit to built-in wordlists	2013-04-20 19:46:52 -07:00
Top5000.xwd	add new flag bit to built-in wordlists	2013-04-20 19:46:52 -07:00