From 0296c93ab2482adb66b1a8469497045e74b5e0dd Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Thu, 20 Aug 2020 21:03:57 +0300
Subject: [PATCH] dedupe the props defined in new codemirror

---
 edit/codemirror-default.js | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/edit/codemirror-default.js b/edit/codemirror-default.js
index 6d97573d..8576d9e0 100644
--- a/edit/codemirror-default.js
+++ b/edit/codemirror-default.js
@@ -105,14 +105,7 @@
   }
 
   Object.assign(CodeMirror.mimeModes['text/css'].propertyKeywords, {
-    'background-position-x': true,
-    'background-position-y': true,
-    'contain': true,
-    'mask-image': true,
-    'mix-blend-mode': true,
     'overscroll-behavior': true,
-    'rotate': true,
-    'isolation': true,
   });
   Object.assign(CodeMirror.mimeModes['text/css'].colorKeywords, {
     'darkgrey': true,