From 172b9e9ca86bcf1187fb5a705a00b599a9839b7a Mon Sep 17 00:00:00 2001
From: Julian Viereck <julian.viereck@gmail.com>
Date: Wed, 26 Jan 2011 23:57:53 +0100
Subject: [PATCH] Include padding when calculating the printMaring

---
 lib/ace/virtual_renderer.js | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/lib/ace/virtual_renderer.js b/lib/ace/virtual_renderer.js
index ff8ebcd1..69192951 100644
--- a/lib/ace/virtual_renderer.js
+++ b/lib/ace/virtual_renderer.js
@@ -116,8 +116,8 @@ var VirtualRenderer = function(container, theme) {
     this.$loop = new RenderLoop(this.$renderChanges.bind(this));
     this.$loop.schedule(this.CHANGE_FULL);
 
-    this.$updatePrintMargin();
     this.setPadding(4);
+    this.$updatePrintMargin();
 };
 
 (function() {
@@ -280,7 +280,7 @@ var VirtualRenderer = function(container, theme) {
         }
 
         var style = this.$printMarginEl.style;
-        style.left = (this.characterWidth * this.$printMarginColumn) + "px";
+        style.left = ((this.characterWidth * this.$printMarginColumn) + this.$padding * 2) + "px";
         style.visibility = this.$showPrintMargin ? "visible" : "hidden";
     };
 
@@ -320,6 +320,7 @@ var VirtualRenderer = function(container, theme) {
         this.$padding = padding;
         this.content.style.padding = "0 " + padding + "px";
         this.$loop.schedule(this.CHANGE_FULL);
+        this.$updatePrintMargin();
     };
 
     this.onScroll = function(e) {