From db2271f6336ec362d912dbf384ef086808b26436 Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Mon, 3 May 2010 17:24:51 +0200
Subject: [PATCH] fix mouse cursor

---
 css/editor.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/css/editor.css b/css/editor.css
index 148ec7f9..3cd216ea 100644
--- a/css/editor.css
+++ b/css/editor.css
@@ -7,6 +7,7 @@
   position: absolute;
   overflow-x: scroll;
   overflow-y: hidden;	    
+  cursor: text;    
 }
 
 .gutter {
@@ -37,7 +38,6 @@
 
 .text-layer {
   font-family: Monaco, "Courier New", monospace;
-  cursor: text;
   color: black;
 }