mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Set a color for warning effect (WI-15846)
This commit is contained in:
@@ -3611,7 +3611,7 @@
|
||||
<option name="FOREGROUND" />
|
||||
<option name="BACKGROUND" value="4d4925" />
|
||||
<option name="FONT_TYPE" value="0" />
|
||||
<option name="EFFECT_COLOR" />
|
||||
<option name="EFFECT_COLOR" value="8c8c00" />
|
||||
<option name="EFFECT_TYPE" value="2" />
|
||||
<option name="ERROR_STRIPE_COLOR" value="8c8c00" />
|
||||
</value>
|
||||
|
||||
Reference in New Issue
Block a user