diff --git a/src/css/codemirror.css b/src/css/codemirror.css index c02839677..772a91140 100644 --- a/src/css/codemirror.css +++ b/src/css/codemirror.css @@ -20,10 +20,9 @@ .cm-s-default .cm-comment { color: #777; } .cm-staticext { color: #008; } -.cm-staticextAnchor { font-weight: bold; } .cm-staticnetBlock { color: #800; } .cm-staticnetAllow { color: #004f00; } -.cm-staticnetOpt { font-weight: bold; } +.cm-staticOpt { background-color: #ddd; font-weight: bold; } .cm-search-widget { align-items: center; diff --git a/src/js/codemirror/ubo-static-filtering.js b/src/js/codemirror/ubo-static-filtering.js index 28e8d6b5b..f49ff3f06 100644 --- a/src/js/codemirror/ubo-static-filtering.js +++ b/src/js/codemirror/ubo-static-filtering.js @@ -33,9 +33,9 @@ CodeMirror.defineMode("ubo-static-filtering", function() { var lineMatches = null; var lineStyles = new Map([ - [ 'staticext', [ '', 'staticextAnchor', '' ] ], - [ 'staticnetAllow', [ '', 'staticnetOpt', '' ] ], - [ 'staticnetBlock', [ '', 'staticnetOpt', '' ] ], + [ 'staticext', [ '', 'staticOpt', '' ] ], + [ 'staticnetAllow', [ '', 'staticOpt', '' ] ], + [ 'staticnetBlock', [ '', 'staticOpt', '' ] ], ]); var styleFromStream = function(stream) {