clearDictionaryHistory method

Future<void> clearDictionaryHistory()

Clear the entire dictionary history. This must be performed when a dictionary is deleted, otherwise history data cannot be viewed without the necessary dictionary metadata.

Implementation

Future<void> clearDictionaryHistory() async {
  await _dictionaryHistory.clear();

  dictionaryEntriesNotifier.notifyListeners();
}