mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
read/write access searches
This commit is contained in:
@@ -1493,7 +1493,8 @@
|
||||
</option>
|
||||
<option name="SEARCH_RESULT_ATTRIBUTES">
|
||||
<value>
|
||||
<option name="BACKGROUND" value="8b6700" />
|
||||
<option name="BACKGROUND" value="155221" />
|
||||
<option name="ERROR_STRIPE_COLOR" value="246e00" />
|
||||
</value>
|
||||
</option>
|
||||
<option name="SLIM_BAD_CHARACTER">
|
||||
@@ -1765,7 +1766,7 @@
|
||||
</option>
|
||||
<option name="WARNING_ATTRIBUTES">
|
||||
<value>
|
||||
<option name="BACKGROUND" value="525041" />
|
||||
<option name="BACKGROUND" value="52503a" />
|
||||
<option name="EFFECT_TYPE" value="2" />
|
||||
<option name="ERROR_STRIPE_COLOR" value="8c8c00" />
|
||||
</value>
|
||||
@@ -1778,7 +1779,8 @@
|
||||
</option>
|
||||
<option name="WRITE_SEARCH_RESULT_ATTRIBUTES">
|
||||
<value>
|
||||
<option name="BACKGROUND" value="5a647e" />
|
||||
<option name="BACKGROUND" value="532b2e" />
|
||||
<option name="ERROR_STRIPE_COLOR" value="c55450" />
|
||||
</value>
|
||||
</option>
|
||||
<option name="WRONG_REFERENCES_ATTRIBUTES">
|
||||
|
||||
Reference in New Issue
Block a user