From 6e236468a88f9fe78cbdcfc92b60523d9814a45f Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Wed, 7 Apr 2010 15:06:45 +0200
Subject: [PATCH] minor tweaks

---
 Editor.js  | 2 +-
 editor.css | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/Editor.js b/Editor.js
index 959d9773..5b5e306f 100644
--- a/Editor.js
+++ b/Editor.js
@@ -194,7 +194,7 @@ Editor.prototype =
     };
     
     capture(this.container, onMouseSelection, onMouseSelectionEnd);
-    var timerId = setInterval(onSelectionInterval, 20);
+    var timerId = setInterval(onSelectionInterval, 20 );
         
     return preventDefault(e);
   },
diff --git a/editor.css b/editor.css
index e571e121..5ba7b355 100644
--- a/editor.css
+++ b/editor.css
@@ -1,7 +1,7 @@
 .editor {
   position: absolute;
   border: 1px solid black;
-  overflow-x: auto;
+  overflow-x: scroll;
   overflow-y: hidden;	  
 }
 
@@ -28,7 +28,7 @@
 
 .cursor {
   position: absolute;
-  width: 1px;
+  width: 2px;
   background: black;
 }