Merge pull request #5301 from zblz/fix-dot-space

mdboom · mdboom · commit 60b60fb81f34 · 2015-10-30T11:28:04.000-04:00
BUG: Dot should not be spaced when used as a decimal separator
diff --git a/lib/matplotlib/mathtext.py b/lib/matplotlib/mathtext.py
@@ -2503,17 +2503,22 @@ def symbol(self, s, loc, toks):
                     break
             # Binary operators at start of string should not be spaced
             if (c in self._binary_operators and
-                    (len(s[:loc].split()) == 0 or prev_char == '{')):
+                    (len(s[:loc].split()) == 0 or prev_char == '{' or
+                        prev_char in self._left_delim)):
                 return [char]
             else:
-                return [Hlist( [self._make_space(0.2),
-                                char,
-                                self._make_space(0.2)] ,
+                return [Hlist([self._make_space(0.2),
+                               char,
+                               self._make_space(0.2)] ,
                                do_kern = True)]
         elif c in self._punctuation_symbols:
-            return [Hlist( [char,
-                            self._make_space(0.2)] ,
-                           do_kern = True)]
+            # Do not space dots as decimal separators
+            if (c == '.' and s[loc - 1].isdigit() and s[loc + 1].isdigit()):
+                return [char]
+            else:
+                return [Hlist([char,
+                               self._make_space(0.2)],
+                               do_kern = True)]
         return [char]
 
     snowflake = symbol
