From 705395ea1fc810bc55ae2956975abf8115754446 Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Mon, 31 Jan 2011 08:12:08 +0100
Subject: [PATCH] minor cleanups

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

diff --git a/lib/ace/virtual_renderer.js b/lib/ace/virtual_renderer.js
index 6478b0f1..89844cd9 100644
--- a/lib/ace/virtual_renderer.js
+++ b/lib/ace/virtual_renderer.js
@@ -20,7 +20,7 @@
  * the Initial Developer. All Rights Reserved.
  *
  * Contributor(s):
- *      Fabian Jakobs <fabian AT ajax DOT org>
+ *      Fabian Jakobs <fabian@ajax.org>
  *      Irakli Gozalishvili <rfobic@gmail.com> (http://jeditoolkit.com)
  *      Julian Viereck <julian.viereck@gmail.com>
  *
@@ -96,12 +96,13 @@ var VirtualRenderer = function(container, theme) {
         column : 0
     };
 
-    var self = this;
+    var _self = this;
     this.$textLayer.addEventListener("changeCharaterSize", function() {
-        self.characterWidth = textLayer.getCharacterWidth();
-        self.lineHeight = textLayer.getLineHeight();
+        _self.characterWidth = textLayer.getCharacterWidth();
+        _self.lineHeight = textLayer.getLineHeight();
+        _self.$updatePrintMargin();
 
-        self.$loop.schedule(self.CHANGE_FULL);
+        _self.$loop.schedule(_self.CHANGE_FULL);
     });
     event.addListener(this.$gutter, "click", this.$onGutterClick.bind(this));
     event.addListener(this.$gutter, "dblclick", this.$onGutterClick.bind(this));
@@ -272,6 +273,7 @@ var VirtualRenderer = function(container, theme) {
 
         if (!this.$showPrintMargin && !this.$printMarginEl)
             return;
+            
         if (!this.$printMarginEl) {
             containerEl = document.createElement("div");
             containerEl.className = "ace_print_margin_layer";