scriptoriumadmin/zotero
1
0
Fork 0
mirror of https://github.com/zotero/zotero.git synced 2026-10-06 02:50:03 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

fx140: Fix Dictionary Manager

Browse source
This commit is contained in:
Abe Jellinek 2025-07-02 11:19:29 -04:00 • committed by Dan Stillman
parent ee859e374a
commit fbf0177215
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
chrome/content/zotero/dictionaryManager.js
View file

@ -39,7 +39,7 @@ var Zotero_Dictionary_Manager = new function () {
var availableUpdates = await Zotero.Dictionaries.getAvailableUpdates(availableDictionaries);
updateMap = new Map(availableUpdates.map(x => [x.old.id, { id: x.new.id, version: x.new.version }]));
var { InlineSpellChecker } = ChromeUtils.import("resource://gre/modules/InlineSpellChecker.jsm", {});
var { InlineSpellChecker } = ChromeUtils.importESModule("resource://gre/modules/InlineSpellChecker.sys.mjs");
var isc = new InlineSpellChecker();
// Start with installed dictionaries