Codemirror file editor for UiFileManager plugin

This commit is contained in:
Tamas Kocsis 2020-09-21 18:25:38 +02:00
parent f0b0f57643
commit 392350ff79
57 changed files with 41027 additions and 0 deletions

View file

@ -0,0 +1,8 @@
.CodeMirror-search-match {
background: gold;
border-top: 1px solid orange;
border-bottom: 1px solid orange;
-moz-box-sizing: border-box;
box-sizing: border-box;
opacity: .5;
}