From 80f024c1b9bc6d12817bfecfc1f02a4c0e6f42d1 Mon Sep 17 00:00:00 2001
From: Konstantin Bulenkov <kb@jetbrains.com>
Date: Thu, 13 Nov 2014 13:30:53 +0100
Subject: [PATCH] update BACKGROUND color. remove alpha

---
 .../src/com/intellij/openapi/ui/OnePixelDivider.java            | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/platform/platform-api/src/com/intellij/openapi/ui/OnePixelDivider.java b/platform/platform-api/src/com/intellij/openapi/ui/OnePixelDivider.java
index d8b0876621bb..355540432648 100644
--- a/platform/platform-api/src/com/intellij/openapi/ui/OnePixelDivider.java
+++ b/platform/platform-api/src/com/intellij/openapi/ui/OnePixelDivider.java
@@ -33,7 +33,7 @@ import java.awt.event.MouseEvent;
  * @author Konstantin Bulenkov
  */
 public class OnePixelDivider extends Divider {
-  public static final Color BACKGROUND = new JBColor(0xC5CAD0, 0x494F59);
+  public static final Color BACKGROUND = new JBColor(Gray.xC5, Gray.x51);
 
   private boolean myVertical;
   private Splitter mySplitter;