From decebfc552981390f83455579b92572b5903d47f Mon Sep 17 00:00:00 2001 From: nightwing Date: Thu, 8 Dec 2011 20:54:54 +0400 Subject: [PATCH] add scrollbar before scroller to not cover it --- lib/ace/scrollbar.js | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/lib/ace/scrollbar.js b/lib/ace/scrollbar.js index 64c418df..cc72e44b 100644 --- a/lib/ace/scrollbar.js +++ b/lib/ace/scrollbar.js @@ -50,16 +50,17 @@ var ScrollBar = function(parent) { this.inner = dom.createElement("div"); this.element.appendChild(this.inner); - parent.appendChild(this.element); - // 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 + // and insert it before other siblings to not cover them this.width = dom.scrollbarWidth(parent.ownerDocument); this.element.style.width = (this.width || 15) + 5 + "px"; + parent.insertBefore(this.element, parent.firstChild); + event.addListener(this.element, "scroll", this.onScroll.bind(this)); };