this should do it

diff --git a/tools/themeupdate/themeupdate.py b/tools/themeupdate/themeupdate.py
index 1bdf4929e07207ec1546254ac0ce083a1e22ab57..7690c6812777eb5762b2f8b043800f18504ff2fd 100755 (executable)
--- a/tools/themeupdate/themeupdate.py
+++ b/tools/themeupdate/themeupdate.py
@@ -271,7 +271,7 @@ def x_fonts(data):
             return
     else: return
     while 1:
-        i, key = key_find(data, '.font')
+        i, key = find_key(data, '.font')
         if i < 0:
             break
         out('Removing "' + key + '"\n')