From 1bbb99b5481976bf37b8df229b814160c1537f50 Mon Sep 17 00:00:00 2001
From: ilvalle <paolo.valleri@gmail.com>
Date: Tue, 29 Oct 2013 17:24:46 +0100
Subject: [PATCH] fix codemirror gutter managment

---
 applications/admin/views/default/edit.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/applications/admin/views/default/edit.html b/applications/admin/views/default/edit.html
index ae1baa41..ceb3a18a 100644
--- a/applications/admin/views/default/edit.html
+++ b/applications/admin/views/default/edit.html
@@ -136,8 +136,8 @@ function update_editor(preferences) {
         editor.setOption("indentUnit", parseInt(preferences.tabwidth));
         editor.setOption("tabSize", parseInt(preferences.tabwidth));
         editor.setOption("indentWithTabs", (preferences.indentwithtabs === 'true'));
-        if (preferences.linenumbers === 'true') {
-            gutters = editor.getOption("gutters");
+        gutters = editor.getOption("gutters");
+        if ( preferences.linenumbers === 'true' && $.inArray('CodeMirror-linenumbers', gutters) === -1 ) {
             gutters.splice(0, 0, 'CodeMirror-linenumbers');
             editor.setOption("gutter", gutters);
         }