From 44bd5185a0d9613e8d1d09b89d0fcdda679813b4 Mon Sep 17 00:00:00 2001 From: Mihai Sucan Date: Sun, 20 Feb 2011 18:08:03 +0200 Subject: [PATCH] another fix for Workspace --- lib/ace/layer/gutter.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/ace/layer/gutter.js b/lib/ace/layer/gutter.js index 3650fc0d..b4354b5b 100644 --- a/lib/ace/layer/gutter.js +++ b/lib/ace/layer/gutter.js @@ -84,7 +84,7 @@ var Gutter = function(parentEl) { }; for (var i=0; i