mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
[diff] Make diff colors a bit more intensive
Otherwise they are too pale together with inline ones.
This commit is contained in:
@@ -300,7 +300,7 @@
|
||||
<option name="DIFF_DELETED">
|
||||
<value>
|
||||
<option name="FOREGROUND"/>
|
||||
<option name="BACKGROUND" value="e0e0e0"/>
|
||||
<option name="BACKGROUND" value="D6D6D6"/>
|
||||
<option name="EFFECT_COLOR"/>
|
||||
<option name="ERROR_STRIPE_COLOR" value="cbcbcb"/>
|
||||
</value>
|
||||
@@ -309,7 +309,7 @@
|
||||
<option name="DIFF_INSERTED">
|
||||
<value>
|
||||
<option name="FOREGROUND"/>
|
||||
<option name="BACKGROUND" value="d6f5d6"/>
|
||||
<option name="BACKGROUND" value="C8F2C8"/>
|
||||
<option name="EFFECT_COLOR"/>
|
||||
<option name="ERROR_STRIPE_COLOR" value="baeeba"/>
|
||||
</value>
|
||||
@@ -318,7 +318,7 @@
|
||||
<option name="DIFF_MODIFIED">
|
||||
<value>
|
||||
<option name="FOREGROUND"/>
|
||||
<option name="BACKGROUND" value="d7e2fb"/>
|
||||
<option name="BACKGROUND" value="CAD9FA"/>
|
||||
<option name="EFFECT_COLOR"/>
|
||||
<option name="ERROR_STRIPE_COLOR" value="bccff9"/>
|
||||
</value>
|
||||
|
||||
Reference in New Issue
Block a user