From 3806f21a1ccdb25fce5237d2e4bf78c3d44d9274 Mon Sep 17 00:00:00 2001 From: piro Date: Wed, 16 Dec 2009 17:57:45 +0000 Subject: [PATCH] =?UTF-8?q?Session=20Manager=200.6.7=E3=81=A7=E3=82=BB?= =?UTF-8?q?=E3=83=83=E3=82=B7=E3=83=A7=E3=83=B3=E3=83=97=E3=83=AD=E3=83=B3?= =?UTF-8?q?=E3=83=97=E3=83=88=E3=82=92=E8=A1=A8=E7=A4=BA=E3=81=99=E3=82=8B?= =?UTF-8?q?=E8=A8=AD=E5=AE=9A=E3=81=AB=E3=81=97=E3=81=A6=E3=80=81=E3=82=BB?= =?UTF-8?q?=E3=83=83=E3=82=B7=E3=83=A7=E3=83=B3=E3=83=AA=E3=82=B9=E3=83=88?= =?UTF-8?q?=E3=82=A2=E3=82=92=E3=82=AD=E3=83=A3=E3=83=B3=E3=82=BB=E3=83=AB?= =?UTF-8?q?=E3=81=97=E3=81=9F=E5=A0=B4=E5=90=88=E3=81=AB=E3=80=81=E3=82=A6?= =?UTF-8?q?=E3=82=A4=E3=83=B3=E3=83=89=E3=82=A6=E3=82=B5=E3=82=A4=E3=82=BA?= =?UTF-8?q?=E3=81=8C=E3=82=BF=E3=82=A4=E3=83=88=E3=83=AB=E3=83=90=E3=83=BC?= =?UTF-8?q?=E3=81=A0=E3=81=91=E3=81=AB=E3=81=AA=E3=82=8B=E4=B8=8D=E5=85=B7?= =?UTF-8?q?=E5=90=88=E3=82=92=E4=BF=AE=E6=AD=A3=EF=BC=88patch=20by=20Alice?= =?UTF-8?q?0775=EF=BC=89=20see:=20http://piro.sakura.ne.jp/cgi-bin/bbs.cgi?= =?UTF-8?q?=3F2565?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit git-svn-id: http://www.cozmixng.org/repos/piro/treestyletab/trunk@5520 599a83e7-65a4-db11-8015-0010dcdd6dc2 --- content/treestyletab/treestyletabbrowser_autoHide.js | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/content/treestyletab/treestyletabbrowser_autoHide.js b/content/treestyletab/treestyletabbrowser_autoHide.js index 4d79a259..614420e6 100644 --- a/content/treestyletab/treestyletabbrowser_autoHide.js +++ b/content/treestyletab/treestyletabbrowser_autoHide.js @@ -1181,8 +1181,14 @@ TreeStyleTabBrowserAutoHide.updateKeyListeners = function() { } window.setTimeout(function() { if (window.windowState != Components.interfaces.nsIDOMChromeWindow.STATE_NORMAL) return; - window.resizeBy(-1,-1); - window.resizeBy(1,1); + var count = 0; + var resizeTimer = window.setInterval(function(){ + if (++count > 100 || window.innerHeight > 0) { + window.clearInterval(resizeTimer); + window.resizeBy(-1,-1); + window.resizeBy(1,1); + } + }, 250); }, 0); };