From 443ffd6b1e95df334694f55195baeada01968677 Mon Sep 17 00:00:00 2001
From: Aleksey Pivovarov <AMPivovarov@gmail.com>
Date: Fri, 20 Feb 2015 12:30:41 +0300
Subject: [PATCH] HiDpi default component sizes

---
 .../src/com/intellij/diff/tools/util/DiffSplitter.java         | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/platform/diff-impl/src/com/intellij/diff/tools/util/DiffSplitter.java b/platform/diff-impl/src/com/intellij/diff/tools/util/DiffSplitter.java
index bbebf841a7e3..dc123ab4ecd9 100644
--- a/platform/diff-impl/src/com/intellij/diff/tools/util/DiffSplitter.java
+++ b/platform/diff-impl/src/com/intellij/diff/tools/util/DiffSplitter.java
@@ -17,6 +17,7 @@ package com.intellij.diff.tools.util;
 
 import com.intellij.openapi.ui.Divider;
 import com.intellij.openapi.ui.Splitter;
+import com.intellij.util.ui.JBUI;
 import org.jetbrains.annotations.CalledInAwt;
 import org.jetbrains.annotations.NotNull;
 import org.jetbrains.annotations.Nullable;
@@ -28,7 +29,7 @@ public class DiffSplitter extends Splitter {
   @Nullable private Painter myPainter;
 
   public DiffSplitter() {
-    setDividerWidth(30);
+    setDividerWidth(JBUI.scale(30));
   }
 
   @Override