expand children after a delete (to be consistent, though it'd be

better to rememeber state)

xwords4/android/XWords4/src/org/eehouse/android/xw4/DictsActivity.java

@@ -597,6 +597,7 @@ public class DictsActivity extends ExpandableListActivity
         DictUtils.deleteDict( this, dict, loc );
         DictLangCache.inval( this, dict, loc, false );
         mkListAdapter();
+        expandGroups();
     }
 
     private void askStartDownload( int lang, String name )