mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-07 22:09:38 +07:00
TODO highlighting
This commit is contained in:
@@ -731,6 +731,16 @@
|
||||
<option name="ERROR_STRIPE_COLOR" value="ff00" />
|
||||
</value>
|
||||
</option>
|
||||
<option name="TODO_DEFAULT_ATTRIBUTES">
|
||||
<value>
|
||||
<option name="FOREGROUND" value="ff0084" />
|
||||
<option name="BACKGROUND" />
|
||||
<option name="FONT_TYPE" value="2" />
|
||||
<option name="EFFECT_COLOR" />
|
||||
<option name="EFFECT_TYPE" value="0" />
|
||||
<option name="ERROR_STRIPE_COLOR" />
|
||||
</value>
|
||||
</option>
|
||||
<option name="WARNING_ATTRIBUTES">
|
||||
<value>
|
||||
<option name="FOREGROUND" />
|
||||
|
||||
Reference in New Issue
Block a user