Skip to content

Conversation

@Paquan
Copy link

@Paquan Paquan commented May 9, 2022

There is already a PR from 2019 but since it isn't merged yet and I find the proposed colors look a bit "withered" anyway here you habe a new PR :)

@Paquan
Copy link
Author

Paquan commented May 9, 2022

P.S. still a huge fan of this theme 😉

@Paquan
Copy link
Author

Paquan commented May 9, 2022

Before:
Bildschirmfoto 2022-05-09 um 13 39 23

Now:
Bildschirmfoto 2022-05-09 um 13 38 48

"diffEditor.removedTextBackground": "#f0141449",
"diffEditor.removedLineBackground": "#ef7a7a49",
"diffEditor.insertedTextBackground": "#6be92d45",
"diffEditor.insertedLineBackground": "#85d75c41"

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
"diffEditor.insertedLineBackground": "#85d75c41"
"diffEditor.insertedLineBackground": "#85d75c41",

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants