diff options
author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2019-11-02 16:21:06 -0400 |
---|---|---|
committer | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2019-11-07 20:30:55 -0500 |
commit | e091c7ebe2f6780b6a88df313c9f20170a8e5c1c (patch) | |
tree | 54eaeb00c11fa591321dc4d6a934fd449cd4c5d3 /ext/bg/js/util.js | |
parent | e355b839142a8bab0edc446c7da08256ad5b938c (diff) |
Add support for deleting individual dictionaries
Diffstat (limited to 'ext/bg/js/util.js')
-rw-r--r-- | ext/bg/js/util.js | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ext/bg/js/util.js b/ext/bg/js/util.js index 3554ec3d..f9686943 100644 --- a/ext/bg/js/util.js +++ b/ext/bg/js/util.js @@ -100,6 +100,10 @@ function utilDatabasePurge() { return utilBackend().translator.purgeDatabase(); } +function utilDatabaseDeleteDictionary(dictionaryName, onProgress) { + return utilBackend().translator.database.deleteDictionary(dictionaryName, onProgress); +} + async function utilDatabaseImport(data, progress, exceptions) { // Edge cannot read data on the background page due to the File object // being created from a different window. Read on the same page instead. |