From 6576190b535aee3dfa7e0cfeaef935e70c44b550 Mon Sep 17 00:00:00 2001
From: DanyaPostfactum <danya.postfactum@gmail.com>
Date: Mon, 1 Oct 2012 17:15:28 +1000
Subject: [PATCH] Add forgotten ace_layer class to ace_print-margin-layer

---
 lib/ace/css/editor.css      | 10 ----------
 lib/ace/virtual_renderer.js |  2 +-
 2 files changed, 1 insertion(+), 11 deletions(-)

diff --git a/lib/ace/css/editor.css b/lib/ace/css/editor.css
index 87f68158..b9eb5946 100644
--- a/lib/ace/css/editor.css
+++ b/lib/ace/css/editor.css
@@ -75,16 +75,6 @@
     left: 0;
 }
 
-.ace_print-margin-layer {
-    z-index: 0;
-    position: absolute;
-    overflow: hidden;
-    margin: 0;
-    left: 0;
-    height: 100%;
-    width: 100%;
-}
-
 .ace_print-margin {
     position: absolute;
     height: 100%;
diff --git a/lib/ace/virtual_renderer.js b/lib/ace/virtual_renderer.js
index 2385a568..7fc408ae 100644
--- a/lib/ace/virtual_renderer.js
+++ b/lib/ace/virtual_renderer.js
@@ -512,7 +512,7 @@ var VirtualRenderer = function(container, theme) {
 
         if (!this.$printMarginEl) {
             containerEl = dom.createElement("div");
-            containerEl.className = "ace_print-margin-layer";
+            containerEl.className = "ace_layer ace_print-margin-layer";
             this.$printMarginEl = dom.createElement("div");
             this.$printMarginEl.className = "ace_print-margin";
             containerEl.appendChild(this.$printMarginEl);