MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

Move PHP-specific colors for Darcula to PHP plug-in

Browse Source
This commit is contained in:
Rustam Vishnyakov
2013-01-22 13:03:38 +04:00
parent 915b4415e8
commit ea0472e9fe
1 changed files with 0 additions and 30 deletions
Download Patch File Download Diff File Expand all files Collapse all files
colorSchemes/src/colorSchemes/Darcula.xml
-30
View File
@@ -1587,36 +1587,6 @@
<option name="ERROR_STRIPE_COLOR" />
</value>
</option>
<option name="PHP_EXEC_COMMAND_ID">
<value>
<option name="FOREGROUND" value="a5c25c" />
<option name="BACKGROUND" value="5e6465" />
<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_SCRIPTING_BACKGROUND">
<value>
<option name="FOREGROUND" />
<option name="BACKGROUND" value="444444" />
<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_VAR">
<value>
<option name="FOREGROUND" value="bf5553" />
<option name="BACKGROUND" />
<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="PROPERTIES.INVALID_STRING_ESCAPE">
<value>
<option name="FOREGROUND" value="ffc66d" />