From 79555c9b3d9700010faff4818cda19450e55161e Mon Sep 17 00:00:00 2001 From: YUKI Hiroshi Date: Wed, 21 Aug 2013 13:49:31 +0900 Subject: [PATCH] Update UI for title of group tabs by setter --- modules/groupTab.js | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/modules/groupTab.js b/modules/groupTab.js index c15b4269..11d5095d 100644 --- a/modules/groupTab.js +++ b/modules/groupTab.js @@ -98,6 +98,9 @@ GroupTab.prototype = { }, set title(aValue) { this._title = aValue; + this.document.title = this.label.value = aValue; + this.label.setAttribute('tooltiptext', aValue); + this.document.documentElement.setAttribute('title', aValue); this._updateURI(); return aValue; }, @@ -197,9 +200,6 @@ GroupTab.prototype = { var old = this.trim(this.label.value); var value = this.trim(this.editor.value); - this.document.title = this.label.value = value; - this.label.setAttribute('tooltiptext', value); - this.document.documentElement.setAttribute('title', value); if (value != old) this.title = value;