From a7061c61bcb1e1345d499ded8cce209f7ae5c843 Mon Sep 17 00:00:00 2001
From: Evgeny Zakrevsky <evgeny.zakrevsky@jetbrains.com>
Date: Wed, 25 Jul 2012 14:28:36 +0400
Subject: [PATCH] added titled border factory with indent and without insets

---
 .../src/com/intellij/ui/IdeBorderFactory.java       | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/platform/platform-api/src/com/intellij/ui/IdeBorderFactory.java b/platform/platform-api/src/com/intellij/ui/IdeBorderFactory.java
index e3a7c78f7ead..8e7c2f7bbefb 100644
--- a/platform/platform-api/src/com/intellij/ui/IdeBorderFactory.java
+++ b/platform/platform-api/src/com/intellij/ui/IdeBorderFactory.java
@@ -136,4 +136,17 @@ public class IdeBorderFactory {
     }
   }
 
+  public static class PlainSmallWithIndentWithoutInsets {
+    private PlainSmallWithIndentWithoutInsets() {
+    }
+
+    public static TitledBorder createTitledBorder(Border border,
+                                                  String title,
+                                                  int titleJustification,
+                                                  int titlePosition,
+                                                  Font titleFont,
+                                                  Color titleColor) {
+      return IdeBorderFactory.createTitledBorder(title, true, new Insets(TITLED_BORDER_TOP_INSET,0,0,0));
+    }
+  }
 }