ff3.6 & tabkit bug

最新推荐文章于 2026-01-08 22:46:11 发布

原创最新推荐文章于 2026-01-08 22:46:11 发布 · 154 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#Windows #Firefox #Google #.net

技术misc 专栏收录该内容

14 篇文章

订阅专栏

在Ubuntu10.04升级后，TabKit与Firefox3.6出现兼容性问题，导致侧边栏无法调整大小。作者通过检查安装文件、尝试手动修复并最终找到官方提供的补丁解决了此问题。

自从升级了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;