]> gitweb.fperrin.net Git - Dictionary.git/blobdiff - src/com/hughes/android/dictionary/DictionaryManagerActivity.java
Switch to app compat preferences.
[Dictionary.git] / src / com / hughes / android / dictionary / DictionaryManagerActivity.java
index c06ccc30504cfcac927e063629a67c424a709cd7..faf507da40dca60fd84a5ab53b1f551da1c4c5e1 100644 (file)
 
 package com.hughes.android.dictionary;
 
+import android.Manifest;
+import android.app.AlertDialog;
+import android.app.DownloadManager;
+import android.app.DownloadManager.Request;
+import android.content.BroadcastReceiver;
+import android.content.Context;
 import android.content.Intent;
+import android.content.IntentFilter;
 import android.content.SharedPreferences;
 import android.content.SharedPreferences.Editor;
+import android.content.pm.PackageManager;
+import android.database.Cursor;
+import android.net.Uri;
+import android.os.Build;
 import android.os.Bundle;
+import android.os.Environment;
 import android.os.Handler;
-import android.preference.PreferenceManager;
-import android.text.Editable;
-import android.text.TextWatcher;
+import android.support.v7.preference.PreferenceManager;
+import android.provider.Settings;
+import android.support.annotation.NonNull;
+import android.support.v4.app.ActivityCompat;
+import android.support.v4.content.ContextCompat;
+import android.support.v4.view.MenuItemCompat;
+import android.support.v7.app.ActionBar;
+import android.support.v7.app.AppCompatActivity;
+import android.support.v7.widget.SearchView;
+import android.support.v7.widget.SearchView.OnQueryTextListener;
+import android.support.v7.widget.Toolbar;
+import android.text.InputType;
 import android.util.Log;
 import android.view.ContextMenu;
 import android.view.ContextMenu.ContextMenuInfo;
 import android.view.LayoutInflater;
+import android.view.Menu;
+import android.view.MenuItem;
 import android.view.View;
+import android.view.View.OnClickListener;
 import android.view.ViewGroup;
-import android.widget.AdapterView;
+import android.view.inputmethod.EditorInfo;
 import android.widget.AdapterView.AdapterContextMenuInfo;
-import android.widget.AdapterView.OnItemClickListener;
 import android.widget.BaseAdapter;
 import android.widget.Button;
 import android.widget.CompoundButton;
 import android.widget.CompoundButton.OnCheckedChangeListener;
-import android.widget.EditText;
+import android.widget.FrameLayout;
 import android.widget.ImageButton;
-import android.widget.ImageView;
 import android.widget.LinearLayout;
+import android.widget.ListAdapter;
+import android.widget.ListView;
 import android.widget.TextView;
+import android.widget.Toast;
 import android.widget.ToggleButton;
 
-import com.actionbarsherlock.app.SherlockActivity;
-import com.actionbarsherlock.app.SherlockListActivity;
-import com.actionbarsherlock.view.Menu;
-import com.actionbarsherlock.view.MenuInflater;
-import com.actionbarsherlock.widget.SearchView;
-import com.actionbarsherlock.widget.SearchView.OnQueryTextListener;
 import com.hughes.android.dictionary.DictionaryInfo.IndexInfo;
-import com.hughes.android.dictionary.engine.Language;
-import com.hughes.android.dictionary.engine.Language.LanguageResources;
 import com.hughes.android.util.IntentLauncher;
 
+import java.io.BufferedInputStream;
 import java.io.File;
-import java.util.ArrayList;
+import java.io.FileInputStream;
+import java.io.FileOutputStream;
+import java.io.IOException;
+import java.io.InputStream;
+import java.net.MalformedURLException;
+import java.net.URL;
+import java.nio.ByteBuffer;
+import java.nio.channels.FileChannel;
+import java.util.Collections;
+import java.util.HashSet;
 import java.util.List;
+import java.util.Set;
+import java.util.regex.Pattern;
+import java.util.zip.ZipEntry;
+import java.util.zip.ZipInputStream;
 
-public class DictionaryManagerActivity extends SherlockActivity {
+// Right-click:
+//  Delete, move to top.
 
-    static final String LOG = "QuickDic";
-    static boolean blockAutoLaunch = false;
+public class DictionaryManagerActivity extends AppCompatActivity {
 
-    DictionaryApplication application;
-//    Adapter adapter;
+    private static final String LOG = "QuickDic";
+    private static boolean blockAutoLaunch = false;
 
-    // EditText filterText;
-    SearchView filterSearchView;
-    ToggleButton showDownloadable;
+    private ListView listView;
+    private ListView getListView() {
+        if (listView == null) {
+            listView = (ListView)findViewById(android.R.id.list);
+        }
+        return listView;
+    }
+    private void setListAdapter(ListAdapter adapter) {
+        getListView().setAdapter(adapter);
+    }
+    private ListAdapter getListAdapter() {
+        return getListView().getAdapter();
+    }
+
+    // For DownloadManager bug workaround
+    private final Set<Long> finishedDownloadIds = new HashSet<>();
+
+    private DictionaryApplication application;
 
-    LinearLayout dictionariesOnDevice;
-    LinearLayout downloadableDictionaries;
+    private SearchView filterSearchView;
+    private ToggleButton showDownloadable;
+
+    private LinearLayout dictionariesOnDeviceHeaderRow;
+    private LinearLayout downloadableDictionariesHeaderRow;
+
+    private Handler uiHandler;
+
+    private final Runnable dictionaryUpdater = new Runnable() {
+        @Override
+        public void run() {
+            if (uiHandler == null) {
+                return;
+            }
+            uiHandler.post(new Runnable() {
+                @Override
+                public void run() {
+                    setMyListAdapter();
+                }
+            });
+        }
+    };
 
-    Handler uiHandler;
+    private final BroadcastReceiver broadcastReceiver = new BroadcastReceiver() {
+        @Override
+        public synchronized void onReceive(Context context, Intent intent) {
+            final String action = intent.getAction();
+
+            if (DownloadManager.ACTION_NOTIFICATION_CLICKED.equals(action)) {
+                startActivity(getLaunchIntent(getApplicationContext()).addFlags(Intent.FLAG_ACTIVITY_NEW_TASK | Intent.FLAG_ACTIVITY_CLEAR_TOP));
+            }
+            if (DownloadManager.ACTION_DOWNLOAD_COMPLETE.equals(action)) {
+                final long downloadId = intent.getLongExtra(
+                                            DownloadManager.EXTRA_DOWNLOAD_ID, 0);
+                if (finishedDownloadIds.contains(downloadId)) return; // ignore double notifications
+                final DownloadManager.Query query = new DownloadManager.Query();
+                query.setFilterById(downloadId);
+                final DownloadManager downloadManager = (DownloadManager) getSystemService(DOWNLOAD_SERVICE);
+                final Cursor cursor = downloadManager.query(query);
+
+                if (cursor == null || !cursor.moveToFirst()) {
+                    Log.e(LOG, "Couldn't find download.");
+                    return;
+                }
+
+                final String dest = cursor
+                                    .getString(cursor.getColumnIndex(DownloadManager.COLUMN_LOCAL_URI));
+                final int status = cursor
+                                   .getInt(cursor
+                                           .getColumnIndex(DownloadManager.COLUMN_STATUS));
+                if (DownloadManager.STATUS_SUCCESSFUL != status) {
+                    final int reason = cursor.getInt(cursor.getColumnIndex(DownloadManager.COLUMN_REASON));
+                    Log.w(LOG,
+                          "Download failed: status=" + status +
+                          ", reason=" + reason);
+                    String msg = Integer.toString(reason);
+                    switch (reason) {
+                    case DownloadManager.ERROR_FILE_ALREADY_EXISTS:
+                        msg = "File exists";
+                        break;
+                    case DownloadManager.ERROR_FILE_ERROR:
+                        msg = "File error";
+                        break;
+                    case DownloadManager.ERROR_INSUFFICIENT_SPACE:
+                        msg = "Not enough space";
+                        break;
+                    }
+                    new AlertDialog.Builder(context).setTitle(getString(R.string.error)).setMessage(getString(R.string.downloadFailed, msg)).setNeutralButton("Close", null).show();
+                    return;
+                }
+
+                Log.w(LOG, "Download finished: " + dest + " Id: " + downloadId);
+                if (!isFinishing())
+                    Toast.makeText(context, getString(R.string.unzippingDictionary, dest),
+                                   Toast.LENGTH_LONG).show();
+
+                if (unzipInstall(context, Uri.parse(dest), dest, true)) {
+                    finishedDownloadIds.add(downloadId);
+                    Log.w(LOG, "Unzipping finished: " + dest + " Id: " + downloadId);
+                }
+            }
+        }
+    };
+
+    private boolean unzipInstall(Context context, Uri zipUri, String dest, boolean delete) {
+        File localZipFile = null;
+        InputStream zipFileStream = null;
+        ZipInputStream zipFile = null;
+        FileOutputStream zipOut = null;
+        boolean result = false;
+        try {
+            if (zipUri.getScheme().equals("content")) {
+                zipFileStream = context.getContentResolver().openInputStream(zipUri);
+                localZipFile = null;
+            } else {
+                localZipFile = new File(zipUri.getPath());
+                try {
+                    zipFileStream = new FileInputStream(localZipFile);
+                } catch (Exception e) {
+                    if (ContextCompat.checkSelfPermission(getApplicationContext(), Manifest.permission.READ_EXTERNAL_STORAGE) != PackageManager.PERMISSION_GRANTED) {
+                        ActivityCompat.requestPermissions(this,
+                                                  new String[] {Manifest.permission.READ_EXTERNAL_STORAGE,
+                                                          Manifest.permission.WRITE_EXTERNAL_STORAGE
+                                                               }, 0);
+                        return false;
+                    }
+                    throw e;
+                }
+            }
+            zipFile = new ZipInputStream(new BufferedInputStream(zipFileStream));
+            ZipEntry zipEntry;
+            while ((zipEntry = zipFile.getNextEntry()) != null) {
+                // Note: this check prevents security issues like accidental path
+                // traversal, which unfortunately ZipInputStream has no protection against.
+                // So take extra care when changing it.
+                if (!Pattern.matches("[-A-Za-z]+\\.quickdic", zipEntry.getName())) {
+                    Log.w(LOG, "Invalid zip entry: " + zipEntry.getName());
+                    continue;
+                }
+                Log.d(LOG, "Unzipping entry: " + zipEntry.getName());
+                File targetFile = new File(application.getDictDir(), zipEntry.getName());
+                if (targetFile.exists()) {
+                    targetFile.renameTo(new File(targetFile.getAbsolutePath().replace(".quickdic", ".bak.quickdic")));
+                    targetFile = new File(application.getDictDir(), zipEntry.getName());
+                }
+                zipOut = new FileOutputStream(targetFile);
+                copyStream(zipFile, zipOut);
+            }
+            application.backgroundUpdateDictionaries(dictionaryUpdater);
+            if (!isFinishing())
+                Toast.makeText(context, getString(R.string.installationFinished, dest),
+                               Toast.LENGTH_LONG).show();
+            result = true;
+        } catch (Exception e) {
+            String msg = getString(R.string.unzippingFailed, dest + ": " + e.getMessage());
+            File dir = application.getDictDir();
+            if (!dir.canWrite() || !DictionaryApplication.checkFileCreate(dir)) {
+                msg = getString(R.string.notWritable, dir.getAbsolutePath());
+            }
+            new AlertDialog.Builder(context).setTitle(getString(R.string.error)).setMessage(msg).setNeutralButton("Close", null).show();
+            Log.e(LOG, "Failed to unzip.", e);
+        } finally {
+            try {
+                if (zipOut != null) zipOut.close();
+            } catch (IOException ignored) {}
+            try {
+                if (zipFile != null) zipFile.close();
+            } catch (IOException ignored) {}
+            try {
+                if (zipFileStream != null) zipFileStream.close();
+            } catch (IOException ignored) {}
+            if (localZipFile != null && delete) //noinspection ResultOfMethodCallIgnored
+                localZipFile.delete();
+        }
+        return result;
+    }
 
-    public static Intent getLaunchIntent() {
-        final Intent intent = new Intent();
-        intent.setClassName(DictionaryManagerActivity.class.getPackage().getName(),
-                DictionaryManagerActivity.class.getName());
+    public static Intent getLaunchIntent(Context c) {
+        final Intent intent = new Intent(c, DictionaryManagerActivity.class);
         intent.putExtra(C.CAN_AUTO_LAUNCH_DICT, false);
         return intent;
     }
 
+    private void readableCheckAndError(boolean requestPermission) {
+        final File dictDir = application.getDictDir();
+        if (dictDir.canRead() && dictDir.canExecute()) return;
+        blockAutoLaunch = true;
+        if (requestPermission &&
+                ContextCompat.checkSelfPermission(getApplicationContext(), Manifest.permission.READ_EXTERNAL_STORAGE) != PackageManager.PERMISSION_GRANTED) {
+            ActivityCompat.requestPermissions(this,
+                                              new String[] {Manifest.permission.READ_EXTERNAL_STORAGE,
+                                                      Manifest.permission.WRITE_EXTERNAL_STORAGE
+                                                           }, 0);
+            return;
+        }
+        blockAutoLaunch = true;
+
+        AlertDialog.Builder builder = new AlertDialog.Builder(getListView().getContext());
+        builder.setTitle(getString(R.string.error));
+        builder.setMessage(getString(
+                               R.string.unableToReadDictionaryDir,
+                               dictDir.getAbsolutePath(),
+                               Environment.getExternalStorageDirectory()));
+        builder.setNeutralButton("Close", null);
+        builder.create().show();
+    }
+
+    @Override
+    public void onRequestPermissionsResult(int requestCode, @NonNull String[] permissions, @NonNull int[] grantResults) {
+        readableCheckAndError(false);
+
+        application.backgroundUpdateDictionaries(dictionaryUpdater);
+
+        setMyListAdapter();
+    }
+
+    @Override
     public void onCreate(Bundle savedInstanceState) {
-        setTheme(((DictionaryApplication) getApplication()).getSelectedTheme().themeId);
+        DictionaryApplication.INSTANCE.init(getApplicationContext());
+        application = DictionaryApplication.INSTANCE;
+        // This must be first, otherwise the action bar doesn't get
+        // styled properly.
+        setTheme(application.getSelectedTheme().themeId);
 
         super.onCreate(savedInstanceState);
         Log.d(LOG, "onCreate:" + this);
 
-        application = (DictionaryApplication) getApplication();
+        setTheme(application.getSelectedTheme().themeId);
+
+        blockAutoLaunch = false;
 
         // UI init.
         setContentView(R.layout.dictionary_manager_activity);
 
-        dictionariesOnDevice = (LinearLayout) findViewById(R.id.dictionariesOnDeviceGoHere);
-        downloadableDictionaries = (LinearLayout) findViewById(R.id.downloadableDictionariesGoHere);
-
-        // filterText = (EditText) findViewById(R.id.filterText);
-        //
-        // filterText.addTextChangedListener(new TextWatcher() {
-        // @Override
-        // public void onTextChanged(CharSequence s, int start, int before, int
-        // count) {
-        // }
-        //
-        // @Override
-        // public void beforeTextChanged(CharSequence s, int start, int count,
-        // int after) {
-        // }
-        //
-        // @Override
-        // public void afterTextChanged(Editable s) {
-        // onFilterTextChanged();
-        // }
-        // });
-
-        // final ImageButton clearSearchText = (ImageButton)
-        // findViewById(R.id.ClearSearchTextButton);
-        // clearSearchText.setOnClickListener(new View.OnClickListener() {
-        // @Override
-        // public void onClick(View arg0) {
-        // filterText.setText("");
-        // filterText.requestFocus();
-        // }
-        // });
-
-        showDownloadable = (ToggleButton) findViewById(R.id.hideDownloadable);
+        dictionariesOnDeviceHeaderRow = (LinearLayout) LayoutInflater.from(
+                                            getListView().getContext()).inflate(
+                                            R.layout.dictionary_manager_header_row_on_device, getListView(), false);
+
+        downloadableDictionariesHeaderRow = (LinearLayout) LayoutInflater.from(
+                                                getListView().getContext()).inflate(
+                                                R.layout.dictionary_manager_header_row_downloadable, getListView(), false);
+
+        showDownloadable = downloadableDictionariesHeaderRow
+                           .findViewById(R.id.hideDownloadable);
         showDownloadable.setOnCheckedChangeListener(new OnCheckedChangeListener() {
             @Override
             public void onCheckedChanged(CompoundButton buttonView, boolean isChecked) {
-                onShowLocalChanged();
+                onShowDownloadableChanged();
             }
         });
 
-        // ContextMenu.
-        // registerForContextMenu(getListView());
-
-        blockAutoLaunch = false;
+        /*
+        Disable version update notification, I don't maintain the text really
+        and I don't think it is very useful.
         final SharedPreferences prefs = PreferenceManager.getDefaultSharedPreferences(this);
         final String thanksForUpdatingLatestVersion = getString(R.string.thanksForUpdatingVersion);
         if (!prefs.getString(C.THANKS_FOR_UPDATING_VERSION, "").equals(
-                thanksForUpdatingLatestVersion)) {
+                    thanksForUpdatingLatestVersion)) {
             blockAutoLaunch = true;
-            startActivity(HtmlDisplayActivity.getWhatsNewLaunchIntent());
+            startActivity(HtmlDisplayActivity.getWhatsNewLaunchIntent(getApplicationContext()));
             prefs.edit().putString(C.THANKS_FOR_UPDATING_VERSION, thanksForUpdatingLatestVersion)
-                    .commit();
+            .commit();
+        }
+        */
+        IntentFilter downloadManagerIntents = new IntentFilter(DownloadManager.ACTION_DOWNLOAD_COMPLETE);
+        downloadManagerIntents.addAction(DownloadManager.ACTION_NOTIFICATION_CLICKED);
+        registerReceiver(broadcastReceiver, downloadManagerIntents);
+
+        setMyListAdapter();
+        registerForContextMenu(getListView());
+        getListView().setItemsCanFocus(true);
+
+        readableCheckAndError(true);
+
+        onCreateSetupActionBar();
+
+        final Intent intent = getIntent();
+        if (intent != null && intent.getAction() != null &&
+            intent.getAction().equals(Intent.ACTION_VIEW)) {
+            blockAutoLaunch = true;
+            Uri uri = intent.getData();
+            unzipInstall(this, uri, uri.getLastPathSegment(), false);
         }
     }
 
+    private void onCreateSetupActionBar() {
+        ActionBar actionBar = getSupportActionBar();
+        actionBar.setDisplayShowTitleEnabled(false);
+        actionBar.setDisplayShowHomeEnabled(false);
+        actionBar.setDisplayHomeAsUpEnabled(false);
+
+        filterSearchView = new SearchView(getSupportActionBar().getThemedContext());
+        filterSearchView.setIconifiedByDefault(false);
+        // filterSearchView.setIconified(false); // puts the magnifying glass in
+        // the
+        // wrong place.
+        filterSearchView.setQueryHint(getString(R.string.searchText));
+        filterSearchView.setSubmitButtonEnabled(false);
+        FrameLayout.LayoutParams lp = new FrameLayout.LayoutParams(FrameLayout.LayoutParams.WRAP_CONTENT,
+                FrameLayout.LayoutParams.WRAP_CONTENT);
+        filterSearchView.setLayoutParams(lp);
+        filterSearchView.setInputType(InputType.TYPE_CLASS_TEXT);
+        filterSearchView.setImeOptions(
+            EditorInfo.IME_ACTION_DONE |
+            EditorInfo.IME_FLAG_NO_EXTRACT_UI |
+            // EditorInfo.IME_FLAG_NO_FULLSCREEN | // Requires API
+            // 11
+            EditorInfo.TYPE_TEXT_FLAG_NO_SUGGESTIONS);
+
+        filterSearchView.setOnQueryTextListener(new OnQueryTextListener() {
+            @Override
+            public boolean onQueryTextSubmit(String query) {
+                filterSearchView.clearFocus();
+                return false;
+            }
+
+            @Override
+            public boolean onQueryTextChange(String filterText) {
+                setMyListAdapter();
+                return true;
+            }
+        });
+        filterSearchView.setFocusable(true);
+
+        actionBar.setCustomView(filterSearchView);
+        actionBar.setDisplayShowCustomEnabled(true);
+
+        // Avoid wasting space on large left inset
+        Toolbar tb = (Toolbar)filterSearchView.getParent();
+        tb.setContentInsetsRelative(0, 0);
+    }
+
+    @Override
+    public void onDestroy() {
+        super.onDestroy();
+        unregisterReceiver(broadcastReceiver);
+    }
+
+    private static void copyStream(final InputStream ins, final FileOutputStream outs)
+    throws IOException {
+        ByteBuffer buf = ByteBuffer.allocateDirect(1024 * 64);
+        FileChannel out = outs.getChannel();
+        int bytesRead;
+        int pos = 0;
+        final byte[] bytes = new byte[1024 * 64];
+        do {
+            bytesRead = ins.read(bytes, pos, bytes.length - pos);
+            if (bytesRead != -1) pos += bytesRead;
+            if (bytesRead == -1 ? pos != 0 : 2*pos >= bytes.length) {
+                buf.put(bytes, 0, pos);
+                pos = 0;
+                buf.flip();
+                while (buf.hasRemaining()) out.write(buf);
+                buf.clear();
+            }
+        } while (bytesRead != -1);
+    }
+
     @Override
     protected void onStart() {
         super.onStart();
@@ -171,199 +476,396 @@ public class DictionaryManagerActivity extends SherlockActivity {
         }
 
         final SharedPreferences prefs = PreferenceManager.getDefaultSharedPreferences(this);
-        showDownloadable.setChecked(prefs.getBoolean(C.SHOW_DOWNLOADABLE, false));
+        showDownloadable.setChecked(prefs.getBoolean(C.SHOW_DOWNLOADABLE, true));
 
         if (!blockAutoLaunch &&
                 getIntent().getBooleanExtra(C.CAN_AUTO_LAUNCH_DICT, true) &&
                 prefs.contains(C.DICT_FILE) &&
                 prefs.contains(C.INDEX_SHORT_NAME)) {
-            Log.d(LOG, "Skipping Dictionary List, going straight to dictionary.");
-            startActivity(DictionaryActivity.getLaunchIntent(
-                    new File(prefs.getString(C.DICT_FILE, "")), prefs.getString(C.INDEX_SHORT_NAME, ""),
-                    prefs.getString(C.SEARCH_TOKEN, "")));
+            Log.d(LOG, "Skipping DictionaryManager, going straight to dictionary.");
+            startActivity(DictionaryActivity.getLaunchIntent(getApplicationContext(),
+                          new File(prefs.getString(C.DICT_FILE, "")),
+                          prefs.getString(C.INDEX_SHORT_NAME, ""),
+                          ""));
             finish();
             return;
         }
 
-        application.backgroundUpdateDictionaries(new Runnable() {
-            @Override
-            public void run() {
-                if (uiHandler == null) {
-                    return;
-                }
-                uiHandler.post(new Runnable() {
-                    @Override
-                    public void run() {
-                        populateDictionaryLists("");
-                    }
-                });
-            }
-        });
+        // Remove the active dictionary from the prefs so we won't autolaunch
+        // next time.
+        prefs.edit().remove(C.DICT_FILE).remove(C.INDEX_SHORT_NAME).commit();
 
-        populateDictionaryLists("");
+        application.backgroundUpdateDictionaries(dictionaryUpdater);
+
+        setMyListAdapter();
     }
 
     @Override
     public boolean onCreateOptionsMenu(final Menu menu) {
-        MenuInflater inflater = getSupportMenuInflater();
-        inflater.inflate(R.menu.dictionary_manager_options_menu, menu);
-        
-        filterSearchView = (SearchView) menu.findItem(R.id.filterText).getActionView();
-        filterSearchView.setOnQueryTextListener(new OnQueryTextListener() {
-            @Override
-            public boolean onQueryTextSubmit(String query) {
+        if ("true".equals(Settings.System.getString(getContentResolver(), "firebase.test.lab")))
+        {
+            return false; // testing the menu is not very interesting
+        }
+        final MenuItem sort = menu.add(getString(R.string.sortDicts));
+        MenuItemCompat.setShowAsAction(sort, MenuItem.SHOW_AS_ACTION_NEVER);
+        sort.setOnMenuItemClickListener(new MenuItem.OnMenuItemClickListener() {
+            public boolean onMenuItemClick(final MenuItem menuItem) {
+                application.sortDictionaries();
+                setMyListAdapter();
                 return true;
             }
-            
-            @Override
-            public boolean onQueryTextChange(String filterText) {
-                populateDictionaryLists(filterText);
-                return true;
+        });
+
+        final MenuItem browserDownload = menu.add(getString(R.string.browserDownload));
+        MenuItemCompat.setShowAsAction(browserDownload, MenuItem.SHOW_AS_ACTION_NEVER);
+        browserDownload.setOnMenuItemClickListener(new MenuItem.OnMenuItemClickListener() {
+            public boolean onMenuItemClick(final MenuItem menuItem) {
+                final Intent intent = new Intent(Intent.ACTION_VIEW);
+                intent.setData(Uri
+                               .parse("https://github.com/rdoeffinger/Dictionary/releases/v0.3-dictionaries"));
+                startActivity(intent);
+                return false;
             }
         });
 
-        application.onCreateGlobalOptionsMenu(this, menu);
+        DictionaryApplication.onCreateGlobalOptionsMenu(this, menu);
         return true;
     }
 
-        // @Override
-        // public void onCreateContextMenu(final ContextMenu menu, final View
-        // view,
-        // final ContextMenuInfo menuInfo) {
-        // super.onCreateContextMenu(menu, view, menuInfo);
-        //
-        // final AdapterContextMenuInfo adapterContextMenuInfo =
-        // (AdapterContextMenuInfo) menuInfo;
-        // final int position = adapterContextMenuInfo.position;
-        // final DictionaryInfo dictionaryInfo = adapter.getItem(position);
-        //
-        // if (position > 0 &&
-        // application.isDictionaryOnDevice(dictionaryInfo.uncompressedFilename))
-        // {
-        // final android.view.MenuItem moveToTopMenuItem =
-        // menu.add(R.string.moveToTop);
-        // moveToTopMenuItem.setOnMenuItemClickListener(new
-        // android.view.MenuItem.OnMenuItemClickListener() {
-        // @Override
-        // public boolean onMenuItemClick(android.view.MenuItem item) {
-        // application.moveDictionaryToTop(dictionaryInfo);
-        // setListAdapter(adapter = new Adapter());
-        // return true;
-        // }
-        // });
-        // }
-//
-//        final android.view.MenuItem deleteMenuItem = menu.add(R.string.deleteDictionary);
-//        deleteMenuItem
-//                .setOnMenuItemClickListener(new android.view.MenuItem.OnMenuItemClickListener() {
-//                    @Override
-//                    public boolean onMenuItemClick(android.view.MenuItem item) {
-//                        application.deleteDictionary(dictionaryInfo);
-//                        setListAdapter(adapter = new Adapter());
-//                        return true;
-//                    }
-//                });
-//
-//        final DictionaryInfo downloadable = application
-//                .getDownloadable(dictionaryInfo.uncompressedFilename);
-//        if (downloadable != null) {
-//            final android.view.MenuItem downloadMenuItem = menu.add(getString(
-//                    R.string.downloadButton, downloadable.zipBytes / 1024.0 / 1024.0));
-//            downloadMenuItem
-//                    .setOnMenuItemClickListener(new android.view.MenuItem.OnMenuItemClickListener() {
-//                        @Override
-//                        public boolean onMenuItemClick(android.view.MenuItem item) {
-//                            final Intent intent = getDownloadIntent(downloadable);
-//                            startActivity(intent);
-//                            setListAdapter(adapter = new Adapter());
-//                            return true;
-//                        }
-//                    });
-//        }
-//
-//    }
-
-    private Intent getDownloadIntent(final DictionaryInfo downloadable) {
-        // DownloadManager downloadManager = (DownloadManager)
-        // getSystemService(DOWNLOAD_SERVICE);
-        // DownloadManager.Request request = new
-        // DownloadManager.Request(Uri.parse(""));
-        // long id = downloadManager.enqueue(request);
-        // DownloadManager.Query query;
-        return null;
-    }
+    @Override
+    public void onCreateContextMenu(final ContextMenu menu, final View view,
+                                    final ContextMenuInfo menuInfo) {
+        super.onCreateContextMenu(menu, view, menuInfo);
+        Log.d(LOG, "onCreateContextMenu, " + menuInfo);
 
-    private void onShowLocalChanged() {
-//        downloadableDictionaries.setVisibility(showDownloadable.isChecked() ? View.GONE
-//                : View.VISIBLE);
-        if (filterSearchView != null) {
-            populateDictionaryLists(filterSearchView.getQuery().toString());
-        } else {
-            populateDictionaryLists("");
+        final AdapterContextMenuInfo adapterContextMenuInfo =
+            (AdapterContextMenuInfo) menuInfo;
+        final int position = adapterContextMenuInfo.position;
+        final MyListAdapter.Row row = (MyListAdapter.Row) getListAdapter().getItem(position);
+
+        if (row.dictionaryInfo == null) {
+            return;
         }
+
+        if (position > 0 && row.onDevice) {
+            final android.view.MenuItem moveToTopMenuItem =
+                menu.add(R.string.moveToTop);
+            moveToTopMenuItem.setOnMenuItemClickListener(new
+            android.view.MenuItem.OnMenuItemClickListener() {
+                @Override
+                public boolean onMenuItemClick(android.view.MenuItem item) {
+                    application.moveDictionaryToTop(row.dictionaryInfo);
+                    setMyListAdapter();
+                    return true;
+                }
+            });
+        }
+
+        if (row.onDevice) {
+            final android.view.MenuItem deleteMenuItem = menu.add(R.string.deleteDictionary);
+            deleteMenuItem
+            .setOnMenuItemClickListener(new android.view.MenuItem.OnMenuItemClickListener() {
+                @Override
+                public boolean onMenuItemClick(android.view.MenuItem item) {
+                    application.deleteDictionary(row.dictionaryInfo);
+                    setMyListAdapter();
+                    return true;
+                }
+            });
+        }
+    }
+
+    private void onShowDownloadableChanged() {
+        setMyListAdapter();
         Editor prefs = PreferenceManager.getDefaultSharedPreferences(this).edit();
         prefs.putBoolean(C.SHOW_DOWNLOADABLE, showDownloadable.isChecked());
         prefs.commit();
     }
 
-    // private void onClick(int index) {
-    // final DictionaryInfo dictionaryInfo = adapter.getItem(index);
-    // final DictionaryInfo downloadable =
-    // application.getDownloadable(dictionaryInfo.uncompressedFilename);
-    // if
-    // (!application.isDictionaryOnDevice(dictionaryInfo.uncompressedFilename)
-    // && downloadable != null) {
-    // final Intent intent = getDownloadIntent(downloadable);
-    // startActivity(intent);
-    // } else {
-    // final Intent intent =
-    // DictionaryActivity.getLaunchIntent(application.getPath(dictionaryInfo.uncompressedFilename),
-    // 0, "");
-    // startActivity(intent);
-    // }
-    // }
-
-    private void populateDictionaryLists(String filterText) {
-        // On device.
-        dictionariesOnDevice.removeAllViews();
-        {
-            final List<DictionaryInfo> dictionaryInfos = application.getDictionariesOnDevice();
-            for (final DictionaryInfo dictionaryInfo : dictionaryInfos) {
-                View row = LayoutInflater.from(dictionariesOnDevice.getContext()).inflate(
-                        R.layout.dictionary_on_device_row, dictionariesOnDevice, false);
-                final TextView name = (TextView) row.findViewById(R.id.dictionaryName);
-                name.setText(application.getDictionaryName(dictionaryInfo.uncompressedFilename));
-                
-                LinearLayout buttons = (LinearLayout) row.findViewById(R.id.dictionaryLauncherButtons);
-                final List<IndexInfo> sortedIndexInfos = application.sortedIndexInfos(dictionaryInfo.indexInfos);
-                for (IndexInfo indexInfo : sortedIndexInfos) {
-                    final View button = application.createButton(buttons.getContext(), dictionaryInfo, indexInfo);
-                    buttons.addView(button);
-                }
-                
-                dictionariesOnDevice.addView(row);
+    class MyListAdapter extends BaseAdapter {
+
+        final List<DictionaryInfo> dictionariesOnDevice;
+        final List<DictionaryInfo> downloadableDictionaries;
+
+        class Row {
+            final DictionaryInfo dictionaryInfo;
+            final boolean onDevice;
+
+            private Row(DictionaryInfo dictionaryInfo, boolean onDevice) {
+                this.dictionaryInfo = dictionaryInfo;
+                this.onDevice = onDevice;
+            }
+        }
+
+        private MyListAdapter(final String[] filters) {
+            dictionariesOnDevice = application.getDictionariesOnDevice(filters);
+            if (showDownloadable.isChecked()) {
+                downloadableDictionaries = application.getDownloadableDictionaries(filters);
+            } else {
+                downloadableDictionaries = Collections.emptyList();
+            }
+        }
+
+        @Override
+        public int getCount() {
+            return 2 + dictionariesOnDevice.size() + downloadableDictionaries.size();
+        }
+
+        @Override
+        public Row getItem(int position) {
+            if (position == 0) {
+                return new Row(null, true);
+            }
+            position -= 1;
+
+            if (position < dictionariesOnDevice.size()) {
+                return new Row(dictionariesOnDevice.get(position), true);
+            }
+            position -= dictionariesOnDevice.size();
+
+            if (position == 0) {
+                return new Row(null, false);
+            }
+            position -= 1;
+
+            assert position < downloadableDictionaries.size();
+            return new Row(downloadableDictionaries.get(position), false);
+        }
+
+        @Override
+        public long getItemId(int position) {
+            return position;
+        }
+
+        @Override
+        public int getViewTypeCount() {
+            return 3;
+        }
+
+        @Override
+        public int getItemViewType(int position) {
+            final Row row = getItem(position);
+            if (row.dictionaryInfo == null) {
+                return row.onDevice ? 0 : 1;
+            }
+            assert row.dictionaryInfo.indexInfos.size() <= 2;
+            return 2;
+        }
+
+        @Override
+        public View getView(int position, View convertView, ViewGroup parent) {
+            if (convertView == dictionariesOnDeviceHeaderRow ||
+                convertView == downloadableDictionariesHeaderRow) {
+                return convertView;
+            }
+
+            final Row row = getItem(position);
+
+            if (row.dictionaryInfo == null) {
+                assert convertView == null;
+                return row.onDevice ? dictionariesOnDeviceHeaderRow : downloadableDictionariesHeaderRow;
+            }
+            return createDictionaryRow(row.dictionaryInfo, parent, convertView, row.onDevice);
+        }
+
+    }
+
+    private void setMyListAdapter() {
+        final String filter = filterSearchView == null ? "" : filterSearchView.getQuery()
+                              .toString();
+        final String[] filters = filter.trim().toLowerCase().split("(\\s|-)+");
+        setListAdapter(new MyListAdapter(filters));
+    }
+
+    private boolean isDownloadActive(String downloadUrl, boolean cancel) {
+        DownloadManager downloadManager = (DownloadManager) getSystemService(DOWNLOAD_SERVICE);
+        final DownloadManager.Query query = new DownloadManager.Query();
+        query.setFilterByStatus(DownloadManager.STATUS_PAUSED | DownloadManager.STATUS_PENDING | DownloadManager.STATUS_RUNNING);
+        final Cursor cursor = downloadManager.query(query);
+
+        // Due to a bug, cursor is null instead of empty when
+        // the download manager is disabled.
+        if (cursor == null) {
+            if (cancel) {
+                String msg = getString(R.string.downloadManagerQueryFailed);
+                new AlertDialog.Builder(this).setTitle(getString(R.string.error))
+                .setMessage(getString(R.string.downloadFailed, msg))
+                .setNeutralButton("Close", null).show();
             }
+            return cancel;
         }
 
-        // Downloadable.
-        downloadableDictionaries.removeAllViews();
-        if (showDownloadable.isChecked()) {
-            final List<DictionaryInfo> dictionaryInfos = application.getDownloadableDictionaries();
-            for (final DictionaryInfo dictionaryInfo : dictionaryInfos) {
-                View row = LayoutInflater.from(dictionariesOnDevice.getContext()).inflate(
-                        R.layout.dictionary_on_device_row, dictionariesOnDevice, false);
-                final TextView name = (TextView) row.findViewById(R.id.dictionaryName);
-                name.setText(application.getDictionaryName(dictionaryInfo.uncompressedFilename));
-                
-                LinearLayout buttons = (LinearLayout) row.findViewById(R.id.dictionaryLauncherButtons);
-                final List<IndexInfo> sortedIndexInfos = application.sortedIndexInfos(dictionaryInfo.indexInfos);
-                for (IndexInfo indexInfo : sortedIndexInfos) {
-                    final View button = application.createButton(buttons.getContext(), dictionaryInfo, indexInfo);
-                    buttons.addView(button);
+        String destFile;
+        try {
+            destFile = new File(new URL(downloadUrl).getPath()).getName();
+        } catch (MalformedURLException e) {
+            throw new RuntimeException("Invalid download URL!", e);
+        }
+        while (cursor.moveToNext()) {
+            if (downloadUrl.equals(cursor.getString(cursor.getColumnIndex(DownloadManager.COLUMN_URI))))
+                break;
+            if (destFile.equals(cursor.getString(cursor.getColumnIndex(DownloadManager.COLUMN_TITLE))))
+                break;
+        }
+        boolean active = !cursor.isAfterLast();
+        if (active && cancel) {
+            long downloadId = cursor.getLong(cursor.getColumnIndex(DownloadManager.COLUMN_ID));
+            finishedDownloadIds.add(downloadId);
+            downloadManager.remove(downloadId);
+        }
+        cursor.close();
+        return active;
+    }
+
+    private View createDictionaryRow(final DictionaryInfo dictionaryInfo,
+                                     final ViewGroup parent, View row, boolean canLaunch) {
+
+        if (row == null) {
+            row = LayoutInflater.from(parent.getContext()).inflate(
+                       R.layout.dictionary_manager_row, parent, false);
+        }
+        final TextView name = row.findViewById(R.id.dictionaryName);
+        final TextView details = row.findViewById(R.id.dictionaryDetails);
+        name.setText(application.getDictionaryName(dictionaryInfo.uncompressedFilename));
+
+        final boolean updateAvailable = application.updateAvailable(dictionaryInfo);
+        final Button downloadButton = row.findViewById(R.id.downloadButton);
+        final DictionaryInfo downloadable = application.getDownloadable(dictionaryInfo.uncompressedFilename);
+        boolean broken = false;
+        if (!dictionaryInfo.isValid()) {
+            broken = true;
+            canLaunch = false;
+        }
+        if (downloadable != null && (!canLaunch || updateAvailable)) {
+            downloadButton
+            .setText(getString(
+                         R.string.downloadButton,
+                         downloadable.zipBytes / 1024.0 / 1024.0));
+            downloadButton.setMinWidth(application.languageButtonPixels * 3 / 2);
+            downloadButton.setOnClickListener(new OnClickListener() {
+                @Override
+                public void onClick(View arg0) {
+                    downloadDictionary(downloadable.downloadUrl, downloadable.zipBytes, downloadButton);
                 }
-                downloadableDictionaries.addView(row);
+            });
+            downloadButton.setVisibility(View.VISIBLE);
+
+            if (isDownloadActive(downloadable.downloadUrl, false))
+                downloadButton.setText("X");
+        } else {
+            downloadButton.setVisibility(View.GONE);
+        }
+
+        LinearLayout buttons = row.findViewById(R.id.dictionaryLauncherButtons);
+
+        final List<IndexInfo> sortedIndexInfos = application
+                .sortedIndexInfos(dictionaryInfo.indexInfos);
+        final StringBuilder builder = new StringBuilder();
+        if (updateAvailable) {
+            builder.append(getString(R.string.updateAvailable));
+        }
+        assert buttons.getChildCount() == 4;
+        for (int i = 0; i < 2; i++) {
+            final Button textButton = (Button)buttons.getChildAt(2*i);
+            final ImageButton imageButton = (ImageButton)buttons.getChildAt(2*i + 1);
+            if (i >= sortedIndexInfos.size()) {
+                textButton.setVisibility(View.GONE);
+                imageButton.setVisibility(View.GONE);
+                continue;
+            }
+            final IndexInfo indexInfo = sortedIndexInfos.get(i);
+            final View button = IsoUtils.INSTANCE.setupButton(textButton, imageButton,
+                    indexInfo);
+
+            if (canLaunch) {
+                button.setOnClickListener(
+                    new IntentLauncher(buttons.getContext(),
+                                       DictionaryActivity.getLaunchIntent(getApplicationContext(),
+                                               application.getPath(dictionaryInfo.uncompressedFilename),
+                                               indexInfo.shortName, "")));
+
             }
+            button.setEnabled(canLaunch);
+            button.setFocusable(canLaunch);
+            if (builder.length() != 0) {
+                builder.append("; ");
+            }
+            builder.append(getString(R.string.indexInfo, indexInfo.shortName,
+                                     indexInfo.mainTokenCount));
+        }
+        builder.append("; ");
+        builder.append(getString(R.string.downloadButton, dictionaryInfo.uncompressedBytes / 1024.0 / 1024.0));
+        if (broken) {
+            name.setText("Broken: " + application.getDictionaryName(dictionaryInfo.uncompressedFilename));
+            builder.append("; Cannot be used, redownload, check hardware/file system");
+        }
+        details.setText(builder.toString());
+
+        if (canLaunch) {
+            row.setOnClickListener(new IntentLauncher(parent.getContext(),
+                                   DictionaryActivity.getLaunchIntent(getApplicationContext(),
+                                           application.getPath(dictionaryInfo.uncompressedFilename),
+                                           dictionaryInfo.indexInfos.get(0).shortName, "")));
+            // do not setFocusable, for keyboard navigation
+            // offering only the index buttons is better.
+        }
+        row.setClickable(canLaunch);
+        // Allow deleting, even if we cannot open
+        row.setLongClickable(broken || canLaunch);
+        row.setBackgroundResource(android.R.drawable.menuitem_background);
+
+        return row;
+    }
+
+    private synchronized void downloadDictionary(final String downloadUrl, long bytes, Button downloadButton) {
+        if (isDownloadActive(downloadUrl, true)) {
+            downloadButton
+            .setText(getString(
+                         R.string.downloadButton,
+                         bytes / 1024.0 / 1024.0));
+            return;
+        }
+        // API 19 and earlier have issues with github URLs, both http and https.
+        // Really old (~API 10) DownloadManager cannot handle https at all.
+        // Work around both with in one.
+        String altUrl = downloadUrl.replace("https://github.com/rdoeffinger/Dictionary/releases/download/v0.2-dictionaries/", "http://ffmpeg.org/~reimar/dict/");
+        altUrl = altUrl.replace("https://github.com/rdoeffinger/Dictionary/releases/download/v0.3-dictionaries/", "http://ffmpeg.org/~reimar/dict/");
+        Request request = new Request(Uri.parse(Build.VERSION.SDK_INT < 21 ? altUrl : downloadUrl));
+
+        String destFile;
+        try {
+            destFile = new File(new URL(downloadUrl).getPath()).getName();
+        } catch (MalformedURLException e) {
+            throw new RuntimeException("Invalid download URL!", e);
+        }
+        Log.d(LOG, "Downloading to: " + destFile);
+        request.setTitle(destFile);
+        File destFilePath = new File(application.getDictDir(), destFile);
+        destFilePath.delete();
+        try {
+            request.setDestinationUri(Uri.fromFile(destFilePath));
+        } catch (Exception e) {
+        }
+
+        DownloadManager downloadManager = (DownloadManager) getSystemService(DOWNLOAD_SERVICE);
+
+        if (downloadManager == null) {
+            String msg = getString(R.string.downloadManagerQueryFailed);
+            new AlertDialog.Builder(this).setTitle(getString(R.string.error))
+                    .setMessage(getString(R.string.downloadFailed, msg))
+                    .setNeutralButton("Close", null).show();
+            return;
+        }
+
+        try {
+            downloadManager.enqueue(request);
+        } catch (SecurityException e) {
+            request = new Request(Uri.parse(downloadUrl));
+            request.setTitle(destFile);
+            downloadManager.enqueue(request);
         }
+        Log.w(LOG, "Download started: " + destFile);
+        downloadButton.setText("X");
     }
 
 }