From bade5d6578ee2779442c67b12620ec93ff8e4212 Mon Sep 17 00:00:00 2001
From: Giannis <bone.jp@gmail.com>
Date: Wed, 31 Aug 2011 15:42:44 +0300
Subject: [PATCH] * add eclipse theme print margin

---
 lib/ace/theme/eclipse.js | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/lib/ace/theme/eclipse.js b/lib/ace/theme/eclipse.js
index 0f2017e9..82836e32 100644
--- a/lib/ace/theme/eclipse.js
+++ b/lib/ace/theme/eclipse.js
@@ -63,6 +63,10 @@ define(function(require, exports, module) {
   padding-right: 6px;\
 }\
 \
+.ace-eclipse .ace_print_margin {\
+  width: 1px;\
+  background: #b1b4ba;\
+}\
 .ace-eclipse .ace_text-layer {\
   cursor: text;\
 }\