refreshDictionaryHistory method

void refreshDictionaryHistory()

For refreshing on dictionary result additions.

Implementation

void refreshDictionaryHistory() {
  dictionaryMenuNotifier.notifyListeners();
}