From 93fb27747e72d8288db9d384357a96922de8ee98 Mon Sep 17 00:00:00 2001 From: nightwing Date: Tue, 23 Aug 2011 00:13:44 +0500 Subject: [PATCH 1/2] remove unneeded , and remove entities not present in xml --- lib/ace/layer/gutter.js | 2 +- lib/ace/layer/text.js | 8 ++++---- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/lib/ace/layer/gutter.js b/lib/ace/layer/gutter.js index 190fa6f1..d7f43cab 100644 --- a/lib/ace/layer/gutter.js +++ b/lib/ace/layer/gutter.js @@ -125,7 +125,7 @@ var Gutter = function(parentEl) { var wrappedRowLength = this.session.getRowLength(i) - 1; while (wrappedRowLength--) { - html.push("
¦
"); + html.push("
\xA6"); } html.push("
"); diff --git a/lib/ace/layer/text.js b/lib/ace/layer/text.js index b251d9bb..89b684bf 100644 --- a/lib/ace/layer/text.js +++ b/lib/ace/layer/text.js @@ -60,10 +60,10 @@ var Text = function(parentEl) { oop.implement(this, EventEmitter); - this.EOF_CHAR = "¶"; - this.EOL_CHAR = "¬"; - this.TAB_CHAR = "→"; - this.SPACE_CHAR = "·"; + this.EOF_CHAR = "\xB6"; //"¶"; + this.EOL_CHAR = "\xAC"; //"¬"; + this.TAB_CHAR = "\u2192"; //"→"; + this.SPACE_CHAR = "\xB7"; //"·"; this.$padding = 0; this.setPadding = function(padding) { From b21ec9185e380a93dc8d311195cbcabbf6ac9372 Mon Sep 17 00:00:00 2001 From: nightwing Date: Thu, 25 Aug 2011 13:58:19 +0500 Subject: [PATCH 2/2] can't scroll all the way to the left with mouse --- lib/ace/virtual_renderer.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/ace/virtual_renderer.js b/lib/ace/virtual_renderer.js index 257d039d..dfa0fb56 100644 --- a/lib/ace/virtual_renderer.js +++ b/lib/ace/virtual_renderer.js @@ -633,7 +633,7 @@ var VirtualRenderer = function(container, theme) { var pos = this.$cursorLayer.getPixelPosition(); - var left = pos.left + this.$padding; + var left = pos.left; var top = pos.top; if (this.scrollTop > top) {