зеркало из https://github.com/mozilla/pjs.git
fix for bug #349751 extra space between tabs after dragging a tab to extreme left r=mconnor
This commit is contained in:
Родитель
17e312fde7
Коммит
bcc4f92e84
|
@ -1925,6 +1925,7 @@
|
|||
var i;
|
||||
for (i = 0; i < this.mTabContainer.childNodes.length; i++) {
|
||||
this.mTabContainer.childNodes[i]._tPos = i;
|
||||
this.mTabContainer.childNodes[i].selected = false;
|
||||
}
|
||||
this.mCurrentTab.selected = true;
|
||||
this.mTabContainer.mTabstrip.scrollBoxObject.ensureElementIsVisible(this.mCurrentTab);
|
||||
|
@ -2801,13 +2802,13 @@
|
|||
</implementation>
|
||||
<handlers>
|
||||
<handler event="TabSelect" action="this._handleTabSelect();"/>
|
||||
<handler event="mouseover"><![CDATA[
|
||||
<handler event="mouseover"><![CDATA[
|
||||
if (event.originalTarget == this.mAllTabsButton) {
|
||||
this.mAllTabsButton
|
||||
.setAttribute("tooltiptext",
|
||||
this.mAllTabsButton.getAttribute("tooltipstring"));
|
||||
}
|
||||
else
|
||||
}
|
||||
else
|
||||
this.mAllTabsButton.removeAttribute("tooltiptext");
|
||||
]]></handler>
|
||||
</handlers>
|
||||
|
|
Загрузка…
Ссылка в новой задаче