From bbb73bb2e996a3daf2aa06a036c75b1936403ad0 Mon Sep 17 00:00:00 2001
From: Andy2 <andy2@trand>
Date: Sun, 21 Aug 2011 15:02:42 -0700
Subject: [PATCH] somehow dict deletion got broken (because wasn't adding file
 extention); fix.

---
 .../XWords4/src/org/eehouse/android/xw4/GameUtils.java        | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/xwords4/android/XWords4/src/org/eehouse/android/xw4/GameUtils.java b/xwords4/android/XWords4/src/org/eehouse/android/xw4/GameUtils.java
index 5eeec93a6..975daa65f 100644
--- a/xwords4/android/XWords4/src/org/eehouse/android/xw4/GameUtils.java
+++ b/xwords4/android/XWords4/src/org/eehouse/android/xw4/GameUtils.java
@@ -678,6 +678,7 @@ public class GameUtils {
 
     public static void deleteDict( Context context, String name )
     {
+        name = addDictExtn( name );
         deleteDict( context, name, getDictLoc( context, name ) );
     }
 
@@ -798,7 +799,8 @@ public class GameUtils {
                 fos.close();
                 success = true;
             } catch ( java.io.FileNotFoundException fnf ) {
-                Utils.logf( "saveDict: FileNotFoundException: %s", fnf.toString() );
+                Utils.logf( "saveDict: FileNotFoundException: %s", 
+                            fnf.toString() );
             } catch ( java.io.IOException ioe ) {
                 Utils.logf( "saveDict: IOException: %s", ioe.toString() );
                 deleteDict( context, name );