From 0920d6b572a0373a1f1792e9a9a73a7a16ec4359 Mon Sep 17 00:00:00 2001
From: Artur Arseniev <artur.catch@hotmail.it>
Date: Wed, 29 Nov 2017 21:20:29 +0100
Subject: [PATCH] Add the possibility to set any option in CodeMirror. Closes
 #209

---
 src/code_manager/model/CodeMirrorEditor.js | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/code_manager/model/CodeMirrorEditor.js b/src/code_manager/model/CodeMirrorEditor.js
index 05e229f92..eb5207612 100644
--- a/src/code_manager/model/CodeMirrorEditor.js
+++ b/src/code_manager/model/CodeMirrorEditor.js
@@ -20,10 +20,8 @@ module.exports = Backbone.Model.extend({
     this.editor  = CodeMirror.fromTextArea(el, {
       dragDrop: false,
       lineWrapping: true,
-      lineNumbers: this.get('lineNumbers'),
-      readOnly: this.get('readOnly'),
       mode: this.get('codeName'),
-      theme: this.get('theme'),
+      ...this.attributes,
     });
 
     return this;