From f4f341f1286dbeb5da854b56f8f45910994d5e02 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Reimar=20D=C3=B6ffinger?= <Reimar.Doeffinger@gmx.de>
Date: Wed, 9 Dec 2015 17:41:58 +0100
Subject: [PATCH] Fix crash if unknown dictionaries exist.

---
 .../android/dictionary/DictionaryManagerActivity.java       | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/com/hughes/android/dictionary/DictionaryManagerActivity.java b/src/com/hughes/android/dictionary/DictionaryManagerActivity.java
index bd9f364..b8144a4 100644
--- a/src/com/hughes/android/dictionary/DictionaryManagerActivity.java
+++ b/src/com/hughes/android/dictionary/DictionaryManagerActivity.java
@@ -574,8 +574,10 @@ public class DictionaryManagerActivity extends ActionBarActivity {
             builder.append(getString(R.string.indexInfo, indexInfo.shortName,
                     indexInfo.mainTokenCount));
         }
-        builder.append("; ");
-        builder.append(getString(R.string.downloadButton, downloadable.uncompressedBytes / 1024.0 / 1024.0));
+        if (downloadable != null) {
+            builder.append("; ");
+            builder.append(getString(R.string.downloadButton, downloadable.uncompressedBytes / 1024.0 / 1024.0));
+        }
         details.setText(builder.toString());
 
         if (canLaunch) {
-- 
2.43.0