maybe this works then

diff --git a/tools/themeupdate/themeupdate.py b/tools/themeupdate/themeupdate.py
index 7690c6812777eb5762b2f8b043800f18504ff2fd..01b4ee1f3fce5467d0aba21cffc5dd0819b1138c 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 = find_key(data, '.font')
+        i, key, nul = find_key(data, '.font')
         if i < 0:
             break
         out('Removing "' + key + '"\n')