From e6d744a2759cba5be622e6370614d1d20f02e929 Mon Sep 17 00:00:00 2001 From: Maxim Shafirov Date: Tue, 13 Sep 2011 21:34:45 +0400 Subject: [PATCH] Let's try different folding color default since folding more used to highlight something nowadays than actually hide. --- .../platform-resources/src/DefaultColorSchemesManager.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/platform/platform-resources/src/DefaultColorSchemesManager.xml b/platform/platform-resources/src/DefaultColorSchemesManager.xml index cdfd06c4b945..aeac87bd8f43 100644 --- a/platform/platform-resources/src/DefaultColorSchemesManager.xml +++ b/platform/platform-resources/src/DefaultColorSchemesManager.xml @@ -131,8 +131,8 @@