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

fix FF mouse wheel support

Browse source
This commit is contained in:
Fabian Jakobs 2010-04-08 15:43:05 +02:00
commit 77f941515e
2 changed files with 13 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
Editor.js
View file

@ -108,7 +108,7 @@ function Editor(doc, renderer)
addListener(container, "mousedown", bind(this.onMouseDown, this)); addListener(container, "mousedown", bind(this.onMouseDown, this));
addListener(container, "dblclick", bind(this.onMouseDoubleClick, this)); addListener(container, "dblclick", bind(this.onMouseDoubleClick, this));
addListener(container, "mousewheel", bind(this.onMouseWheel, this)); addMouseWheelListener(container, bind(this.onMouseWheel, this));
addTripleClickListener(container, bind(this.selectCurrentLine, this)); addTripleClickListener(container, bind(this.selectCurrentLine, this));
this.doc = doc; this.doc = doc;
@ -231,8 +231,8 @@ function Editor(doc, renderer)
onMouseWheel : function(e) onMouseWheel : function(e)
{ {
var delta = e.wheelDeltaY; var delta = e.wheel;
this.renderer.scrollToY(this.renderer.getScrollTop() - (delta/10)); this.renderer.scrollToY(this.renderer.getScrollTop() - (delta * 15));
return preventDefault(e); return preventDefault(e);
}, },

10
lib.js
View file

@ -130,6 +130,16 @@ capture = function(el, eventHandler, releaseCaptureHandler)
document.addEventListener("mouseup", onMouseUp, true); document.addEventListener("mouseup", onMouseUp, true);
} }
function addMouseWheelListener(el, callback)
{
var listener = function(e) {
e.wheel = (e.wheelDelta) ? e.wheelDelta / 120 : -(e.detail || 0) / 3;
callback(e);
}
addListener(el, "DOMMouseScroll", listener);
addListener(el, "mousewheel", listener);
};
function autoRemoveListener(el, type, callback, timeout) function autoRemoveListener(el, type, callback, timeout)
{ {
var listener = function(e) var listener = function(e)