Open zhl111 opened 2 years ago
You have to import the JSON as follows:
{
"Mini-Linting": {
"class": "Mini-Linting",
"color": "#A70F0F38",
"regex": true,
"query": " {2,}(?!\\|| |$)|- - |^\\s*- \\n|^ +(?![0-9-`])",
"mark": [
"match"
],
"css": ".cm-line .Mini-Linting {\n background: none;\n}\n\n.cm-line:not(.cm-active) .Mini-Linting {\n outline: 1px solid var(--text-error);\n}"
}
}