Speed up refresh() in DictManager

This requires adding a (non-unique) index into the dictionary table

vocabsieve/dictmanager.py

@@ -5,6 +5,7 @@
 from .dictionary import getDictsForLang, getFreqlistsForLang, getAudioDictsForLang
 from .dictformats import supported_dict_formats, dictinfo
 import json
+from .tools import profile
 from .local_dictionary import LocalDictionary
 
 
@@ -121,6 +122,7 @@ def onRemove(self):
         self.refresh()
         self.showStats()
 
+    @profile
     def refresh(self):
         dicts = json.loads(self.settings.value("custom_dicts", '[]'))
         self.tview.clear()

vocabsieve/local_dictionary.py

@@ -25,7 +25,10 @@ def makeIndex(self) -> None:
         try:
             self.c.execute("""
             CREATE UNIQUE INDEX IF NOT EXISTS dictionary_index ON dictionary(language, dictname, word)
-            """)
+            """)  # Faster lookups
+            self.c.execute("""
+            CREATE INDEX IF NOT EXISTS dictname_index ON dictionary(dictname)
+            """) # Faster counting of entries
             print("Either successfully made unique index, or there is already one")
         except sqlite3.IntegrityError:
             print("Unable to make unique index")