From 91875b35587ec164a4330c248395c1fce95d8c9d Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Sun, 28 Dec 2014 06:29:38 -0500
Subject: [PATCH] Don't show attributes that don't have default values (e.g.,
 open/close for mrow).

---
 unpacked/jax/output/NativeMML/jax.js | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/unpacked/jax/output/NativeMML/jax.js b/unpacked/jax/output/NativeMML/jax.js
index dd87723f9..6fa32af71 100644
--- a/unpacked/jax/output/NativeMML/jax.js
+++ b/unpacked/jax/output/NativeMML/jax.js
@@ -499,8 +499,10 @@
           }}
         }
 	for (var i = 0, m = copy.length; i < m; i++) {
-          var value = (this.attr||{})[copy[i]]; if (value == null) {value = this[copy[i]]}
-	  if (value != null) {tag.setAttribute(copy[i],this.NativeMMLattribute(value))}
+          if (defaults.hasOwnProperty(copy[i])) {
+             var value = (this.attr||{})[copy[i]]; if (value == null) {value = this[copy[i]]}
+	     if (value != null) {tag.setAttribute(copy[i],this.NativeMMLattribute(value))}
+           }
 	}
         this.NativeMMLclass(tag);
       },