Support button title change

Change-Id: Ie0f225071edeb2547f841632951715a104477ff7
diff --git a/dev/js/src/buttongroup.js b/dev/js/src/buttongroup.js
index da12078..40eb61f 100644
--- a/dev/js/src/buttongroup.js
+++ b/dev/js/src/buttongroup.js
@@ -115,7 +115,12 @@
       };
 
       b.setAttribute('title', desc);
-      b.addE('span').addT(title);
+      let innerSpan = b.addE('span');
+      innerSpan.addT(title);
+
+      b["changeTitle"] = function (title) {
+	innerSpan.textContent = title;
+      };
       
       let that = this;
       b.addEventListener('click', function (e) {