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)); + } + } }