Gradint update

git-svn-id: http://svn.code.sf.net/p/e-guidedog/code/ssb22/gradint@814 29193198-4895-4776-b068-10539e920549

gradint-build/src/makeevent.py

@@ -94,7 +94,7 @@ if synthCache:
     for i in synthCache_contents:
         if i.upper()==transTbl: # in case it's a different case
             transTbl=i ; break
-    synthCache_contents = list2set(synthCache_contents)
+    synthCache_contents = list2dict(synthCache_contents) # NOT 2set, as the GUI can delete things from it
     if riscos_sound: show_info("done\n")
 synthCache_transtbl = {}
 if synthCache and transTbl in synthCache_contents:

gradint-build/src/system.py

@@ -106,12 +106,12 @@ dotwav = extsep+"wav" ; dotmp3 = extsep+"mp3" ; dottxt = extsep+"txt"
 cwd_addSep = os.sep
 if os.getcwd()[-1]==os.sep: cwd_addSep = ""
 
+def list2dict(l):
+  d = {}
+  for i in l: d[i]=True
+  return d
 try: list2set = set
-except NameError:
-  def list2set(l):
-    d = {}
-    for i in l: d[i]=True
-    return d
+except NameError: list2set = list2dict
 
 # settings.txt and advanced.txt
 # (done here before the variables start to be used in