From fd38b7a891aaa36b668eae1d3d145dbbe99e69b2 Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Wed, 20 Mar 2013 09:05:20 -0400
Subject: [PATCH] Bump version number and add comment referencing issue #412.

---
 unpacked/jax/element/mml/jax.js | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/unpacked/jax/element/mml/jax.js b/unpacked/jax/element/mml/jax.js
index 2215c5097..a6da92e55 100644
--- a/unpacked/jax/element/mml/jax.js
+++ b/unpacked/jax/element/mml/jax.js
@@ -27,7 +27,7 @@ MathJax.ElementJax.mml = MathJax.ElementJax({
   mimeType: "jax/mml"
 },{
   id: "mml",
-  version: "2.1",
+  version: "2.1.1",
   directory: MathJax.ElementJax.directory + "/mml",
   extensionDir: MathJax.ElementJax.extensionDir + "/mml",
   optableDir: MathJax.ElementJax.directory + "/mml/optable"
@@ -1141,7 +1141,10 @@ MathJax.ElementJax.mml.Augment({
     Core: function () {return this.selected().Core()},
     CoreMO: function () {return this.selected().CoreMO()},
     setTeXclass: function (prev) {
-      if (this.Get("actiontype") === MML.ACTIONTYPE.TOOLTIP && this.data[1]) {this.data[1].setTeXclass()}
+      if (this.Get("actiontype") === MML.ACTIONTYPE.TOOLTIP && this.data[1]) {
+        // Make sure tooltip has proper spacing when typeset (see issue #412)
+        this.data[1].setTeXclass();
+      }
       return this.selected().setTeXclass(prev);
     }
   });