From 964829f0318d66f008dd8f118629c8df8cbaae4d Mon Sep 17 00:00:00 2001
From: Fabian Jakobs <fabian.jakobs@web.de>
Date: Thu, 21 Jul 2011 13:29:56 +0200
Subject: [PATCH] remove mouse wheel scrolling sliggishness in Safari

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

diff --git a/lib/ace/css/editor.css b/lib/ace/css/editor.css
index 6312262c..67b6522a 100644
--- a/lib/ace/css/editor.css
+++ b/lib/ace/css/editor.css
@@ -109,7 +109,7 @@
 .ace_cursor-layer {
     z-index: 4;
     cursor: text;
-    pointer-events: none;
+    /* setting pointer-events: none; here will break mouse wheel scrolling in Safari */
 }
 
 .ace_cursor {