mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-18 09:34:34 +07:00
PHP Fix Dacrcula colors
This commit is contained in:
@@ -1507,6 +1507,36 @@
|
||||
<option name="ERROR_STRIPE_COLOR" />
|
||||
</value>
|
||||
</option>
|
||||
<option name="PHP_CONSTANT">
|
||||
<value>
|
||||
<option name="FOREGROUND" value="9876aa" />
|
||||
<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="PHP_DOC_COMMENT_ID">
|
||||
<value>
|
||||
<option name="FOREGROUND" value="629755" />
|
||||
<option name="BACKGROUND" value="3d403d" />
|
||||
<option name="FONT_TYPE" value="0" />
|
||||
<option name="EFFECT_COLOR" />
|
||||
<option name="EFFECT_TYPE" value="0" />
|
||||
<option name="ERROR_STRIPE_COLOR" />
|
||||
</value>
|
||||
</option>
|
||||
<option name="PHP_DOC_TAG">
|
||||
<value>
|
||||
<option name="FOREGROUND" value="526d4a" />
|
||||
<option name="BACKGROUND" />
|
||||
<option name="FONT_TYPE" value="2" />
|
||||
<option name="EFFECT_COLOR" />
|
||||
<option name="EFFECT_TYPE" value="1" />
|
||||
<option name="ERROR_STRIPE_COLOR" />
|
||||
</value>
|
||||
</option>
|
||||
<option name="PHP_EXEC_COMMAND_ID">
|
||||
<value>
|
||||
<option name="FOREGROUND" value="a5c25c" />
|
||||
|
||||
Reference in New Issue
Block a user