bug #4738 Header lose align when scrolling in Firefox

Signed-off-by: Madhura Jayaratne <madhura.cj@gmail.com>

1 files changed, 5 insertions, 1 deletions

diff --git a/js/sql.js b/js/sql.js
index abc3400220..b5b1285dfe 100644
--- a/js/sql.js
+++ b/js/sql.js
@@ -793,7 +793,11 @@ function rearrangeStickyColumns() {
     var $clonedHeader = $originalHeader.clone();
     // clone width per cell
     $clonedHeader.find("tr:first").children().width(function(i,val) {
-        return Math.floor($originalColumns.eq(i).width()) + 1;
+        var width = $originalColumns.eq(i).width();
+        if (! $.browser.mozilla) {
+            width += 1;
+        }
+        return width;
     });
     $sticky_columns.empty().append($clonedHeader);
 }