mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
fix coverage colors under Darcula
This commit is contained in:
@@ -910,6 +910,24 @@
|
||||
<option name="FOREGROUND" value="d0d0ff" />
|
||||
</value>
|
||||
</option>
|
||||
<option name="LINE_FULL_COVERAGE">
|
||||
<value>
|
||||
<option name="FOREGROUND" value="485848" />
|
||||
<option name="FONT_TYPE" value="1" />
|
||||
</value>
|
||||
</option>
|
||||
<option name="LINE_NONE_COVERAGE">
|
||||
<value>
|
||||
<option name="FOREGROUND" value="715353" />
|
||||
<option name="FONT_TYPE" value="1" />
|
||||
</value>
|
||||
</option>
|
||||
<option name="LINE_PARTIAL_COVERAGE">
|
||||
<value>
|
||||
<option name="FOREGROUND" value="80805a" />
|
||||
<option name="FONT_TYPE" value="1" />
|
||||
</value>
|
||||
</option>
|
||||
<option name="LOG_ERROR_OUTPUT">
|
||||
<value>
|
||||
<option name="FOREGROUND" value="ff6b68" />
|
||||
|
||||
Reference in New Issue
Block a user