Re #7081. Added automatic replacement for prime character.

mantidproject · Jun 4, 2013 · bf2924d · bf2924d
1 parent e7686ce
commit bf2924d
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/Code/Mantid/docs/qtassistant/eqnparser.py b/Code/Mantid/docs/qtassistant/eqnparser.py
@@ -193,9 +193,15 @@ def _sanitize(self):
                 if self.eqstring[index-1] == "\\": # it is already escaped
                     index = self.eqstring.find('%', index+1)
                 else:
+                    print "automatically fixing un-escaped percent signs"
                     self.eqstring = self.eqstring[:index] + "\\" + self.eqstring[index:]
                     index = self.eqstring.find('%', index+2) # added a character
 
+        # fix prime
+        if "'" in self.eqstring:
+            print "automatically fixing prime characters"
+            self.eqstring = self.eqstring.replace("'", "\prime")
+
         # turn everything else bad to junky mbox
         lowercase = self.eqstring.lower()
         for tag in bad_tags: