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

Let's try different folding color default since folding more used to highlight something nowadays than actually hide.

Browse Source
This commit is contained in:
Maxim Shafirov
2011-09-13 21:34:45 +04:00
parent 33142e0ced
commit e6d744a275
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-resources/src/DefaultColorSchemesManager.xml
+2 -2
View File
@@ -131,8 +131,8 @@
<option name="FOLDED_TEXT_ATTRIBUTES">
<value>
<option name="FOREGROUND" value="c3c3c3"/>
<option name="BACKGROUND" value="f0f0f0"/>
<option name="FOREGROUND" value="666666"/>
<option name="BACKGROUND" value="ccffcc"/>
<option name="EFFECT_COLOR"/>
<option name="FONT_TYPE" value="1"/>
<option name="EFFECT_TYPE" value="1"/>