13 inp = sys.stdin.readline(1).strip()
14 if inp == 'y' or inp == '': return True
15 if inp == 'n': return False
18 key = line[:line.find(':')].strip()
19 value = line[line.find(':') + 1:].strip()
20 if not (key and value):
24 def simple_replace(data):
25 for i in range(len(data)):
27 key, value = getkeyval(l)
30 pairs['window.focus.font'] = 'window.label.focus.font'
31 pairs['window.unfocus.font'] = 'window.label.unfocus.font'
32 pairs['window.justify'] = 'window.label.justify'
33 pairs['menu.frame.disableColor'] = 'menu.disabled.textColor'
34 pairs['style.'] = 'info.'
35 pairs['menu.frame'] = 'menu.items'
36 pairs['menu.hilite'] = 'menu.selected'
37 pairs['.picColor'] = '.imageColor'
39 for k in pairs.keys():
41 newl = l.replace(k, pairs[k])
42 out('Updating "' + key +
43 '" to "' + key.replace(k, pairs[k]) + '"\n')
52 key, value = getkeyval(l)
55 invalid.append('toolbar')
56 invalid.append('rootCommand')
57 invalid.append('menu.frame.justify')
59 if key.find(inv) != -1:
60 out(key + ' is no longer supported.\nRemove (Y/n)? ')
62 out('Removing "' + key + '"\n')
74 key, value = getkeyval(l)
76 if key == 'window.button.pressed':
77 out('The window.button.pressed option has been replaced by ' +
78 'window.button.pressed.focus and ' +
79 'window.button.pressed.unfocus.\nUpdate (Y/n)? ')
81 out('Removing "window.button.pressed"\n')
83 out('Adding "window.button.pressed.unfocus"\n')
84 data.insert(i, l.replace('window.button.pressed',
85 'window.button.pressed.unfocus'))
86 out('Adding "window.button.pressed.focus"\n')
87 data.insert(i, l.replace('window.button.pressed',
88 'window.button.pressed.focus'))
96 key, value = getkeyval(l)
98 if key == 'window.font':
99 out('You appear to specify fonts using the old X fonts ' +
100 'syntax.\nShall I remove all fonts from the theme (Y/n)? ')
107 key, value = getkeyval(l)
109 if key.find('font') != -1:
110 out('Removing "' + key + '"\n')
133 print 'Usage: ' + sys.argv[0] + ' /path/to/themerc > newthemerc'
138 file = open(sys.argv[1])
142 print 'Unable to open file "' + sys.argv[1] + '"'
146 data = file.readlines()
147 for i in range(len(data)):
148 data[i] = data[i].strip()
150 #simple_replace(data)