From 7205ed3f284715c005ded9175a4750186ef920bb Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Tue, 11 May 2010 16:19:09 +0200
Subject: [PATCH] fix print margin rendering

---
 src/ace/VirtualRenderer.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ace/VirtualRenderer.js b/src/ace/VirtualRenderer.js
index 71ff2750..0e65e529 100644
--- a/src/ace/VirtualRenderer.js
+++ b/src/ace/VirtualRenderer.js
@@ -111,7 +111,7 @@ ace.VirtualRenderer = function(container) {
         if (!this.$printMarginEl) {
             this.$printMarginEl = document.createElement("div");
             this.$printMarginEl.className = "printMargin";
-            this.content.insertBefore(this.$printMarginEl, this.$gutter.element);
+            this.content.insertBefore(this.$printMarginEl, this.$markerLayer.element);
         }
 
         var style = this.$printMarginEl.style;