svn: r9393

src/TipOfDay.py

@@ -98,9 +98,14 @@ class TipOfDay(ManagedWindow.ManagedWindow):
         
         window.show_all()
 
+    def escape(self,text):
+        text = text.replace('&','&');       # Must be first
+        text = text.replace(' > ',' > ');    # Replace standalone > char
+        text = text.replace('"','"')       # quotes
+        return text
+
     def next_tip_cb(self, dummy=None):
-        tip_text = escape(self.tip_list[self.new_index[self.index]],
-                          { '"' : '"' })
+        tip_text = self.escape(self.tip_list[self.new_index[self.index]])
         self.tip.set_text(_(tip_text))
         self.tip.set_use_markup(True)
         if self.index >= len(self.tip_list)-1: