fix mouse positioning if the editor is scrolled in the page

This commit is contained in:
Fabian Jakobs 2011-02-11 10:33:09 +01:00
commit 6c6f2a8f1c
2 changed files with 3 additions and 3 deletions

View file

@ -617,9 +617,9 @@ var VirtualRenderer = function(container, theme) {
this.screenToTextCoordinates = function(pageX, pageY) {
var canvasPos = this.scroller.getBoundingClientRect();
var col = Math.round((pageX + this.scroller.scrollLeft - canvasPos.left - this.$padding)
var col = Math.round((pageX + this.scroller.scrollLeft - canvasPos.left - this.$padding - dom.getPageScrollLeft())
/ this.characterWidth);
var row = Math.floor((pageY + this.scrollTop - canvasPos.top - window.pageYOffset)
var row = Math.floor((pageY + this.scrollTop - canvasPos.top - dom.getPageScrollTop())
/ this.lineHeight);
return this.session.screenToDocumentPosition(row, Math.max(col, 0));

@ -1 +1 @@
Subproject commit c0cab19cbb5d44df98bae0060c782a6f30464afe
Subproject commit cbfac498d30d43fdb7687d198c5b752736222c2f