+ line = line.replace("%", "%%")
+ # Hack Unicode non-breaking spaces into ordinary spaces
+ line = line.replace("\xc2\xa0", " ").replace("\240", "")
+ # Hack right and left quotes into regular ASCII quotes
+ line = line.replace("\xe2\x80\x9c", '"').replace("\xe2\x80\x9d", '"')
+ # Hack dashes and bullets (Hmmm...might want to handle this in curses)
+ line = line.replace("\xe2\x80\x94", "-").replace("\xe2\x97\x8f", "*");
+ if line.startswith("Mnemonic:"):
+ while not savetext[-1].strip():
+ savetext.pop()
+ savetext.append(line)
+savetext = "".join(savetext)