From dd74424f014b0f4ea8e2a84179afcadd70c1b817 Mon Sep 17 00:00:00 2001 From: Dana Jansens Date: Mon, 1 Sep 2003 08:05:57 +0000 Subject: [PATCH] check window.button.pressed --- tools/themeupdate/themeupdate.py | 26 +++++++++++++++++++++++++- 1 file changed, 25 insertions(+), 1 deletion(-) diff --git a/tools/themeupdate/themeupdate.py b/tools/themeupdate/themeupdate.py index e1737925..fab002a9 100755 --- a/tools/themeupdate/themeupdate.py +++ b/tools/themeupdate/themeupdate.py @@ -66,7 +66,30 @@ def remove(data): break i += 1 - +def pressed(data): + i = 0 + n = len(data) + while i < n: + l = data[i] + key, value = getkeyval(l) + if key and value: + if key == 'window.button.pressed': + out('The window.button.pressed option has been replaced by ' + + 'window.button.pressed.focus and ' + + 'window.button.pressed.unfocus. Update (Y/n)? ') + if read_bool(): + out('Removing "window.button.pressed"\n') + data.pop(i) + out('Adding "window.button.pressed.unfocus"\n') + data.insert(i, l.replace('window.button.pressed', + 'window.button.pressed.unfocus')) + out('Adding "window.button.pressed.focus"\n') + data.insert(i, l.replace('window.button.pressed', + 'window.button.pressed.focus')) + i += 1 + n += 1 + break + i += 1 @@ -106,6 +129,7 @@ for i in range(len(data)): simple_replace(data) remove(data) +pressed(data) for l in data: print l