mirror of
git://xwords.git.sourceforge.net/gitroot/xwords/xwords
synced 2025-01-23 07:27:22 +01:00
084a45296e
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. |
||
|---|---|---|
| .. | ||
| org/eehouse/android | ||
| xw4/assets | ||
| xw4dbg/assets | ||