From: Reimar Döffinger Date: Mon, 14 Dec 2015 23:45:16 +0000 (+0100) Subject: Refine handling of broken dictionaries. X-Git-Url: http://gitweb.fperrin.net/?p=Dictionary.git;a=commitdiff_plain;h=abe2c6e24d103386b4ac0af29c9374760a3b3284 Refine handling of broken dictionaries. --- diff --git a/src/com/hughes/android/dictionary/DictionaryManagerActivity.java b/src/com/hughes/android/dictionary/DictionaryManagerActivity.java index 13dc94f..8ec7d2c 100644 --- a/src/com/hughes/android/dictionary/DictionaryManagerActivity.java +++ b/src/com/hughes/android/dictionary/DictionaryManagerActivity.java @@ -579,13 +579,15 @@ public class DictionaryManagerActivity extends ActionBarActivity { builder.append(getString(R.string.indexInfo, indexInfo.shortName, indexInfo.mainTokenCount)); } - if (downloadable != null) { + if (downloadable != null || dictionaryInfo != null) { builder.append("; "); - builder.append(getString(R.string.downloadButton, downloadable.uncompressedBytes / 1024.0 / 1024.0)); + builder.append(getString(R.string.downloadButton, (dictionaryInfo != null ? dictionaryInfo.uncompressedBytes : downloadable.uncompressedBytes) / 1024.0 / 1024.0)); } if (broken) { name.setText("Broken: " + application.getDictionaryName(dictionaryInfo.uncompressedFilename)); builder.append("; Cannot be used, redownload, check hardware/file system"); + // Allow deleting, but cannot open + row.setLongClickable(true); } details.setText(builder.toString());