From 0be6f6dfe440339a7e20f5d203722ee0deaab2cd Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Thu, 12 Mar 2015 20:41:06 +0300
Subject: [PATCH] Edit style: remove CodeMirror's Ctrl-S handler, now redundant

---
 edit.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/edit.js b/edit.js
index b69031fe..40a3ec54 100644
--- a/edit.js
+++ b/edit.js
@@ -16,7 +16,6 @@ sectionTemplate.innerHTML = '<label>' + t('sectionCode') + '</label><textarea cl
 var editors = [] // array of all CodeMirror instances
 // replace given textarea with the CodeMirror editor
 function setupCodeMirror(textarea) {
-	CodeMirror.commands.save = function(cm) { save() }
 	var cm = CodeMirror.fromTextArea(textarea, {
 		mode: 'css',
 		lineNumbers: true,