jyapayne/ace
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Revert "add scrollbar before scroller to not cover it"

Browse source 
This reverts commit decebfc552.
This commit is contained in:
Fabian Jakobs 2011-12-09 16:49:27 +01:00
commit 16abfcbe75
1 changed files with 2 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

5
lib/ace/scrollbar.js
View file

@ -50,17 +50,16 @@ var ScrollBar = function(parent) {
this.inner = dom.createElement("div"); this.inner = dom.createElement("div");
this.element.appendChild(this.inner); this.element.appendChild(this.inner);
parent.appendChild(this.element);
// in OSX lion the scrollbars appear to have no width. In this case resize // 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 // the to show the scrollbar but still pretend that the scrollbar has a width
// of 0px // of 0px
// in Firefox 6+ scrollbar is hidden if element has the same width as scrollbar // 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 // 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.width = dom.scrollbarWidth(parent.ownerDocument);
this.element.style.width = (this.width || 15) + 5 + "px"; this.element.style.width = (this.width || 15) + 5 + "px";
parent.insertBefore(this.element, parent.firstChild);
event.addListener(this.element, "scroll", this.onScroll.bind(this)); event.addListener(this.element, "scroll", this.onScroll.bind(this));
}; };