summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDana Jansens <danakj@orodu.net>2003-09-01 08:05:57 +0000
committerDana Jansens <danakj@orodu.net>2003-09-01 08:05:57 +0000
commitdd74424f014b0f4ea8e2a84179afcadd70c1b817 (patch)
tree82c774dd9384f00feb3359268ade6b315dcd7f53
parent9d1137a6d32269e3cc02e12b846fe72329776b51 (diff)
check window.button.pressed
-rwxr-xr-xtools/themeupdate/themeupdate.py26
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