From 468b2f6499dfc79b105c46fd1b505b720a20b5b9 Mon Sep 17 00:00:00 2001
From: tophf <tophf@gmx.com>
Date: Fri, 15 Jun 2018 07:45:08 +0300
Subject: [PATCH] CodeMirror: recognize 'zoom' CSS property

---
 edit/codemirror-default.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/edit/codemirror-default.js b/edit/codemirror-default.js
index edd6896b..90215a8a 100644
--- a/edit/codemirror-default.js
+++ b/edit/codemirror-default.js
@@ -159,6 +159,8 @@
     'contain': true,
     'mix-blend-mode': true,
     'isolation': true,
+    'zoom': true,
+
     // nonstandard https://compat.spec.whatwg.org/
     'box-reflect': true,
     'text-fill-color': true,