Breaking News: Grepper is joining You.com. Read the official announcement!

editorGutter.modifiedBackground striped color

Diz Andriana answered on April 10, 2022 Popularity 1/10 Helpfulness 1/10

answer editorGutter.modifiedBackground striped color

editorGutter.modifiedBackground striped color

Comment

(function(){var x = document.createElement('style');
x.innerText = ('.monaco-editor .dirty-diff-modified'+
'{background: none; border-left: 3px solid #71b9e3;}'+
'.monaco-editor .dirty-diff-modified:before'+
'{transform: none; background-image: none; background-color: #71b9e3;}');
document.head.appendChild(x);})();

Popularity 1/10 Helpfulness 1/10 Language javascript

Source: github.com

Tags: javascript

Link to this answer
Share Copy Link

Contributed on Apr 10 2022

Diz Andriana

0 Answers Avg Quality 2/10

Continue with Google

By continuing, I agree that I have read and agree to Greppers's Terms of Service and Privacy Policy.

editorGutter.modifiedBackground striped color

Contents

More Related Answers

editorGutter.modifiedBackground striped color

Grepper

Documentation

Social

Legal

Contact

Oops, You will need to install Grepper and log-in to perform this action.