clip the cursor before rendering

This commit is contained in:
Fabian Jakobs 2011-02-18 15:44:37 +01:00
commit caad347a39
2 changed files with 2 additions and 6 deletions

View file

@ -45,8 +45,6 @@ var TextMode = require("ace/mode/text").Mode;
var Range = require("ace/range").Range;
var Document = require("ace/document").Document;
var NO_CHANGE_DELTAS = {};
var EditSession = function(text, mode) {
this.$modified = true;
this.$breakpoints = [];
@ -54,7 +52,6 @@ var EditSession = function(text, mode) {
this.$backMarkers = {};
this.$markerId = 1;
this.$wrapData = [];
this.listeners = [];
if (text instanceof Document) {
this.setDocument(text);

View file

@ -58,8 +58,7 @@ var Cursor = function(parentEl) {
};
this.setCursor = function(position, overwrite) {
this.position =
this.session.documentToScreenPosition(position);
this.position = position;
if (overwrite) {
dom.addCssClass(this.cursor, "ace_overwrite");
@ -108,7 +107,7 @@ var Cursor = function(parentEl) {
};
}
var pos = this.position;
var pos = this.session.documentToScreenPosition(this.position);
var cursorLeft = Math.round(pos.column * this.config.characterWidth);
var cursorTop = (pos.row - (onScreen ? this.config.firstRowScreen : 0)) *
this.config.lineHeight;