From e740fae6897c5b2d1539802b68c3b646c99736a7 Mon Sep 17 00:00:00 2001 From: tophf Date: Sat, 13 Oct 2018 19:49:24 +0300 Subject: [PATCH] CodeMirror CSS mode: add CSS Round Display L1 https://www.w3.org/TR/css-round-display-1/ --- edit/codemirror-default.js | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/edit/codemirror-default.js b/edit/codemirror-default.js index 15d10b90..06b2614a 100644 --- a/edit/codemirror-default.js +++ b/edit/codemirror-default.js @@ -162,6 +162,12 @@ 'isolation': true, 'zoom': true, + // https://www.w3.org/TR/css-round-display-1/ + 'border-boundary': true, + 'shape': true, + 'shape-inside': true, + 'viewport-fit': true, + // nonstandard https://compat.spec.whatwg.org/ 'box-reflect': true, 'text-fill-color': true, @@ -172,6 +178,7 @@ }); Object.assign(CodeMirror.mimeModes['text/css'].valueKeywords, { 'isolate': true, + 'rect': true, 'recto': true, 'verso': true, });