diff options
| author | Dana Jansens <danakj@orodu.net> | 2003-09-01 08:05:57 +0000 |
|---|---|---|
| committer | Dana Jansens <danakj@orodu.net> | 2003-09-01 08:05:57 +0000 |
| commit | dd74424f014b0f4ea8e2a84179afcadd70c1b817 (patch) | |
| tree | 82c774dd9384f00feb3359268ade6b315dcd7f53 /tools | |
| parent | 9d1137a6d32269e3cc02e12b846fe72329776b51 (diff) | |
check window.button.pressed
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/themeupdate/themeupdate.py | 26 |
1 files changed, 25 insertions, 1 deletions
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 |
