/** Refresh the shown list after the database has changed. */ private void refreshList() { if (mBookmarksAdapter == null) return; mBookmarksAdapter.refreshList(); }