Miroirs/xwords
1
0
Fork 0
mirror of git://xwords.git.sourceforge.net/gitroot/xwords/xwords synced 2025-01-22 07:28:16 +01:00
Code Issues Projects Releases Packages Wiki Activity

fix NPE: update menu after deleting games

Browse source
This commit is contained in:
Eric House 2013-10-16 21:03:19 -07:00
parent 85382c982c
commit 2a01d25a29
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
xwords4/android/XWords4/src/org/eehouse/android/xw4/GamesList.java
View file

@ -1081,7 +1081,7 @@ public class GamesList extends XWExpandableListActivity
GameUtils.deleteGame( this, rowid, false );
}
m_selected.clear();
Utils.invalidateOptionsMenuIf( this );
NetUtils.informOfDeaths( this );
}