From e0406109954170938b401cc236af141107c610af Mon Sep 17 00:00:00 2001
From: nightwing <amirjanyan@gmail.com>
Date: Thu, 18 Aug 2011 18:48:58 +0500
Subject: [PATCH] fix invisible scrollbar for zoomed pages on firefox

---
 lib/ace/scrollbar.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/lib/ace/scrollbar.js b/lib/ace/scrollbar.js
index 55a75b33..ad6c3b1a 100644
--- a/lib/ace/scrollbar.js
+++ b/lib/ace/scrollbar.js
@@ -54,8 +54,10 @@ var ScrollBar = function(parent) {
     // in OSX lion the scrollbars appear to have no width. In this case resize
     // the to show the scrollbar but still pretend that the scrollbar has a width
     // of 0px
+    // in Firefox 6+ scrollbar is hidden if element has the same width as scrollbar
+    // make element a little bit wider to retain scrollbar when page is zoomed 
     this.width = dom.scrollbarWidth();
-    this.element.style.width = (this.width || 15) + "px";
+    this.element.style.width = (this.width || 15) + 5 + "px";
 
     event.addListener(this.element, "scroll", this.onScroll.bind(this));
 };