MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

stripe colors update (IDEA-135627)

Browse Source
This commit is contained in:
Sergey Ignatov
2015-01-31 22:43:06 +03:00
parent e315ef4b41
commit 1694a00970
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-resources/src/DefaultColorSchemesManager.xml
+3 -3
View File
@@ -307,7 +307,7 @@
<option name="BACKGROUND" value="f6ebbc"/>
<option name="EFFECT_COLOR"/>
<option name="EFFECT_TYPE" value="1"/>
<option name="ERROR_STRIPE_COLOR" value="f5d800" />
<option name="ERROR_STRIPE_COLOR" value="ebc700" />
</value>
</option>
<option name="GENERIC_SERVER_ERROR_OR_WARNING">
@@ -316,7 +316,7 @@
<option name="BACKGROUND"/>
<option name="EFFECT_COLOR" value="f49810"/>
<option name="EFFECT_TYPE" value="2"/>
<option name="ERROR_STRIPE_COLOR" value="edaa48" />
<option name="ERROR_STRIPE_COLOR" value="e69317" />
</value>
</option>
<option name="DUPLICATE_FROM_SERVER">
@@ -334,7 +334,7 @@
<option name="BACKGROUND"/>
<option name="EFFECT_COLOR" value="cccccc"/>
<option name="EFFECT_TYPE" value="2"/>
<option name="ERROR_STRIPE_COLOR" value="e3d9b6" />
<option name="ERROR_STRIPE_COLOR" value="d9cfad" />
</value>
</option>
<option name="EJB_ERROR_ATTRIBUTES">