Update filter counts when clicked

astrid/src/com/todoroo/astrid/activity/TaskListActivity.java

@@ -471,6 +471,13 @@ public class TaskListActivity extends AstridActivity implements MainMenuListener
         }
     }
 
+    public void refreshFilterCount(Filter filter) {
+        FilterListFragment flf = getFilterListFragment();
+        if (flf != null) {
+            flf.adapter.refreshFilterCount(filter);
+        }
+    }
+
     @Override
     public void mainMenuItemSelected(int item, Intent customIntent) {
         TaskListFragment tlf = getTaskListFragment();

astrid/src/com/todoroo/astrid/activity/TaskListFragment.java

@@ -601,7 +601,7 @@ public class TaskListFragment extends ListFragment implements OnScrollListener,
         } else if (!Preferences.getBoolean(R.string.p_showed_lists_help, false)) {
             showListsHelp();
         }
-
+        refreshFilterCount();
         initiateAutomaticSync();
     }
 
@@ -1069,6 +1069,12 @@ public class TaskListFragment extends ListFragment implements OnScrollListener,
         }
     }
 
+    public void refreshFilterCount() {
+        if (getActivity() instanceof TaskListActivity) {
+            ((TaskListActivity) getActivity()).refreshFilterCount(filter);
+        }
+    }
+
     @Override
     public void onListItemClick(ListView l, View v, int position, long id) {
         super.onListItemClick(l, v, position, id);

astrid/src/com/todoroo/astrid/adapter/FilterAdapter.java

@@ -163,7 +163,7 @@ public class FilterAdapter extends ArrayAdapter<Filter> {
                     filterCounts.put(filter, size);
                     activity.runOnUiThread(new Runnable() {
                         public void run() {
-                            notifyDataSetInvalidated();
+                            notifyDataSetChanged();
                         }
                     });
                 } catch (Exception e) {
@@ -181,7 +181,7 @@ public class FilterAdapter extends ArrayAdapter<Filter> {
     @Override
     public void add(Filter item) {
         super.add(item);
-
+        notifyDataSetChanged();
         // load sizes
         offerFilter(item);
     }
@@ -197,7 +197,7 @@ public class FilterAdapter extends ArrayAdapter<Filter> {
         }
         int newCount = Math.max(filterCount + delta, 0);
         filterCounts.put(filter, newCount);
-        notifyDataSetInvalidated();
+        notifyDataSetChanged();
         return newCount;
     }
 
@@ -209,6 +209,23 @@ public class FilterAdapter extends ArrayAdapter<Filter> {
         return adjustFilterCount(filter, -1);
     }
 
+    public void refreshFilterCount(final Filter filter) {
+        filterExecutor.submit(new Runnable() {
+            @Override
+            public void run() {
+                int size = taskService.countTasks(filter);
+                filterCounts.put(filter, size);
+                activity.runOnUiThread(new Runnable() {
+
+                    @Override
+                    public void run() {
+                        notifyDataSetChanged();
+                    }
+                });
+            }
+        });
+    }
+
     /**
      * Create or reuse a view
      * @param convertView