|
<option name="TODO_DEFAULT_ATTRIBUTES"> |
|
<value> |
|
<option name="FOREGROUND" value="b8bb26" /> |
|
<option name="FONT_TYPE" value="2" /> |
|
<option name="ERROR_STRIPE_COLOR" value="a74c0" /> |
|
</value> |
This issue was generated by todo based on a TODO comment in f282560 when #1 was merged. cc @CodelyTV.