ff3.6 & tabkit bug

自从升级了ubuntu10.04 , 就发现 tabkit 不兼容 ff3.6，尝试修改install.rdf 

                <em:minVersion>3.0</em:minVersion>

                <em:maxVersion>3.6.*</em:maxVersion>

有一个bug: 无法resize sidebar

关于该bug的详细描述见：

http://code.google.com/p/tabkit/issues/detail?id=16

bug描述 写道

== What exact steps will reproduce the problem? ==

I'm using the current Minefield build (Mozilla/5.0 (Windows; U; Windows NT
5.1; en-US; rv:1.9.2a1pre) Gecko/20090801 Minefield/3.6a1pre (.NET CLR
3.5.30729)), so maybe this problem is caused by that.

1.Start Firefox.
2.When loading is done, try to shrink/expand the width of the sidebar by
dragging the border between the Tabkit sidebar and the normal browser window.
3. The sidebar border will shrink by one pixel or expand by one pixel,
depending on the side you're coming from (left: expanding - right: shrinking)

== What is the expected output? What do you see instead? ==

Sidebar border should stick inplace, so I can change the width of the
tabkit sidebar.

== What versions of Tab Kit and Firefox are you using? On what operating
system? ==

I'm using the current Minefield build (Mozilla/5.0 (Windows; U; Windows NT
5.1; en-US; rv:1.9.2a1pre) Gecko/20090801 Minefield/3.6a1pre (.NET CLR
3.5.30729)), so maybe this problem is caused by that. Tabkit version 0.5.7

 

---这个描诉写的真详细。。

自己尝试patch之，未果.

最后发现这个patch可行: (在我的tabkit里面行号不一样..)

http://code.google.com/p/tabkit/issues/attachmentText?id=16&aid=8164852514197001351&name=tabkit.patch&token=63f0a0f31e00e365438123bba12f105f

--- tabkit.orig	2010-06-01 10:27:54.000000000 +0100
+++ tabkit.js	2010-06-01 10:28:20.000000000 +0100
@@ -5239,6 +5239,10 @@
 
     /// Event Listeners:
     this.onMouseUpGesture = function onMouseUpGesture(event) {
+        var splitter = document.getElementById("tabkit-splitter");
+        if (splitter && splitter.getAttribute("state") == "dragging")
+            return;
+
         if (!event.isTrusted)
             return;
 
@@ -5250,6 +5254,10 @@
     };
 
     this.onMouseDownGesture = function onMouseDownGesture(event) {
+        var splitter = document.getElementById("tabkit-splitter");
+        if (splitter && splitter.getAttribute("state") == "dragging")
+            return;
+
         if (!event.isTrusted)
             return;