1 # Grab the tips from Options.xml
6 print "Extracting translatable bits from Options.xml..."
8 class Parser(XMLParser
):
11 def unknown_starttag(self
, tag
, attrs
):
12 if attrs
.has_key('title'):
13 self
.trans(attrs
['title'])
14 if attrs
.has_key('label'):
15 self
.trans(attrs
['label'])
18 def handle_data(self
, data
):
19 self
.data
= self
.data
+ data
21 def unknown_endtag(self
, tag
):
22 data
= string
.strip(self
.data
)
26 def trans(self
, data
):
27 data
= string
.join(string
.split(data
, '\n'), '\\n')
28 out
.write('_("%s")\n' % data
)
35 file = open('../../Options.xml', 'rb')
36 out
= open('../tips', 'wb')
38 parser
.feed(file.read())