diff options
| author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2021-08-14 12:41:58 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-14 12:41:58 -0400 |
| commit | 4839503d540adf7b48d0b1d337bef7b7c9b890ad (patch) | |
| tree | c33783a36fbc48b55b5b419ab9824e66efcfa8d7 /ext/settings.html | |
| parent | 3e350bd563886e49fed309731d99f37e6f3ab320 (diff) | |
Threaded dictionary delete (#1895)
* Generalize dictionary worker
* Add deleteDictionary functionality
* Update DictionaryController to use DictionaryDatabaseModifier
* Fix incorrect result handling
Diffstat (limited to 'ext/settings.html')
| -rw-r--r-- | ext/settings.html | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/ext/settings.html b/ext/settings.html index 55704f53..576b8fc7 100644 --- a/ext/settings.html +++ b/ext/settings.html @@ -3483,7 +3483,6 @@ <script src="/js/general/object-property-accessor.js"></script> <script src="/js/general/task-accumulator.js"></script> <script src="/js/input/hotkey-util.js"></script> -<script src="/js/language/dictionary-database.js"></script> <script src="/js/language/dictionary-database-modifier.js"></script> <script src="/js/language/dictionary-importer-media-loader.js"></script> <script src="/js/language/sandbox/dictionary-data-util.js"></script> |