Redraw dictionary list on refresh.

Julien LepillerThu Jun 25 16:51:28+0200 2020

5e28eb5

Redraw dictionary list on refresh.

CHANGELOG.md

1515
  closed.
1616
* Report what was tried when there is no result.
1717
* Update feedback text in case of error.
18+
* Dictionary list was not redrawn after refreshing the list.
1819
1920
### Translations
2021

app/src/main/java/eu/lepiller/nani/DictionaryActivity.java

9393
            @Override
9494
            public void onChanged(Boolean refreshing) {
9595
                refresher.setRefreshing(refreshing);
96+
                if(!refreshing)
97+
                    updateDataSet();
9698
            }
9799
        });
98100
    }