stonewareslord/treestyletab
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

折りたたまれた状態のタブバーの幅を、展開された状態よりも広くできるようになってしまっていたのを修正（いつの頃からかのregression）

Browse Source 
git-svn-id: http://www.cozmixng.org/repos/piro/treestyletab/trunk@4171 599a83e7-65a4-db11-8015-0010dcdd6dc2
This commit is contained in:
piro 2009-04-21 07:52:03 +00:00
parent 9676807946
commit 38d9725c6d
2 changed files with 4 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
content/treestyletab/treestyletab.js
View File

@ -1792,12 +1792,10 @@ catch(e) {
onTabbarResized : function(aEvent)
{
var b = this.getTabBrowserFromChild(aEvent.currentTarget);
this.tabbarWidthResetting = true;
if (!b.treeStyleTab.tabbarExpanded)
this.setTreePref('tabbar.shrunkenWidth', b.mStrip.boxObject.width);
else
this.setTreePref('tabbar.width', b.mStrip.boxObject.width);
this.tabbarWidthResetting = false;
},
initContextMenu : function()
@ -2202,13 +2200,12 @@ catch(e) {
case 'extensions.treestyletab.tabbar.shrunkenWidth':
var expanded = this.getTreePref('tabbar.width');
var shrunken = this.getTreePref('tabbar.shrunkenWidth');
if (!this.tabbarWidthResetting &&
(expanded - this.getTreePref('autoHide.area')) < shrunken) {
if (expanded <= shrunken) {
this.tabbarWidthResetting = true;
if (aPrefName == 'extensions.treestyletab.tabbar.width')
this.setTreePref('tabbar.shrunkenWidth', parseInt(expanded / 1.2));
this.setTreePref('tabbar.shrunkenWidth', parseInt(expanded / 1.5));
else
this.setTreePref('tabbar.width', parseInt(shrunken * 1.2));
this.setTreePref('tabbar.width', parseInt(shrunken * 1.5));
this.tabbarWidthResetting = false;
}
break;

2
content/treestyletab/treestyletabbrowser.js
View File

@ -1102,7 +1102,7 @@ TreeStyleTabBrowser.prototype = {
case 'extensions.treestyletab.tabbar.width':
case 'extensions.treestyletab.tabbar.shrunkenWidth':
if (!this.tabbarWidthResetting && this.isVertical) {
if (!this.tabbarResizing && this.isVertical) {
this.mTabBrowser.mStrip.removeAttribute('width');
this.mTabBrowser.mStrip.setAttribute(
'width',