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

do not break subpixel positioning of markers

Browse source
This commit is contained in:
nightwing 2012-09-30 14:30:38 +04:00
commit f4507df564
2 changed files with 6 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

3
lib/ace/layer/cursor.js
View file

@ -127,8 +127,7 @@ var Cursor = function(parentEl) {
if (!position)
position = this.session.selection.getCursor();
var pos = this.session.documentToScreenPosition(position);
var cursorLeft = Math.round(this.$padding +
pos.column * this.config.characterWidth);
var cursorLeft = this.$padding + pos.column * this.config.characterWidth;
var cursorTop = (pos.row - (onScreen ? this.config.firstRowScreen : 0)) *
this.config.lineHeight;

14
lib/ace/layer/marker.js
View file

@ -78,9 +78,7 @@ var Marker = function(parentEl) {
range = range.toScreenRange(this.session);
if (marker.renderer) {
var top = this.$getTop(range.start.row, config);
var left = Math.round(
this.$padding + range.start.column * config.characterWidth
);
var left = this.$padding + range.start.column * config.characterWidth;
marker.renderer(html, range, left, top, config);
}
else if (range.isMultiLine()) {
@ -137,7 +135,7 @@ var Marker = function(parentEl) {
// from selection start to the end of the line
var height = config.lineHeight;
var top = this.$getTop(range.start.row, config);
var left = Math.round(padding + range.start.column * config.characterWidth);
var left = padding + range.start.column * config.characterWidth;
stringBuilder.push(
"<div class='", clazz, " ace_start' style='",
@ -149,7 +147,7 @@ var Marker = function(parentEl) {
// from start of the last line to the selection end
top = this.$getTop(range.end.row, config);
var width = Math.round(range.end.column * config.characterWidth);
var width = range.end.column * config.characterWidth;
stringBuilder.push(
"<div class='", clazz, "' style='",
@ -182,12 +180,10 @@ var Marker = function(parentEl) {
if (type === "background")
var width = layerConfig.width;
else
width = Math.round((range.end.column + (extraLength || 0) - range.start.column) * layerConfig.characterWidth);
width = (range.end.column + (extraLength || 0) - range.start.column) * layerConfig.characterWidth;
var top = this.$getTop(range.start.row, layerConfig);
var left = Math.round(
padding + range.start.column * layerConfig.characterWidth
);
var left = padding + range.start.column * layerConfig.characterWidth;
stringBuilder.push(
"<div class='", clazz, "' style='",