this should do it

[chaz/openbox] / tools / themeupdate / themeupdate.py

diff --git a/tools/themeupdate/themeupdate.py b/tools/themeupdate/themeupdate.py
index c2b430c4e58fd6ca621d36f43cafb30c69f00b1f..7690c6812777eb5762b2f8b043800f18504ff2fd 100755 (executable)
--- a/tools/themeupdate/themeupdate.py
+++ b/tools/themeupdate/themeupdate.py
@@ -1,5 +1,20 @@
 #! /usr/bin/python
 
+# themeupdate.py for the Openbox window manager
+# Copyright (c) 2003        Ben Jansens
+# 
+# This program is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 2 of the License, or
+# (at your option) any later version.
+# 
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+# 
+# See the COPYING file for a copy of the GNU General Public License.
+
 import sys
 
 data = []
@@ -256,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')