From ba21db0feb0bdf9dd22236e9d368493b4de1f714 Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Tue, 11 May 2010 10:21:24 +0200
Subject: [PATCH] fix some editor rendering issues

---
 css/editor.css             | 4 ++--
 src/ace/VirtualRenderer.js | 5 ++++-
 src/ace/layer/Gutter.js    | 1 +
 3 files changed, 7 insertions(+), 3 deletions(-)

diff --git a/css/editor.css b/css/editor.css
index 4aa470f6..7527c2e9 100644
--- a/css/editor.css
+++ b/css/editor.css
@@ -6,8 +6,7 @@
 .scroller {
   position: absolute;
   overflow-x: scroll;
-  overflow-y: hidden;	    
-  cursor: text;    
+  overflow-y: hidden;     
 }
 
 .gutter {
@@ -49,6 +48,7 @@
 }
 
 .cursor-layer {
+  cursor: text;
 }
 
 .cursor {
diff --git a/src/ace/VirtualRenderer.js b/src/ace/VirtualRenderer.js
index dfae5cc7..3d27b52a 100644
--- a/src/ace/VirtualRenderer.js
+++ b/src/ace/VirtualRenderer.js
@@ -13,6 +13,7 @@ ace.VirtualRenderer = function(container) {
     this.container.appendChild(this.$gutter);
 
     this.content = document.createElement("div");
+    this.content.style.position = "absolute";
     this.scroller.appendChild(this.content);
 
     this.$gutterLayer = new ace.layer.Gutter(this.$gutter);
@@ -198,10 +199,12 @@ ace.VirtualRenderer = function(container) {
             firstRow : firstRow,
             lastRow : lastRow,
             lineHeight : this.lineHeight,
-            characterWidth : this.characterWidth
+            characterWidth : this.characterWidth,
+            minHeight : minHeight
         };
 
         this.content.style.marginTop = (-offset) + "px";
+        this.content.style.height = minHeight + "px";
 
         for ( var i = 0; i < this.layers.length; i++) {
             var layer = this.layers[i];
diff --git a/src/ace/layer/Gutter.js b/src/ace/layer/Gutter.js
index 0d6033bc..2436f77b 100644
--- a/src/ace/layer/Gutter.js
+++ b/src/ace/layer/Gutter.js
@@ -17,6 +17,7 @@ ace.layer.Gutter = function(parentEl) {
         }
 
         this.element.innerHTML = html.join("");
+        this.element.style.height = config.minHeight + "px";
     };
 
 }).call(ace.layer.Gutter.prototype);
\ No newline at end of file